Integration and analysis of functional and non-functional aspects in model-driven e-service development

In this paper we propose an approach for the integration of functional models with non-functional models in the context of model-driven e-service development. Starting from the observation that current approaches to model-driven development have a strong focus on functionality, we argue the necessity of including non-functional aspects, as early as possible in the service design process, from the architectural (computational independent) level through all MDA layers. Furthermore, we distinguish between two modelling spaces (orthogonal to the MDA view), the design space and the analysis space, which could be integrated by means of model transformations. Thus, relating the analysis results to the original design models can be achieved by following a sequence of steps that entail horizontal model-to-model transformations from the design space to the analysis space, vertical model-to-model transformations (within and between the MDA layers) and proprietary analysis techniques that are used for the derivation of required (quantitative) properties. This provides a framework for incorporating nonfunctional analysis into methodological support for e-service development.

[1]  Ahmad Alsaadi A performance analysis approach based on the UML class diagram , 2004, WOSP '04.

[2]  Katarzyna Wac,et al.  Towards an application framework for context-aware m-health applications , 2007, Int. J. Internet Protoc. Technol..

[3]  John F. Sowa,et al.  Extending and Formalizing the Framework for Information Systems Architecture , 1992, IBM Syst. J..

[4]  Maria-Eugenia Iacob,et al.  Quantitative Analysis of Enterprise Architectures , 2006 .

[5]  Raffaela Mirandola,et al.  Deriving a queueing network based performance model from UML diagrams , 2000, WOSP '00.

[6]  Dorina C. Petriu,et al.  XSLT transformation from UML models to LQN performance models , 2002, WOSP '02.

[7]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[8]  Wolfgang Emmerich,et al.  Precise service level agreements , 2004, Proceedings. 26th International Conference on Software Engineering.

[9]  Wolfgang Emmerich,et al.  Model Driven Performance Analysis of Enterprise Information Systems , 2003, TACoS.

[10]  Rob Pooley,et al.  Using UML to Derive Stochastic Process Algebra Models , 1999 .

[11]  Wolfgang Emmerich,et al.  A model-driven approach to non-functional analysis of software architectures , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[12]  A. Scheer Business Process Engineering: Reference Models for Industrial Enterprises , 1994 .

[13]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[14]  Henk Eertink,et al.  A Business Process Design Language , 1999, World Congress on Formal Methods.

[15]  Henk Jonkers,et al.  A unified framework for design and performance analysis of distributed systems , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[16]  Marta Simeoni,et al.  On Transforming UML models into performance models , 2001 .

[17]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[18]  Hoppenbrouwers,et al.  Concepts for Modelling Enterprise Architectures , 2003 .

[19]  Marta Simeoni,et al.  Deriving Performance Models from Software Architecture Specifications , 2001 .

[20]  Henk Jonkers,et al.  Concepts For Modeling Enterprise Architectures , 2004, Int. J. Cooperative Inf. Syst..

[21]  Connie U. Smith,et al.  Performance and Scalability of Distributed Software Architectures: An SPE Approach , 2000, Scalable Comput. Pract. Exp..

[22]  Marc M. Lankhorst,et al.  Supporting viewpoint-oriented enterprise architecture , 2004 .

[23]  H. Jonkers,et al.  Graph-based analysis of business process models , 2022 .

[24]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.

[25]  Roel Wieringa,et al.  Project Graal: Towards Operational Architecture Alignment , 2004, Int. J. Cooperative Inf. Syst..

[26]  Paola Inverardi,et al.  Compositional generation of software architecture performance QN models , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[27]  Marc M. Lankhorst,et al.  A Tool Integration Workbench for Enterprise Architecture - Integrating Heterogeneous Models and Tools , 2004, ICEIS.

[28]  Stephen Gilmore,et al.  Analysing UML 2.0 activity diagrams in the software performance engineering process , 2004, WOSP '04.