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.
This work has been partially sponsored by the project Sensoria, IST-2005-016004.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
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)
Mayer, P., Schroeder, A., Koch, N.: MDD4SOA: Model-Driven Service Orchestration. In: Proceedings of the 12th IEEE International EDOC Conference. IEEE, Los Alamitos (2008)
Gönczy, L., Déri, Z., Varró, D.: Model Transformations for Performability Analysis of Service Configurations, pp. 153–166. Springer, Heidelberg (2009)
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)
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)
Viatra2 Framework: Eclipse GMT Subproject, http://www.eclipse.org/gmt/
Kovács, M., Varró, D., Gönczy, L.: Formal Analysis of BPEL Workflows with Compensation by Model Checking. IJCSSE 23(5) (November 2008)
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)
Sorea, M.: Bounded Model Checking for Timed Automata. Electronic Notes in Theoretical Computer Science 68(5) (2002)
Emerson, E.A.: Temporal and Modal Logic. Formal Models and Semantics, vol. B, pp. 995–1072. Elsevier, Amsterdam (1990)
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)
Xu, K., Liu, Y., Wu, C.: Bpsl modeler – visual notation language for intuitive business property reasoning. Electron. Notes Theor. Comput. Sci. 211 (2008)
Eclipse BPEL Designer: Eclipse Project, http://www.eclipse.org/bpel/
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)
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)
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)
van der Aalst, W., van Hee, K.: Workflow Management Models, Methods, and Systems. The MIT Press, Cambridge (2002)
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)
Foster, H.: A Rigorous Approach To Engineering Web Service Composition. PhD thesis, Inperial College London (2006)
Nakajima, S.: Model-Checking Behavioral Specification of BPEL Applications. ENTCS 151(2), 89–105 (2006)
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)
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)
Mazzara, M., Lucchi, R.: A Pi-Calculus Based Semantics for WS-BPEL. Journal of Logic and Algebraic Programming (2006)
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)
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)
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)
Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. Springer, Heidelberg (2006)
The Oject Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation, QVT (2008), http://www.omg.org/spec/QVT/
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gönczy, L., Hegedüs, Á., Varró, D. (2011). Methodologies for Model-Driven Development and Deployment: An Overview. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-20401-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20400-5
Online ISBN: 978-3-642-20401-2
eBook Packages: Computer ScienceComputer Science (R0)