An Algebraic Semantics for MOF-Reference-Cited by-同舟云学术

An Algebraic Semantics for MOF

Published: Issue: Volume: Page:377-391
ISSN:
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Boronat Artur,Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78743-3_28.pdf

Reference17 articles.

1. Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification (ptc/06-01-01) (2006), http://www.omg.org/cgi-bin/doc?formal/2006-01-01

2. Eclipse Organization: The Eclipse Modeling Framework (2007), http://www.eclipse.org/emf/

3. Lecture Notes in Computer Science;J. Meseguer,1998

4. Lecture Notes in Computer Science;M. Clavel,2007

5. Boronat, A., Meseguer, J.: Algebraic semantics of EMOF/OCL metamodels. Technical Report UIUCDCS-R-2007-2904, CS Dept., University of Illinois at Urbana-Champaign (2007), http://www.cs.le.ac.uk/people/ab373/papers/UIUC-TR-MOF-OCL-Boronat-Meseguer.pdf

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

1. A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution;Journal of Systems and Software;2017-12

2. Statistical Model Checking of e-Motions Domain-Specific Modeling Languages;Fundamental Approaches to Software Engineering;2016

3. A Semantics of Business Configurations Using Symbolic Graphs;2015 IEEE International Conference on Services Computing;2015-06

4. Controlled execution with explicit model;Programming and Computer Software;2014-11

5. A Calculus for (Meta)Models and Transformations;International Journal of Software Engineering and Knowledge Engineering;2014-06