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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Information systems (Oxford) Ročník 81; s. 152 - 177
Hlavní autoři:	Pérez, Beatriz, Porres, Ivan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Oxford Elsevier Ltd 01.03.2019 Elsevier Science Ltd
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!