Deterministic UML Models for Interconnected Activities and State Machines-Reference-Cited by-同舟云学术

Deterministic UML Models for Interconnected Activities and State Machines

Published:2009 Issue: Volume: Page:556-570
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Daw Zamira,Vetter Marcus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04425-0_43

Reference14 articles.

1. Object Management Group: UML Unified Modeling Language, Superstructure, V2.1.2

2. Gherbi, A., Khendek, F.: From UML/SPT models to schedulability analysis: a metamodel-based transformation. In: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 343–350. IEEE Computer Society, Los Alamitos (2006)

3. Lecture Notes in Computer Science;M. Shousha,2008

4. Apvrille, L., Courtiat, J.-P., Lohr, C., Saqui-Sannes, P.: TURTLE: A Real-time UML Profile Supported by a Formal Validation toolkit. IEEE Transactions on Software Engineering,, 473–487 (2004)

5. Apvrille, L., Saqui-Sannes, P., Khendek, F.: TURTLE-P: A UML Profile for the Formal Validation of Critical and Distributed Systems. In: Software and Systems Modeling (SoSyM), pp. 449–466. Springer, Heidelberg (2006)

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

1. Comparing model checkers for timed UML activity diagrams;Science of Computer Programming;2015-11

2. An Extensible Operational Semantics for UML Activity Diagrams;Software Engineering and Formal Methods;2015

3. A Systematic Review on the Definition of UML Profiles;Model Driven Engineering Languages and Systems;2010