Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata-Reference-Cited by-同舟云学术

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata

Published:2013-01 Issue:1 Volume:28 Page:188-202
ISSN:1000-9000
Container-title:Journal of Computer Science and Technology
language:en
Short-container-title:J. Comput. Sci. Technol.

Author:

Zhou Yu,Baresi Luciano,Rossi Matteo

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s11390-013-1322-8.pdf

Reference26 articles.

1. OMG. UML profile for MARTE: Modeling and analysis of real-time embedded systems. Version 1.0, formal/2009-11-02, 2009, http://www.omg.org/spec/MARTE/1.0/ .

2. Baresi L, Pezze M. On formalizing UML with high-level Petri nets. In Concurrent Object-Oriented Programming and Petri Nets, Springer Verlag, 2001, pp.276–304.

3. Crane M, Dingel J. Towards a formal account of a foundational subset for executable UML models. In Proc. the 11th International Conference on Model Driven Engineering Languages and Systems, October 2008, pp.675–689.

4. David A, Möller M, Yi W. Formal verification of UML statecharts with real-time extensions. In Proc. the 5th Int. Conf. Fundamental Approaches to Software Engineering, Apr. 2002, pp.218–232.

5. Latella D, Majzik I, Massink M. Towards a formal operational semantics of UML statechart diagrams. In Proc. the 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems, March 1999, p.465.

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

1. From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation;Companion of the 2023 ACM/SPEC International Conference on Performance Engineering;2023-04-15

2. Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

3. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3);Software and Systems Modeling;2021-11-01

4. A Model-Driven Approach for Early Verification and Validation of Embedded Systems;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10

5. References;Software Adaptation in an Open Environment;2017-04-18