| 1. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications
- 2005
-
Ingår i: Software Architecture. - Berlin, Heidelberg : Springer. - 9783540262756 ; , s. 130-145
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Behavioral analysis of middleware-based applications typically requires the analysis of the middleware and the application, in a monolithic way. In terms of model-checking, this is a complex task and may result in the well known “state-explosion” problem. These considerations led us to investigate a compositional verification approach which decomposes the system in accordance with its Software Architecture. The architectural decomposability theorem we defined in previous work decomposes the system into three logical layer: (i) application components, (ii) proxies and, (iii)middleware. This logical separation allows for reducing the global system validation to the verification of local behaviors.In this paper, we engineer the architectural decomposability theorem to the analysis of middleware-based applications by automatically generating the proxies needed by the components in order to properly interact with each other via the middleware. In particular, following the Model Driven Architecture approach and by making use of the Abstract State Machine formalism, we describe a set of transformation rules that allow for deriving correct proxies for using CORBA. By means of the proposed transformations, the correctness of the proxy behavioral models is guaranteed without the need to validate them with respect to the assumptions posed by the theorem.
|
|
| 2. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Rapid System Development Via Product Line Architecture Implementation
- 2006
-
Ingår i: Rapid Integration of Software Engineering Techniques. - Berlin, Heidelberg : Springer. - 9783540340638 ; , s. 18-33
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the rapid development of new applications. While much effort has been spent so far in understanding and modeling SPLs and their architectures, very little attention has been given on how to systematically enforce SPL architectural decisions into the implementation step.In this paper we propose a methodological approach and an implementation framework, based on a plugin component-based development, which allows us to move from an architectural specification of the SPL to its implementation in a systematic way. We show the suitability of this framework through its application to the TOOL one case study SPL.
|
|
| 3. |
- Cicchetti, Antonio, et al.
(författare)
-
Towards a Framework for Distributed and Collaborative Modeling
- 2009
-
Ingår i: 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES. - 9781424447282 ; , s. 149-154
-
Konferensbidrag (refereegranskat)abstract
- Increasingly, models are becoming first class core assets, and model-driven engineering requires novel techniques, tools, and practices to face the globalization of software development in the (always more) pervasive IT world. This paper proposes a framework for synchronous and asynchronous concurrent and collaborative modeling. Synchronous collaborative modeling offers services for sharing the modeling space, models, documentation, and configuration, while asynchronous collaborative modeling offers services for supporting merging of models modified and edited separately by different software engineers. Our approach is based on the observation that it is in general more convenient to store differences between subsequent versions of a system than the whole models of each stage.
|
|
