Reasoning with UML class diagrams

Evans, Andy

doi:10.1109/wift.1998.766304

Cited by 33 publications

(29 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Reasoning on software models is principally enabled after a translation to a logic-based representation, e.g to Alloy [43], Description Logics [53], OWL 2 [54], or Object-Z [55,56]. When using such formal representations, one could reason on modelware models and formally prove properties through inference and make implicit knowledge of interest explicit [53].…”

Section: Reasoningmentioning

confidence: 99%

An ontology-based framework for domain-specific modeling

Walter¹,

Parreiras²,

Staab³

2012

Softw Syst Model

View full text Add to dashboard Cite

Domain-specific languages (DSLs) provide abstractions and notations for better understanding and easier modeling of applications in a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a framework that allows the use of ontology technologies to describe and reason on DSLs. The formal semantics of OWL together with reasoning services allows for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels and concrete syntaxes in a new technical space. A scenario in which domain models for network devices are created illustrates the framework.

show abstract

Section: Reasoningmentioning

confidence: 99%

An ontology-based framework for domain-specific modeling

Walter¹,

Parreiras²,

Staab³

2012

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…Two of the first works in the area are that of Lano [33] and Evans [21] who both define transformations with respect to an underlying semantics of class diagrams. In both cases these transformations are not directly executable: such work can therefore be seen as specifying model transformations.…”

Section: Other Approachesmentioning

confidence: 99%

Model transformations and tool integration

Tratt

2005

Softw Syst Model

View full text Add to dashboard Cite

Model transformations are increasingly recognised as being of significant importance to many areas of software development and integration. Recent attention on model transformations has particularly focused on the OMG's Queries / Views / Transformations (QVT) Request for Proposals (RFP). In this paper I motivate the need for dedicated approaches to model transformations, particularly for the data involved in tool integration, outline the challenges involved, and then present a number of technologies and techniques which allow the construction of flexible, powerful and practical model transformations.

show abstract

“…The semantics of class diagrams was expressed using such formal languages as Z [4,5], PVS-SL [1], description logic [2] and RAISE-SL [6]. Some of the works were restricted to the semantics of models, while the others were concerned with the issues of reasoning about models and model transformation.…”

Section: Introductionmentioning

confidence: 99%

UML Static Models in Formal Approach

Szlenk

2008

Balancing Agility and Formalism in Software Engineering

View full text Add to dashboard Cite

Abstract. The semantics of models written in UML is not precisely defined. Thus, it is hard to determine, how a given change in a model influences its meaning and, for example, to verify whether a given model transformation preserves the semantics of the model or not. In the paper a formal (mathematical) semantics of key elements of the UML static models is presented. The aim is to define the basic semantic relations between models: a consequence (implication) and equivalence. The goal of the definitions and examples presented in the article is to form a very basic, concise, theoretical foundation for the formal comparison of the UML static models, based on their meanings.

show abstract

Reasoning with UML class diagrams

Abstract: The

Cited by 33 publications

References 10 publications

An ontology-based framework for domain-specific modeling

An ontology-based framework for domain-specific modeling

Model transformations and tool integration

UML Static Models in Formal Approach

Contact Info

Product

Resources

About