Sciweavers

853 search results - page 21 / 171
» A supporting system for verification among models of the UML
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
14 years 19 days ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
UML
1998
Springer
14 years 1 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
VL
2003
IEEE
155views Visual Languages» more  VL 2003»
14 years 2 months ago
A human-centric tool for component design and reuse in the UML
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
Ella E. Roubtsova, Serguei A. Roubtsov
SEKE
2004
Springer
14 years 2 months ago
A UML-based Software Engineering Methodology for Agent Factory
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
Rem W. Collier, Gregory M. P. O'Hare, Colm Rooney