<div class="csl-bib-body">
<div class="csl-entry">Feinerer, I., & Salzer, G. (2014). Numeric semantics of class diagrams with multiplicity and uniqueness constraints. <i>Software and Systems Modeling</i>, <i>13</i>(3), 1167–1187. https://doi.org/10.1007/s10270-012-0294-4</div>
</div>
-
dc.identifier.issn
1619-1366
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/157186
-
dc.description.abstract
We translate class diagrams with multiplicity constraints and uniqueness attributes to inequalities over non-negative integers. Based on this numeric semantics we check the satisfiability and consistency of class diagrams and compute minimal models. We show that this approach is efficient and provides succinct user feedback in the case of errors. In an experimental section we demonstrate that general off-the-shelf solvers for integer linear programming perform as well on real-world and synthetic benchmarks as specialised algorithms do, facilitating the extension of the formal model by further numeric constraints like cost functions. Our results are embedded in a research programme on reasoning about class diagrams and are motivated by applications in configuration management. Compared to other (for instance logic-based) approaches our aim is to hide the complexity of formal methods behind familiar user interfaces like class diagrams and to concentrate on problems that can be solved efficiently in order to be able to provide immediate feedback to users.
-
dc.language.iso
en
-
dc.publisher
SPRINGER HEIDELBERG
-
dc.relation.ispartof
Software and Systems Modeling
-
dc.subject
Modeling and Simulation
-
dc.subject
Software
-
dc.title
Numeric semantics of class diagrams with multiplicity and uniqueness constraints
en
dc.type
Artikel
de
dc.type
Article
en
dc.description.startpage
1167
-
dc.description.endpage
1187
-
dc.type.category
Original Research Article
-
tuw.container.volume
13
-
tuw.container.issue
3
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Software and Systems Modeling
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.1007/s10270-012-0294-4
-
dc.identifier.eissn
1619-1374
-
dc.description.numberOfPages
21
-
tuw.author.orcid
0000-0001-7656-8338
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.fulltext
no Fulltext
-
item.openairetype
research article
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence