An ASM Semantics for UML Activity Diagrams and UML State Machines

An ASM Semantics for UML Activity Diagrams and UML State Machines

Xehetasun bibliografikoak
Egile Nagusiak:	Boerger, E, Cavarra, A, Riccobene, E
Formatua:	Conference item
Argitaratua:	2000

Antzeko izenburuak

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

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

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

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

A Formal Semantics of UML: The ASM Approach
nork: Cavarra, A
Argitaratua: (2000)

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

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

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

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

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

Querying UML Class Diagrams
nork: Calì, A, et al.
Argitaratua: (2012)

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

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

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

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

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

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

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

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

UML 2 semantics and applications /
nork: Lano, K.
Argitaratua: (c200)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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