Algebraic Semantics of OCL-Constrained Metamodel Specifications-Reference-Cited by-同舟云学术

Algebraic Semantics of OCL-Constrained Metamodel Specifications

Published:2009 Issue: Volume: Page:96-115
ISSN:1865-1348
Container-title:Objects, Components, Models and Patterns
language:
Short-container-title:

Author:

Boronat Artur,Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02571-6_7

Reference28 articles.

1. van Deursen, A.v., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26–36 (2000)

2. OMG: Meta Object Facility (MOF) 2.0 Core Specification (ptc/06-01-01) (2006)

3. Boronat, A.: MOMENT: a formal framework for MOdel manageMENT. PhD in Computer Science, Universitat Politènica de València (UPV), Spain (2007), http://www.cs.le.ac.uk/~aboronat/papers/2007_thesis_ArturBoronat.pdf

4. Lecture Notes in Computer Science;A. Boronat,2008

5. MOMENT2 (2008), http://www.cs.le.ac.uk/~aboronat/tools/moment2

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

1. Safe reuse in modelling language engineering using model subtyping with OCL constraints;Software and Systems Modeling;2022-09-05

2. A feature-based classification of formal verification techniques for software models;Software & Systems Modeling;2017-03-27

3. Continuing a Benchmark for UML and OCL Design and Analysis Tools;Software Technologies: Applications and Foundations;2016

4. A formalisation of deep metamodelling;Formal Aspects of Computing;2014-11

5. Dynamic Validation of Maude Prototypes of UML Models;Specification, Algebra, and Software;2014