Cited By
View all- Varró DBergmann GHegedüs ÁHorváth ÁRáth IUjhelyi Z(2016)Road to a reactive and incremental model transformation platformSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0530-415:3(609-629)Online publication date: 1-Jul-2016
Methodologies for model-driven development and deployment: an overview
Abstract
SENSORIA proposes a model-driven approach for the entire development cycle of services-based applications and infrastructures including the design, formal analysis, deployment and re-engineering of services. This chapter presents the model-driven engineering vision of the project and a summary of achievements to demonstrate the feasibility of the approach. This approach and the challenges in model driven development are illustrated on the example of an end-to-end model transformation chain which bridges BPEL with precise formal model checking technologies and supports the back-annotation of the analysis results directly to the engineering level design model.
References
[1]
López, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 212-223. Springer, Heidelberg (2009); To appear as Springer Verlag book.
[2]
Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in appel policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257-271. Springer, Heidelberg (2007).
[3]
Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: Proceedings of the 12th IEEE International EDOC Conference. IEEE, Los Alamitos (2008).
[4]
Gönczy, L., Déri, Z., Varró, D.: Model Transformations for Performability Analysis of Service Configurations, pp. 153-166. Springer, Heidelberg (2009).
[5]
Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006).
[6]
Gönczy, L., Varró, D.: Engineering Service Oriented Applications with Reliability and Security Requirements. In: Developing Effective Service Oriented Architectures: Concepts and Applications in Service Level Agreements, Quality of Service and Reliability. IGI Global (2010) (to be published).
[7]
VIATRA2 Framework: Eclipse GMT Subproject, http://www.eclipse.org/gmt/
[8]
Kovács, M., Varró, D., Gönczy, L.: Formal Analysis of BPEL Workflows with Compensation by Model Checking. IJCSSE 23(5) (November 2008).
[9]
Shankar, N.: Symbolic Analysis of Transition Systems. In: Gurevich, Y., Kutter, P.W., Vetta, A., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 287-302. Springer, Heidelberg (2000).
[10]
Sorea, M.: Bounded Model Checking for Timed Automata. Electronic Notes in Theoretical Computer Science 68(5) (2002).
[11]
Emerson, E.A.: Temporal and Modal Logic. Formal Models and Semantics, vol. B, pp. 995-1072. Elsevier, Amsterdam (1990).
[12]
Alessandrini, M., Dost, D.: SENSORIA Deliverable D8.3.a: Finance case study: Requirements modelling and analysis of selected scenarios. Technical report, S&N AG (August 2007).
[13]
Xu, K., Liu, Y., Wu, C.: Bpsl modeler - visual notation language for intuitive business property reasoning. Electron. Notes Theor. Comput. Sci. 211 (2008).
[14]
Eclipse BPEL Designer: Eclipse Project, http://www.eclipse.org/bpel/
[15]
Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Varró, D.: Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems. Journal of Software and Systems Modeling (2010) (accepted).
[16]
Foster, H., Mayer, P.: Leveraging integrated tools for model-based analysis of service compositions. In: ICIW 2008: Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services, pp. 72-77. IEEE Computer Society, Washington (2008).
[17]
Wirsing, M., Hölzl, M., Acciai, L., Banti, F., Clark, A., Nicola, R.D., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varró, D.: SENSORIA patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008) (2008).
[18]
van der Aalst, W., van Hee, K.: Workflow Management Models, Methods, and Systems. The MIT Press, Cambridge (2002).
[19]
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220-235. Springer, Heidelberg (2005).
[20]
Foster, H.: A Rigorous Approach To Engineering Web Service Composition. PhD thesis, Inperial College London (2006).
[21]
Nakajima, S.: Model-Checking Behavioral Specification of BPEL Applications. ENTCS 151(2), 89-105 (2006).
[22]
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services Version 1.1. IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems (May 2003).
[23]
García-Fanjul, J., Tuya, J., de la Riva, C.: Generating Test Cases Specifications for Compositions of Web Services. In: Bertolino, A., Polini, A. (eds.) Proc. of WS- MaTe2006, Palermo, Sicily, Italy, June 9, pp. 83-94 (2006).
[24]
Mazzara, M., Lucchi, R.: A Pi-Calculus Based Semantics for WS-BPEL. Journal of Logic and Algebraic Programming (2006).
[25]
Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proc. of ICWS 2006, pp. 83-90. IEEE Comp. Soc., Washington (2006).
[26]
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151- 163. Springer, Heidelberg (1995).
[27]
Becker, S.M., Haase, T., Westfechtel, B.: Model-based a-posteriori integration of engineering tools for incremental development processes. Software and Systems Modeling 4(2), 123-140 (2005).
[28]
Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. Springer, Heidelberg (2006).
[29]
The Oject Management Group. Meta Object Facility (MOF) 2.0 Query/View/ Transformation, QVT (2008), http://www.omg.org/spec/QVT/
[30]
Ráth, I., Ökrös, A., Varró, D.: Synchronization of Abstract and Concrete Syntax in Domain-specific Modeling Languages. Journal of Software and Systems Modeling (2009).
[31]
Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and back again. In: MoDeVVa 2009: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 1-10. ACM, New York (2009).
Index Terms
- Methodologies for model-driven development and deployment: an overview
Index terms have been assigned to the content through auto-classification.
Recommendations
Example-driven meta-model development
The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-models with different aims, such as the construction of textual and visual modelling languages and the specification of source and target ends of model-to-...
A rational approach to model-driven development
Model-driven software developmentModels, modeling, and model transformation form the basis for a set of software development approaches that are known as model-driven development (MDD). Models are used in reasoning about a problem domain and the corresponding solution domain for some ...
Model Driven Development with NORMA
HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System SciencesObject-role Modeling (ORM) is a fact-oriented approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity- Relationship (ER) modeling and Unified Modeling Language (UML) class diagrams, ORM is attribute-free, ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2011
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Sep 2024
Other Metrics
Citations
Cited By
View all- Varró DBergmann GHegedüs ÁHorváth ÁRáth IUjhelyi Z(2016)Road to a reactive and incremental model transformation platformSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0530-415:3(609-629)Online publication date: 1-Jul-2016