Intra- and interdiagram consistency checking of behavioral multiview models
type: Item
instance of: scholarly article
title: Intra- and interdiagram consistency checking of behavioral multiview models
zbMATH Open document ID: 1387.68051
author: Petra Kaufmann
author: Martin Kronegger
author: Andreas Pfandler
author: Martina Seidl
author: Magdalena Widl
published in: Computer Languages, Systems \& Structures
publication date: 2018-05-15T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6868753
zbMATH Keywords: multiview modeling
zbMATH Keywords: unified modeling language
zbMATH Keywords: consistency checking
zbMATH Keywords: SAT encodings
describes a project that uses: Sat4j
describes a project that uses: vUML
MaRDI profile type: Publication
full work available at URL: j.cl.2015.08.003
OpenAlex ID: W1710803789
cites work: A state/event-based model-checking approach for the analysis of abstract system properties
cites work: Q5503674
cites work: Towards Checking Parametric Reachability for UML State Machines
cites work: Model Checking Software
cites work: Q4298260
cites work: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
cites work: Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models
cites work: Q5593816
DOI: 10.1016/J.CL.2015.08.003
description: scientific article; zbMATH DE number 6868753