Intra- and interdiagram consistency checking of behavioral multiview models

DOI10.1016/J.CL.2015.08.003MaRDI QIDQ1749133zbMATH OpenOpenAlexFDO

Authors Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Publication date 15 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2015.08.003

zbMATH Keywords

consistency checkingSAT encodingsunified modeling languagemultiview modeling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Multi-view consistency in UML: a survey
• Checking consistency in UML diagrams: classes and state machines.
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• scientific article; zbMATH DE number 2193913
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• A state/event-based model-checking approach for the analysis of abstract system properties
• Encoding OCL data types for SAT-based verification of UML/OCL models
• Intra- and interdiagram consistency checking of behavioral multiview models
• Model Checking Software
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Towards checking parametric reachability for UML state machines

Cited in

(3)

• Intra- and interdiagram consistency checking of behavioral multiview models
• Checking consistency in UML diagrams: classes and state machines.
• Multi-view consistency in UML: a survey

Describes a project that uses

Uses Software

• vUML
• Sat4j

This page was built for publication: Intra- and interdiagram consistency checking of behavioral multiview models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749133)