Finite Model Reasoning on UML Class Diagrams via Constraint Programming

Intelligenza Artificiale - Netherlands
doi 10.3233/ia-130045
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams

2008English

Enhancing Identification Mechanisms in UML Class Diagrams With Meaningful Keys

2011English

A Model-Theoretic View on Qualitative Constraint Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
2017English

Toward an Ontology-Driven Unifying Metamodel for UML Class Diagrams, EER, and ORM2

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Formalize UML 2 Sequence Diagrams

2008English

UML Diagrams Generator: A New CASE Tool to Construct the Use-Case and Class Diagrams From an Event Table

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Improving Modeling With Layered UML Diagrams

2013English

Reasoning on UML Data-Centric Business Process Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

XMI-based Transformation of UML Interaction Diagrams to Activity Diagrams

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy