Structural model subtyping with OCL constraints-Reference-Cited by-同舟云学术

Structural model subtyping with OCL constraints

Published:2017-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Boronat Artur¹

Affiliation:

1. University of Leicester, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3136014.3136026

Reference35 articles.

1. 2010. Systems and software engineering – Vocabulary. ISO/IEC/IEEE 24765:2010(E) (Dec 2010) 1–418. 10.1109/IEEESTD.2010.5733835 2010. Systems and software engineering – Vocabulary. ISO/IEC/IEEE 24765:2010(E) (Dec 2010) 1–418. 10.1109/IEEESTD.2010.5733835

2. Martín Abadi and Luca Cardelli. 1996. A Theory of Objects. Springer. 10.1007/978-1-4419-8598-9 Martín Abadi and Luca Cardelli. 1996. A Theory of Objects. Springer. 10.1007/978-1-4419-8598-9

3. Artur Boronat. 2007. MOMENT: a formal framework for MOdel manageMENT. PhD thesis. Universitat Politècnica de València (UPV) Spain. Artur Boronat. 2007. MOMENT: a formal framework for MOdel manageMENT. PhD thesis. Universitat Politècnica de València (UPV) Spain.

4. Algebraic Semantics of OCL-constrained Metamodel Specifications. In TOOLS (47);Boronat Artur;LNBIP,2009

5. An algebraic semantics for MOF

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

1. EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time;Software and Systems Modeling;2023-06-12

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

3. A Subtyping Scheme for Nominal and Structural Types Based on Class Graph Equivalence;2021 4th International Conference on Blockchain Technology and Applications;2021-12-17

4. Comparing and classifying model transformation reuse approaches across metamodels;Software and Systems Modeling;2019-11-12

5. Automated Reuse of Model Transformations through Typing Requirements Models;ACM Transactions on Software Engineering and Methodology;2019-10-12