Article

A framework to simulate UML models: moving from a semi-formal to a formal environment

Authors:

Alessandra Cavarra,

Elvinia Riccobene,

Patrizia ScandurraAuthors Info & Claims

SAC '04: Proceedings of the 2004 ACM symposium on Applied computing

Pages 1519 - 1523

https://doi.org/10.1145/967900.968204

Published: 14 March 2004 Publication History

Abstract

This paper presents a simulation framework for UML models based upon a mapping schema of UML metamodel elements into Abstract State Machines (ASMs). Structural model elements are translated into an ASM vocabulary as collections of domains and functions, whereas the dynamic view is captured by multi-agent ASMs reflecting the behavior modeled by UML state machines.In the toolkit presented, input UML models can be drawn using any UML CASE Tool able to produce the XMI format for diagrams. This textual representation is exploited to initialize the ASM model for UML state machines which can be symbolically executed by AsmGofer, an advanced Abstract State Machine programming system.Tool features are described through the simulation of a simple stack-printer UML model showing the interactions among state machines by signals exchange and operation calls.

References

[1]

E. Börger, A. Cavarra, and E. Riccobene. Modeling the Dynamics of UML State Machines. In Y. Gurevich et al., editor, Abstract State Machines. Theory and Applications, LNCS 1912, pp 223--241. Springer, 2000.]]

Digital Library

[2]

E. Börger, A. Cavarra, and E. Riccobene. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit. In Proc. Semantic Foundations of Engineering Design Languages (SFEDL02) - ETAPS 2002.]]

[3]

E. Börger, A. Cavarra, and E. Riccobene. Modeling the meaning of transitions from and to concurrent states in UML State Machines. In ACM SAC 2003 Software Engineering Track.]]

[4]

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

Digital Library

[5]

A. Cavarra, E. Riccobene, and P. Scandurra. Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines. In E. Börger et al., editor, ASM 2003, LNCS 2589. Springer, 2003.]]

[6]

iUML, from Kennedy Carter's website. http://www.kc.com.]]

[7]

Kabira Design Center, from Kabira company. http://www.kabira.com.]]

[8]

W. E. McUmber and B. H. C. Cheng. A General Framework for Formalizing UML with Formal Languages. In ICSE01. IEEE Computer Society Press, 2001.]]

Digital Library

[9]

I. Ober. An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. In E. Börger et al., ed., ASM 2003, vol. 2589 LNCS. Springer, 2003.]]

[10]

Poseidon UML Tool. http://www.gentleware.com.]]

[11]

BridgePoint Development Suite http://www.projtech.com.]]

[12]

Prosasim UML simulator. http://www.prosa.fi/eng/pr2sim.htm.]]

[13]

OMG Unified Modeling Languages Specification, version 1.4, 2001.]]

[14]

OMG Unified Modeling Languages Specification, version 1.5, 2003.]]

[15]

UMLAUT. http://www.irisa.fr/pampa/UMLAUT/.]]

Cited By

Treharne HSchneider SGrant NEvans NIfill W(2009)A step towards merging xUML and CSP || BRigorous Methods for Software Construction and Analysis10.5555/2172244.2172253(130-146)Online publication date: 1-Jan-2009
https://dl.acm.org/doi/10.5555/2172244.2172253
Treharne HSchneider SGrant NEvans NIfill W(2009)A Step towards Merging xUML and CSP ${\| \ }$ BRigorous Methods for Software Construction and Analysis10.1007/978-3-642-11447-2_9(130-146)Online publication date: 2009
https://doi.org/10.1007/978-3-642-11447-2_9
Wen LColvin RLin KSeagrott JYatapanage NDromey G(2007)"integrare", a collaborative environment for behavior-oriented designProceedings of the 4th international conference on Cooperative design, visualization, and engineering10.5555/1776926.1776940(122-131)Online publication date: 16-Sep-2007
https://dl.acm.org/doi/10.5555/1776926.1776940
Show More Cited By

