Towards a Formal Operational Semantics of UML Statechart Diagrams-Reference-Cited by-同舟云学术

Towards a Formal Operational Semantics of UML Statechart Diagrams

Published:1999 Issue: Volume: Page:331-347
ISSN:
Container-title:Formal Methods for Open Object-Based Distributed Systems
language:
Short-container-title:

Author:

Latella Diego,Majzik Istvan,Massink Mieke

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35562-7_25

Reference9 articles.

1. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming. Elsevier, 8 (3): 231–274, 1987.

2. D. Harel. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology,5(4):293–333.

3. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23 (5): 279–295, 1997.

4. Rational Software * Microsoft * Hewlett-Packard * Oracle * Sterling Software * MCI Systemhouse * Unisys * ICON Computing * IntelliCorp * i Logix * IBM * ObjecTime * Platinum Technology * Ptech * Taskon * Reich Technologies * Softeam. UML Semantics, version 1.1,1997.

5. Rational Software * Microsoft * Hewlett-Packard * Oracle * Sterling Software * MCI Systemhouse * Unisys * ICON Computing * IntelliCorp * i Logix * IBM * ObjecTime * Platinum Technology * Ptech * Taskon * Reich Technologies * Softeam. UML Notation Guide, version 1.1,1997.

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

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

2. Pragmatic verification and validation of industrial executable SysML models;Systems Engineering;2023-05-10

3. MC/DC Test Case Automatic Generation for Safety-Critical Systems;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

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. Mixed-semantics composition of statecharts for the component-based design of reactive systems;Software and Systems Modeling;2020-07-01