Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations-Reference-Cited by-同舟云学术

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations

Published:2012 Issue: Volume: Page:32-48
ISSN:0302-9743
Container-title:Modelling Foundations and Applications
language:
Short-container-title:

Author:

Kuhlmann Mirco,Gogolla Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31491-9_5.pdf

Reference23 articles.

1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. SoSyM 9(1), 69–86 (2010)

2. Lecture Notes in Computer Science;J.C. Blanchette,2010

3. Braga, B.F.B., Almeida, J.P.A., Guizzardi, G., Benevides, A.B.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. ISSE 6(1-2), 55–63 (2010)

4. Bräuer, M., Demuth, B.: Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support. ECEASST 9 (2008)

5. LNCS;F. Büttner,2012

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

1. Approach to the Industrial Automation Systems Design, Taking into Account the Properties of Electric Drives;2023 IEEE 4th KhPI Week on Advanced Technology (KhPIWeek);2023-10-02

2. OCL Rebuilt, From the Ground Up;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

3. QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants;Science of Computer Programming;2023-06

4. QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants;Fundamental Approaches to Software Engineering;2022

5. A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.;The Journal of Object Technology;2022