UML 2.0 State Machines: Complete Formal Semantics Via core state machine-Reference-Cited by-同舟云学术

UML 2.0 State Machines: Complete Formal Semantics Via core state machine

Published:2007 Issue: Volume: Page:244-260
ISSN:0302-9743
Container-title:Formal Methods: Applications and Technology
language:
Short-container-title:

Author:

Fecher Harald,Schönborn Jens

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70952-7_16

Reference11 articles.

1. Crane, M.L., Dingel, J.: On the semantics of uml state machines: Categorization and comparison. Technical Report 501, Queen’s University (2005)

2. Fecher, H., Kyas, M., Schönborn, J.: Semantic issues in UML 2.0 state machines. Technical Report 0507, Christian-Albrechts-Universität zu Kiel (2005)

3. Lecture Notes in Computer Science;H. Fecher,2005

4. Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)

5. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines;IEEE Transactions on Software Engineering;2024-08

2. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13

3. Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method;2022 International Conference on Engineering and Emerging Technologies (ICEET);2022-10-27

4. Formalizing UML 2.0 State Machines Using a Structure-Behavior Coalescence Method;2022 IEEE Industrial Electronics and Applications Conference (IEACon);2022-10-03

5. Formalising concurrent UML state machines using coloured Petri nets;Formal Aspects of Computing;2016-09