Sciweavers

1213 search results - page 16 / 243
» Refactoring UML Models
Sort
View
APN
2000
Springer
15 years 4 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
ESWS
2006
Springer
15 years 3 months ago
A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
Saartje Brockmans, Peter Haase, Pascal Hitzler, Ru...
UML
1997
Springer
15 years 3 months ago
Systems, Views and Models of UML
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...
ENTCS
2006
130views more  ENTCS 2006»
14 years 11 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
TAMODIA
2007
15 years 28 days ago
From Task to Dialog Model in the UML
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
Jan Van den Bergh, Karin Coninx