532 search results - page 7 / 107 » The UML as a Formal Modeling Notation |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
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...
COMPSAC
1997
IEEE
13 years 12 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
SEKE
2004
Springer
14 years 29 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
FOIS
2001
13 years 9 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...