Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?-Reference-Cited by-同舟云学术

Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?

Published:2008 Issue: Volume: Page:61-75
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

van Amstel M. F.,van den Brand M. G. J.,Protić Z.,Verhoeff T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69927-9_5

Reference23 articles.

1. FALCON, http://www.esi.nl/falcon/

2. van Amstel, M.F., van de Plassche, E., Hamberg, R., van den Brand, M.G.J., Rooda, J.E.: Performance analysis of a palletizing system. SE Report 2007-09, Department of Mechanical Engineering, Eindhoven University of Technology (2007)

3. Baeten, J.C.M.: A brief history of process algebra. Theoretical Computer Science 335(2–3), 131–146 (2005)

4. Object Management Group: Unified Modeling Language: Superstructure specification, version 2.1.1. Document – formal/2007-02-05, OMG (2007)

5. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Proceedings of the CWI Symposium. CWI Monographs, vol. 1, pp. 89–138. Centre for Mathematics and Computer Science, North-Holland (1986)

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

1. Wheel Hub Defects Image Recognition Base on Zero-Shot Learning;Applied Sciences;2021-02-08

2. System Modeling with UML State Machines;Handbook of Finite State Based Models and Applications;2016-04-19

3. Formal modeling and verification of security protocols on cloud computing systems based on UML 2.3;IEEE TRUST BIG;2016

4. Documenting and Designing QVTo Model Transformations Through Mathematics;Communications in Computer and Information Science;2016

5. Reusable and Correct Endogenous Model Transformations;Theory and Practice of Model Transformations;2012