A framework to simulate UML models: moving from a semi-formal to a formal environment
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems

The UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
WRT '12: Proceedings of the Fifth Workshop on Refactoring Tools

When refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '04: Proceedings of the 2004 ACM symposium on Applied computing

March 2004

1733 pages

ISBN:1581138121

DOI:10.1145/967900

Conference Chair:
Hisham M. Haddad
Kennesaw State University
,
Program Chairs:
Andrea Omicini
Università degli Studi di Bologna a Cesena
,
Roger L. Wainwright
University of Tulsa
,
Publications Chair:
Lorie M. Liebrock
New Mexico Institute of Mining and Technology

Copyright © 2004 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]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 March 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC04

Sponsor:

SIGAPP

SAC04: The 2004 ACM Symposium on Applied Computing

March 14 - 17, 2004

Nicosia, Cyprus

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
1,070
Total Downloads

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

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Treharne HSchneider SGrant NEvans NIfill W(2009)A step towards merging xUML and CSP || BRigorous Methods for Software Construction and Analysis10.5555/2172244.2172253(130-146)Online publication date: 1-Jan-2009
https://dl.acm.org/doi/10.5555/2172244.2172253
Treharne HSchneider SGrant NEvans NIfill W(2009)A Step towards Merging xUML and CSP ${\| \ }$ BRigorous Methods for Software Construction and Analysis10.1007/978-3-642-11447-2_9(130-146)Online publication date: 2009
https://doi.org/10.1007/978-3-642-11447-2_9
Wen LColvin RLin KSeagrott JYatapanage NDromey G(2007)"integrare", a collaborative environment for behavior-oriented designProceedings of the 4th international conference on Cooperative design, visualization, and engineering10.5555/1776926.1776940(122-131)Online publication date: 16-Sep-2007
https://dl.acm.org/doi/10.5555/1776926.1776940
Moebius NHaneberg DReif WSchellhorn G(2007)A Modeling Framework for the Development of Provably Secure E-Commerce ApplicationsProceedings of the International Conference on Software Engineering Advances10.1109/ICSEA.2007.7Online publication date: 25-Aug-2007
https://dl.acm.org/doi/10.1109/ICSEA.2007.7
Wen LColvin RLin KSeagrott JYatapanage NDromey G(2007)“Integrare”, a Collaborative Environment for Behavior-Oriented DesignCooperative Design, Visualization, and Engineering10.1007/978-3-540-74780-2_14(122-131)Online publication date: 2007
https://doi.org/10.1007/978-3-540-74780-2_14
Truong NSouquieres JHaddad HOmicini AWainwright R(2005)Verification of behavioural elements of UML models using BProceedings of the 2005 ACM symposium on Applied computing10.1145/1066677.1067024(1546-1552)Online publication date: 13-Mar-2005
https://dl.acm.org/doi/10.1145/1066677.1067024
Steimann FVollmer H(2005)Exploiting practical limitations of UML diagrams for model validation and executionSoftware & Systems Modeling10.1007/s10270-005-0097-y5:1(26-47)Online publication date: 24-Jun-2005
https://doi.org/10.1007/s10270-005-0097-y
(2005)Tool support for UMLsecSecure Systems Development with UML10.1007/3-540-26494-9_6(133-160)Online publication date: 2005
https://doi.org/10.1007/3-540-26494-9_6
Ambrosi EBianchi MGaibisso CGambosi GLombardi F(2005)Transparent java threads migration protocol over peer2peerProceedings of the Third international conference on Parallel and Distributed Processing and Applications10.1007/11576235_97(972-983)Online publication date: 2-Nov-2005
https://dl.acm.org/doi/10.1007/11576235_97
Jürjens JShabalin P(2004)Automated Verification of UMLsec Models for Security Requirements< > 2004 - The Unified Modeling Language. Modelling Languages and Applications10.1007/978-3-540-30187-5_26(365-379)Online publication date: 2004
https://doi.org/10.1007/978-3-540-30187-5_26
Show More Cited By

View Options

Get Access

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