Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages-Reference-Cited by-同舟云学术

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages

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

Author:

Moiseev Rodion,Hayashi Shinpei,Saeki Motoshi

Publisher

Springer Berlin Heidelberg

Link

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

Reference18 articles.

1. OMG: Model-Driven Architecture, http://www.omg.org/mda/

2. OMG: Object Constraint Language specification, version 2.0, http://www.omg.org/technology/documents/formal/ocl.htm

3. Lecture Notes in Computer Science;G. Kiczales,1997

4. The Maude Team: The Maude System, http://maude.cs.uiuc.edu/

5. Akehurst, D.H., Patrascoiu, O.: OCL 2.0 – implementing the standard for multiple metamodels. Electronic Notes in Theoretical Computer Science 102, 21–41 (2004)

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

1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024

2. Challenges for code generated OCL execution;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

3. An OCL Implementation for Model-Driven Engineering of C++;Software Engineering Research, Management and Applications;2022

4. Re-utilizing Verification Results of UML/OCL Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018

5. A Symbolic Formulation for Models;Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers;2018