Intra- and interdiagram consistency checking of behavioral multiview models

DOI10.1016/J.CL.2015.08.003zbMath1387.68051OpenAlexW1710803789MaRDI QIDQ1749133

Martin Kronegger, Martina Seidl, Andreas Pfandler, Petra Kaufmann, 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

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

Related Items (1)

Intra- and interdiagram consistency checking of behavioral multiview models

Uses Software

• Sat4j
• vUML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A state/event-based model-checking approach for the analysis of abstract system properties
• Intra- and interdiagram consistency checking of behavioral multiview models
• Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
• Towards Checking Parametric Reachability for UML State Machines
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Model Checking Software

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