Formal executable semantics for conformance in the MDE framework-Reference-Cited by-同舟云学术

Formal executable semantics for conformance in the MDE framework

Published:2009-12-20 Issue:1-2 Volume:6 Page:73-81
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Egea Marina,Rusu Vlad

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-009-0108-1.pdf

Reference12 articles.

1. Model-driven architecture. http://www.omg.org/mda/specs.htm

2. The Object Management Group. http://www.omg.org

3. Object Constraint Language (OCL). http://www.omg.org/spec/OCL/2.0/

4. Egea M (2008) An executable formal semantics for OCL with aopplications to model analysis and validation. PhD thesis, Universidad Complutense de Madrid

5. Clavel M, Egea M (2006) itp/ocl: a rewriting-based validation tool for uml + ocl static class diagrams. In: Michael J, Varmo V (eds) AMAST. Lecture notes in computer science, vol 4019. Springer, Berlin, pp 368–373

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

1. Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric;Journal of Software: Evolution and Process;2024-07-04

2. Towards a Semantically Useful Definition of Conformance with a Reference Model.;The Journal of Object Technology;2024

3. An executable metamodel refactoring catalog;Software and Systems Modeling;2022-08-12

4. CaaSSET: A Framework for Model-Driven Development of Context as a Service;Future Generation Computer Systems;2020-04

5. Towards the Mechanized Semantics and Refinement of UML Class Diagrams;2019 26th Asia-Pacific Software Engineering Conference (APSEC);2019-12