2021 search results - page 18 / 405 » COCO: Composition Model and Composition Model Implementation |
111
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
141
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
97
Voted
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
120
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
121
Voted
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...