$$\hbox {OCL}_\textsf {FO}$$ OCL FO : first-order expressive OCL constraints for efficient integrity checking-Reference-Cited by-同舟云学术

$$\hbox {OCL}_\textsf {FO}$$ OCL FO : first-order expressive OCL constraints for efficient integrity checking

Published:2018-08-24 Issue:4 Volume:18 Page:2655-2678
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Franconi Enrico,Mosca Alessandro,Oriol Xavier,Rull Guillem,Teniente Ernest

Funder

Ministerio de Economía y Competitividad

Secretaria d’Universitats i Recerca de la Generalitat de Catalunya

Publisher

Springer Science and Business Media LLC

Subject

Modelling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-018-0688-z.pdf

Reference39 articles.

1. Chen, P.P.S.: The entity-relationship model-toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9–36 (1976)

2. Halpin, T.: Object-role modeling (orm/niam). In: Handbook on Architectures of Information Systems, pp. 81–103. Springer, Berlin(1998)

3. Object Management Group (OMG): Unified Modeling Language (UML) Superstructure Specification, version 2.4.1. (2011) http://www.omg.org/spec/UML/ . Accessed 30 July 2018

4. Object Management Group (OMG): Object Constraint Language (UML), version 2.4. (2014) http://www.omg.org/spec/OCL/ . Accessed 30 July 2018

5. Immerman, N.: Descriptive Complexity. Springer, Berlin (2012)

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

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

2. Generating repairs for inconsistent models;Software and Systems Modeling;2022-04-04

3. Embedding reactive behavior into artifact-centric business process models;Future Generation Computer Systems;2021-04

4. Detecting quality problems in research data;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16

5. Java Bytecode Verification with OCL Why, How and Whenc.;The Journal of Object Technology;2020