research-article

Weaving executability into UML class models at PIM level

Authors:

Elvinia Riccobene,

Patrizia ScandurraAuthors Info & Claims

BM-MDA '09: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture

Article No.: 1, Pages 1 - 9

https://doi.org/10.1145/1555852.1555853

Published: 23 June 2009 Publication History

Abstract

Modeling languages that aim to capture PIM level behavior are still a challenge. We propose a high level behavioral formalism based on the Abstract State Machines (ASMs) for the specification and validation of software systems at PIM level. An ASM-based extension of the UML and its Action Semantics is here presented for the construction of executable class models at PIM level and also a model weaving process which makes the execution of such models possible. Our approach is illustrated using an Invoice Order System taken from the literature.

References

[1]

The AMW (ATLAS Model Weaver website). http://www.eclipse.org/gmt/amw/, 2007.

[2]

The Abstract State Machine Metamodel website. http://asmeta.sf.net/, 2006.

[3]

J. Bézivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171--188, 2005.

[4]

E. Börger. The ASM method for system design and analysis. A tutorial introduction. In B. Gramlich, editor, FroCoS 2005, Proceedings, LNCS 3717, pages 264--283. Springer, 2005.

Digital Library

[5]

E. Börger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML state machines. In Y. G. et al., editor, Abstract State Machines. Theory and Applications, LNCS 1912, pages 223--241. Springer, 2000.

Digital Library

[6]

E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.

Digital Library

[7]

A. Cavarra, E. Riccobene, and P. Scandurra. Mapping uml into abstract state machines: a framework to simulate uml models. J. Studia Informatica Universalis, 3(3):367--398, 2004.

[8]

K. Chen, J. Sztipanovits, and S. Neema. Compositional specification of behavioral semantics. In DATE, pages 906--911, 2007.

Digital Library

[9]

B. Combemale, P. G. X. Crégut, and X. Thirioux. Towards a formal verification of process models's properties - simplepdl and tocl case study. In 9th International Conference on Enterprise Information Systems (ICEIS), 2007.

[10]

K. Compton, J. Huggins, and W. Shen. A semantic model for the state machine in the Unified Modeling Language. In Proc. of Dynamic Behavior in UML Models: Semantic Questions, UML 2000, 2000.

[11]

G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In ASE, pages 267--270. IEEE Computer Society, 2002.

Digital Library

[12]

D. Di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, and A. Pierantonio. Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report 06.02, LINA, 2006.

[13]

Eclipse Modeling Framework. http://www.eclipse.org/emf/, 2008.

[14]

OMG. Semantics of a Foundational Subset for Executable UML Models, version 1.0 - Beta 1, ptc/2008-11-03, 2008.

[15]

A. Gargantini, E. Riccobene, and P. Scandurra. Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report 97, DTI Dept., University of Milan, 2006.

[16]

A. Gargantini, E. Riccobene, and P. Scandurra. A metamodel-based simulator for ASMs. In A. Prinz, editor, Proceedings of the 14th International ASM Workshop, 2007.

[17]

A. Gargantini, E. Riccobene, and P. Scandurra. Ten reasons to metamodel ASMs. In Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis, LNCS Festschrift. Springer, 2007.

[18]

A. Gargantini, E. Riccobene, and P. Scandurra. A semantic framework for metamodel-based languages. Journal of Automated Software Engineering, 2009, in print.

Digital Library

[19]

The Generic Modeling Environment (GME). http://www.isis.vanderbilt.edu/Projects/gme, 2006.

[20]

H. Habrias and M. Frappier. Software Specification Methods: An Overview Using a Case Study. Wiley, 2006.

Digital Library

[21]

D. Harel and B. Rumpe. Meaningful modeling: What's the semantics of "semantics"? IEEE Computer, 37(10):64--72, 2004.

Digital Library

[22]

F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez. ATL: a QVT-like transformation language. In OOPSLA '06, pages 719--720. ACM, 2006.

Digital Library

[23]

J. Jürjens. A UML statecharts semantics with message-passing. In Proc. of the 2002 ACM symposium on Applied computing, pages 1009--1013. ACM Press, 2002.

Digital Library

[24]

I. Kurtev, J. Bézivin, F. Jouault, and P. Valduriez. Model-based dsl frameworks. In OOPSLA Companion, pages 602--616, 2006.

Digital Library

[25]

OMG. The Model Driven Architecture (MDA Guide V1.0.1). http://www.omg.org/mda/, 2003.

[26]

H. Miao, L. Liu, and L. Li. Formalizing uml models with object-z. In ICFEM '02: Proc. of the 4th Int. Conference on Formal Engineering Methods, pages 523--534, London, UK, 2002. Springer-Verlag.

Digital Library

[27]

P. Mohagheghi and V. Dehlen. Where is the proof? - a review of experiences from applying mde in industry. In I. Schieferdecker and A. Hartman, editors, ECMDA-FA, volume 5095 of LNCS, pages 432--443. Springer, 2008.

Digital Library

[28]

A. M. Mostafa, M. A. Ismail, H. E. Bolok, and E. M. Saad. Toward a Formalization of UML2.0 Metamodel using Z Specifications. In SNPD 2007, Proceedings, volume 1, pages 694--701, 2007.

Digital Library

[29]

P.-A. Muller, F. Fleurey, and J.-M. Jezequel. Weaving Executability into Object-Oriented Meta-Languages. In Proc. of ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.

Digital Library

[30]

I. Ober. More meaningful UML Models. In TOOLS - 37 Pacific 2000. IEEE, 2000.

[31]

OMG. Object Constraint Language (OCL), v2.0 formal/2006-05-01, 2006.

[32]

C. Raistrick, P. Francis, and J. Wright. Model Driven Architecture with Executable UML. Cambridge University Press, 2004.

