Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Model Driven Engineering promotes the use of models as the main artifacts in software and system development. Verification and validation of models are key activities to ensure the quality of the system under development. This paper presents a framework to reason about the satisfiability of class mo...

Full description

Saved in:

Bibliographic Details
Published in:	Information systems (Oxford) Vol. 81; pp. 152 - 177
Main Authors:	Pérez, Beatriz, Porres, Ivan
Format:	Journal Article
Language:	English
Published:	Oxford Elsevier Ltd 01.03.2019 Elsevier Science Ltd
Subjects:	Constraint logic programming Constraints Diagrams Frame analysis Information systems Logic Logic programming Modelling OCL Program verification (computers) Property Reasoning Software Software development Space technology Systems development UML Verification OCL Constraint logic programming UML Reasoning
ISSN:	0306-4379, 1873-6076
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!