1792 search results - page 17 / 359 » Ontology Modeling Using UML |
ENTCS
2006
13 years 8 months ago
2006
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...
UML
2000
Springer
14 years 5 days ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
SERP
2010
13 years 6 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
JOT
2008
13 years 8 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
CODES
2004
IEEE
14 years 10 days ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...