An ASM Semantics of Token Flow in UML 2 Activity Diagrams
نویسندگان
چکیده
The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are considered for the first time in a comprehensive and rigorous way. The formalisation provides insight into problems with the UML specification, and their solutions. It also serves as a basis for an integrated environment supporting the simulation and debugging of activity diagrams.
منابع مشابه
An ASM Semantics for UML Activity Diagrams
We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these diagrams some of the ambiguities which arise from different interpretations of UML models. Since we phrase our definition in terms of Abstract State Machines, we define at the same time an interesting subclass...
متن کاملModeling UML2 activity diagram by using Graph Transformation Systems and Abstract State Machine
Graphs and diagrams provide a simple and powerful approach variety of problems that are typical to computer science, for example for activities. In software development visual notation are used for modeling that including activity diagram, class diagram, control flow, graphs and some another diagrams. Models based on these notation can be seen a graph and graph transformation are involved. So A...
متن کاملManagement of UML Clusters
Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different aspects of the application. Their interpretation, extension, revision and integration becomes awful difficult if developers use the full freedom of UML, apply their own semantics and do not agree an common parts. We propose an...
متن کاملSemantic foundation and tool support for model-driven development with UML 2 activity diagrams
State Machines An Abstract State Machine (ASM) is used to formally define the behavior of a system. The level of abstraction can be chosen freely. We will use ASMs to define the semantics of UML 2 activity diagrams in chapter 5. Here, we give a short overview of ASMs and introduce keywords that are relevant in our context. ASMs were introduced by Gurevich [Gur94]. A comprehensive introduction a...
متن کاملDescribing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
In this paper UML statechart diagrams are used as an example of a generic approach to integrating a visual language in a heterogeneous modelling and simulation environment. A system represented in a visual language is syntactically defined as an attributed graph, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graph. The language semantics...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006