Interpretation of History Pseudostates in Orthogonal States of UML State Machines-Reference-Cited by-同舟云学术

Interpretation of History Pseudostates in Orthogonal States of UML State Machines

Published:2009 Issue: Volume: Page:26-37
ISSN:0302-9743
Container-title:Next Generation Information Technologies and Systems
language:
Short-container-title:

Author:

Derezińska Anna,Pilitowski Romuald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04941-5_5

Reference28 articles.

1. Unified Modelling Language, http://www.uml.org

2. Yeung, W.L., Leung, K.R.P.H., Wang, J., Wei, D.: Modelling and Model Checking Suspendible Business Processses via Statechart Diagrams and CSP. Science of Computer Programming 65, 14–29 (2007)

3. van Langenhove, S.: Towards the Correctness of Software Behavior in UML. PhD Thesis, Ghent University, Belgium (2005)

4. Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of State Machines. In: 2nd IEEE Symp. on Logic in Computer Science, pp. 54–64. IEEE Press, Los Alamitos (1987)

5. Lecture Notes in Computer Science;D. Harel,2004

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

1. Model-Driven Software Development Combined with Semantic Mutation of UML State Machines;Communications in Computer and Information Science;2020

2. Mutating UML State Machine Behavior with Semantic Mutation Operators;Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering;2019

3. Performance Evaluation of Impact of State Machine Transformation and Run-Time Library on a C# Application;Hard and Soft Computing for Artificial Intelligence, Multimedia and Security;2016-10-20