Formalising UML State Machines for Model Checking-Reference-Cited by-同舟云学术

Formalising UML State Machines for Model Checking

Published:1999 Issue: Volume: Page:430-444
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Lilius Johan,Paltor Iván Porres

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46852-8_31

Reference17 articles.

1. OMG Unified Language Specification (draft). Version 1.3 alpha R5, March 1999, available at http://www.rational.com/uml/resources/documentation/media/OMG-UML-1_3-Alpha5-PDF.zip .

2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.

3. E. M. Clarke and R. P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61–67, 1996.

4. R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces., 19:325–334, 1998.

5. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions of Software Engineering and Methodology, 5(4) Oct 1996.

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

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

2. Description and Consistency Checking of Distributed Algorithms in UML Models Using Composite Structure and State Machine Diagrams;Advances in Intelligent Systems and Computing;2023

3. Automatic Formal Model Generation from UML Diagrams – An Implementation Experience;2022 IEEE Delhi Section Conference (DELCON);2022-02-11

4. A Formalisation of SysML State Machines in mCRL2;Formal Techniques for Distributed Objects, Components, and Systems;2021

5. Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour;Proceedings of the 30th International Workshop on Rapid System Prototyping (RSP'19);2019-10-17