484 search results - page 52 / 97 » Semantics of Metamodels in UML |
129
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
123
click to vote
JODS
2006
14 years 11 months ago
2006
This paper addresses the various facets of emergent semantics in content retrieval systems such as Knowledge Sifter, an architecture and system based on the use of specialized agen...
ECEASST
2006
14 years 12 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
107
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
112
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...