409 search results - page 36 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
113
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
129
Voted
MODELS
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
127
click to vote
GI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
117
Voted
JWSR
2006
15 years 1 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
120
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...