Digital Library

[33]

E. Riccobene and P. Scandurra. Towards an Interchange Language for ASMs. In W. Zimmermann and B. Thalheim, editors, Abstract State Machines. Advances in Theory and Practice, LNCS 3052, pages 111--126. Springer, 2004.

[34]

E. Riccobene and P. Scandurra. Model transformations in the UPES/UPSoC development process for embedded systems. Innovations in Systems and Software Engineering, 5(1):35--47, 2009.

[35]

M. Scheidgen and J. Fischer. Human comprehensible and machine processable specifications of operational semantics. In ECMDA-FA. Springer, 2007. LNCS.

Digital Library

[36]

C. Snook and M. Butler. Uml-b: Formal modeling and design aided by uml. ACM Trans. Softw. Eng. Methodol., 15(1):92--122, 2006.

Digital Library

[37]

OMG. UML v2.2 Superstructure, formal/09-02-02, 2009.

[38]

The Xactium XMF Mosaic. www.modelbased.net/www.xactium.com/, 2007.

Cited By

Pedre SKrajník TTodorovich EBorensztejn P(2016)Accelerating embedded image processing for real timeJournal of Real-Time Image Processing10.1007/s11554-013-0353-211:2(349-374)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s11554-013-0353-2
Allison MClarke PHe X(2015)A Generic Model of Execution for Synthesizing Interpreted Domain-Specific ModelsProcedia Computer Science10.1016/j.procs.2015.08.52162(495-504)Online publication date: 2015
https://doi.org/10.1016/j.procs.2015.08.521
Arcaini PGargantini ARiccobene EScandurra P(2014)Formal Semantics for Metamodel-Based Domain Specific LanguagesComputational Linguistics10.4018/978-1-4666-6042-7.ch015(297-323)Online publication date: 2014
https://doi.org/10.4018/978-1-4666-6042-7.ch015
Show More Cited By

Index Terms

Weaving executability into UML class models at PIM level
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Weaving variability into domain metamodels

Domain-specific modeling languages (DSMLs) are the essence of MDE. A DSML describes the concepts of a particular domain in a metamodel, as well as their relationships. Using a DSML, it is possible to describe a wide range of different models that often ...
Inter-DSL coordination support by combining megamodeling and model weaving
SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaboratively contribute to a large set of interrelated models. Even if the main ...
Integration of an Action Language Via UML Action Semantics
Trends in Enterprise Application Architecture
Abstract
Transformations play a central role in MDA. A desirable goal of MDA is to obtain the complete source code by model transformations. Currently, it is hard to achieve this goal using UML models because UML’s standard graphical notation alone cannot ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

BM-MDA '09: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture

June 2009

59 pages

ISBN:9781605585031

DOI:10.1145/1555852

Conference Chairs:
Mehmet Aksit
TU Twente, the Netherlands
,
Ekkart Kindler
Technical University of Denmark,
,
Ella Roubtsova
Open University of the Netherlands,
,
Ashley McNeile
Metamaxim Ltd, UK

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

BM-MDA '09

BM-MDA '09: The First Workshop on Behavioural Modelling in Model-Driven Architecture

June 23, 2009

Enschede, The Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
316
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pedre SKrajník TTodorovich EBorensztejn P(2016)Accelerating embedded image processing for real timeJournal of Real-Time Image Processing10.1007/s11554-013-0353-211:2(349-374)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s11554-013-0353-2
Allison MClarke PHe X(2015)A Generic Model of Execution for Synthesizing Interpreted Domain-Specific ModelsProcedia Computer Science10.1016/j.procs.2015.08.52162(495-504)Online publication date: 2015
https://doi.org/10.1016/j.procs.2015.08.521
Arcaini PGargantini ARiccobene EScandurra P(2014)Formal Semantics for Metamodel-Based Domain Specific LanguagesComputational Linguistics10.4018/978-1-4666-6042-7.ch015(297-323)Online publication date: 2014
https://doi.org/10.4018/978-1-4666-6042-7.ch015
Arcaini PGargantini ARiccobene EScandurra P(2013)Formal Semantics for Metamodel-Based Domain Specific LanguagesFormal and Practical Aspects of Domain-Specific Languages10.4018/978-1-4666-2092-6.ch008(216-241)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-2092-6.ch008
Ahmed RColomb RAhmed A(2013)A method for mapping state machine behavior models in MDA issues and challenges2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONIC ENGINEERING (ICCEEE)10.1109/ICCEEE.2013.6633971(404-409)Online publication date: Aug-2013
https://doi.org/10.1109/ICCEEE.2013.6633971
Pedre SKrajnik TTodorovich EBorensztejn P(2012)A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGA2012 VIII Southern Conference on Programmable Logic10.1109/SPL.2012.6211770(1-8)Online publication date: Mar-2012
https://doi.org/10.1109/SPL.2012.6211770
Silva-Filho ACordeiro FAraújo CSarmento AGomes MBarros ELima M(2011)An ESL approach for energy consumption analysis of cache memories in SoC platformsInternational Journal of Reconfigurable Computing10.1155/2011/2194972011(1-12)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1155/2011/219497
Daniele LPires LSinderen M(2010)Process-Oriented Behavior Generation Using Interaction PatternsProceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops10.1109/EDOCW.2010.14(15-20)Online publication date: 25-Oct-2010
https://dl.acm.org/doi/10.1109/EDOCW.2010.14
Riccobene EScandurra P(2010)An executable semantics of the systemc UML profileProceedings of the Second international conference on Abstract State Machines, Alloy, B and Z10.1007/978-3-642-11811-1_7(75-90)Online publication date: 22-Feb-2010
https://dl.acm.org/doi/10.1007/978-3-642-11811-1_7

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents