An ASM Semantics for UML Activity Diagrams and UML State Machines

An ASM Semantics for UML Activity Diagrams and UML State Machines

Bibliographic Details
Main Authors:	Boerger, E, Cavarra, A, Riccobene, E
Format:	Conference item
Published:	2000

Similar Items

An ASM Semantics for UML Activity Diagrams
by: Börger, E, et al.
Published: (2000)

On Formalizing UML State Machines using ASM
by: Börger, E, et al.
Published: (2004)

A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit
by: Boerger, E, et al.
Published: (2002)

Solving Conflicts in UML State Machines Concurrent States
by: Boerger, E, et al.
Published: (2001)

A Formal Semantics of UML: The ASM Approach
by: Cavarra, A
Published: (2000)

Modeling the Dynamics of UML Behavioral Diagrams
by: Cavarra, A, et al.
Published: (2000)

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models
by: Cavarra, A, et al.
Published: (2005)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
by: Cavarra, A, et al.
Published: (2003)

Modeling the Dynamics of UML State Machines
by: Börger, E, et al.
Published: (2000)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
by: Börger, E, et al.
Published: (2003)

Querying UML Class Diagrams
by: Calì, A, et al.
Published: (2012)

Optimizing UML Class Diagrams
by: Sergievskiy Maxim, et al.
Published: (2018-01-01)

Structural and Semantic Similarity Measurement of UML Use Case Diagram
by: Mohammad Nazir Arifin, et al.
Published: (2020-07-01)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
by: Cavarra, A, et al.
Published: (2004)

Evaluating the complexity of UML class diagrams /
by: Shafiabady, Aida, et al.
Published: (2013)

Challenges in Developing Sequence Diagrams (UML)
by: Tri Astoto Kurniawan, et al.
Published: (2020-07-01)

Automatic Code Generation From UML State Chart Diagrams
by: Sunitha E. V., et al.
Published: (2019-01-01)

Test case generator based on UML activity diagram
by: Loh, Kha Bee
Published: (2014)

UML activity diagram transformation into BPEL integration flow
by: Tomasz Górski, et al.
Published: (2018-09-01)

UML 2 semantics and applications /
by: Lano, K.
Published: (c200)

UML DIAGRAMS OF THE MANAGEMENT SYSTEM OF MAINTENANCE STATIONS
by: Lyudmila Samchuk, et al.
Published: (2024-12-01)

Transformation of UML class diagram into OWL Ontology
by: Minh Hoang Lien Vo, et al.
Published: (2020-01-01)

Method for Building UML Activity Diagrams from Event Logs
by: Natalia Sergeyevna Zubkova, et al.
Published: (2019-10-01)

Test case generation from UML sequence diagram and statechart diagram /
by: Nurelisa Mohd. Efendi, 1993- , author 611951, et al.
Published: (2017)

Test case generation from UML sequence diagram and statechart diagram /
by: Nurelisa Mohd. Efendi, 1993- , author 611951
Published: (2017)

Coverage criteria for UML state chart diagram in model-based testing
by: Salman, Yasir Dawood, et al.
Published: (2017)

Evaluating the complexity of UML class diagrams [electronic resource] /
by: 579226 Shafiabady, Aida
Published: (2013)

Change management framework to support uml diagrams changes
by: Rajabi, Bassam Atieh, et al.
Published: (2019)

Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)

Transforming Sketches of UML Use Case Diagrams to Models
by: Mantas Razinskas, et al.
Published: (2024-01-01)

Construction of UML class diagram with Model-Driven Development
by: Tomasz Górski, et al.
Published: (2016-03-01)

Definition of the Criteria for Layout of the UML Use Case Diagrams
by: Filipova Olga, et al.
Published: (2019-05-01)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2010-06-01)

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
by: E. Akbari, et al.
Published: (2013-07-01)

Reliability testing of UML activity diagram using fuzzy petri net /
by: H. Nematzadeh, author, et al.
Published: (2009)

An automated test case generating tool using UML activity diagram
by: Nor, Rozi Nor Haizan, et al.
Published: (2018)

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)

Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)

Design and develop a UML diagram reader software application (Component Diagram)
by: Tan, Mick Xiang Hao
Published: (2017)

DEFINITION OF A SEMANTIC PLATAFORM FOR AUTOMATED CODE GENERATION BASED ON UML CLASS DIAGRAMS AND DSL SEMANTIC ANNOTATIONS
by: ANDRÉS MUÑETÓN, et al.
Published: (2012-01-01)