A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development

Resumen Los Servicios Web Semánticos ofrecen beneficios, que coadyuvan a la evolución de la Web, como el descubrimiento, invocación y composición dinámica y automática de recursos, habilitan efectivamente la interoperabilidad entre sistemas, permitiendo una amplia gama de nuevos servicios y oportunidades de negocios en la Internet. La estructura necesaria para proveer estos beneficios, hace que su desarrollo sea un proceso complejo, requiriendo establecer formas más fáciles y dinámicas que garanticen reutilización, calidad y rapidez. El desarrollo dirigido por modelos realiza una contribución eficiente en estos aspectos, dado que trabaja de manera intrínseca conceptos como separación de conceptos, reusabilidad e interoperabilidad entre componentes. En este artículo se presenta un enfoque para desarrollo de software dirigido por modelos, orientado al desarrollo de los servicios web semánticos, donde inicialmente se plantean las fases correspondientes al análisis, diseño y desarrollo dentro de la metodología propuesta, aplicando la metodología sobre un pequeño caso de estudio y obtener como resultado la estructura de un Servicio web semántico. Palabras Clave: Servicios web semánticos, Desarrollo dirigido por modelos, ontologías web. Abstract Semantic Web Services offers benefits that contribute to Web evolution. Benefits such as automatic discovery and invocation, and dynamic composition, effectively enables systems interoperability, allowing a wide range of services and Internet businesses. The necessary structure to provide those benefits by Semantic Web Services makes its development a complex process. It necessary to establish more easy and dynamic ways to develop this kind of software, in order to assure reuse, quality and speediness in the development process. The model-driven software development makes an efficient contribution in those aspect, because it works intrinsically concepts related such separation of concerns, reusability and components interoperability. In this paper we present an approach to model-driven development software applied to Semantic Web Services. First, we establish the phases corresponding to the analysis, design and development in the proposal methodology, by applying it to a case of study we obtain the structure of a Semantic Web Services. Keywords: Semantic Web Services, Model-Driven Development, Web Ontologies.

Download Full-text

A Method for Model-Driven Information Flow Security

Dependability and Computer Engineering - Advances in Computer and Electrical Engineering ◽

10.4018/978-1-60960-747-0.ch010 ◽

2012 ◽

pp. 199-229 ◽

Cited By ~ 1

Author(s):

Fredrik Seehusen ◽

Ketil Stølen

Keyword(s):

Software Development ◽

Information Flow ◽

System Architecture ◽

Security Requirements ◽

State Machines ◽

Flow Properties ◽

Information Flow Security ◽

Software Developer ◽

Model Driven ◽

Secure Information

We present a method for software development in which information flow security is taken into consideration from start to finish. Initially, the user of the method (i.e., a software developer) specifies the system architecture and selects a set of security requirements (in the form of secure information flow properties) that the system must adhere to. The user then specifies each component of the system architecture using UML inspired state machines, and refines/transforms these (abstract) state machines into concrete state machines. It is shown that if the abstract specification adheres to the security requirements, then so does the concrete one provided that certain conditions are satisfied.

Download Full-text

Measuring Models

Model-Driven Software Development ◽

10.4018/978-1-60566-006-6.ch007 ◽

2009 ◽

pp. 147-169 ◽

Cited By ~ 6

Author(s):

Martin Monperrus ◽

Jean-Marc Jézéquel ◽

Joël Champeau ◽

Brigitte Hoeltzener

Keyword(s):

Quality Assurance ◽

Software Development ◽

Point Of View ◽

Specific Information ◽

Model Driven Engineering ◽

Text Documents ◽

Model Driven ◽

Domain Specific ◽

Wide Range

Model-Driven Engineering (MDE) is an approach to software development that uses models as primary artifacts, from which code, documentation and tests are derived. One way of assessing quality assurance in a given domain is to define domain metrics. We show that some of these metrics are supported by models. As text documents, models can be considered from a syntactic point of view i.e., thought of as graphs. We can readily apply graph-based metrics to them, such as the number of nodes, the number of edges or the fan-in/fan-out distributions. However, these metrics cannot leverage the semantic structuring enforced by each specific metamodel to give domain specific information. Contrary to graph-based metrics, more specific metrics do exist for given domains (such as LOC for programs), but they lack genericity. Our contribution is to propose one metric, called s, that is generic over metamodels and allows the easy specification of an open-ended wide range of model metrics.

Download Full-text

Model-Driven Software Development Platforms Reviews

International Journal of Computer Applications ◽

10.5120/ijca2019919165 ◽

2019 ◽

Vol 178 (31) ◽

pp. 24-33

Author(s):

Ftoon Kedwan ◽

Chanderdhar Sharma

Keyword(s):

Software Development ◽

Model Driven ◽

Model Driven Software Development

Download Full-text

Teaching Model-Driven Software Development

Proceedings of the 2016 ITiCSE Working Group Reports on - ITiCSE '16 ◽

10.1145/3024906.3024909 ◽

2016 ◽

Cited By ~ 5

Author(s):

Ludwik Kuzniarz ◽

Luiz Eduardo G. Martins

Keyword(s):

Software Development ◽

Teaching Model ◽

Model Driven ◽

Model Driven Software Development

Download Full-text

Dependability Modeling and Assessment in UML-Based Software Development

The Scientific World JOURNAL ◽

10.1100/2012/614635 ◽

2012 ◽

Vol 2012 ◽

pp. 1-11 ◽

Cited By ~ 3

Author(s):

Simona Bernardi ◽

José Merseguer ◽

Dorina C. Petriu

Keyword(s):

Software Development ◽

Formal Model ◽

General Purpose ◽

Software Modeling ◽

Model Driven ◽

Domain Specific ◽

Software Model ◽

Software Models ◽

Assessment Approach ◽

System Properties

Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling→analysis→assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results.

Download Full-text