Sciweavers

2570 search results - page 10 / 514
» Reliability Modeling Using UML
Sort
View
UML
2001
Springer
14 years 26 days ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...
EKAW
2004
Springer
14 years 1 months ago
On the Foundations of UML as an Ontology Representation Language
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
TAMODIA
2007
13 years 9 months 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
SPIN
2004
Springer
14 years 1 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
ESWS
2006
Springer
14 years 3 days 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...