IEEE International Conference on Web Services (ICWS'05) 2005
DOI: 10.1109/icws.2005.119
|View full text |Cite
|
Sign up to set email alerts
|

Tool support for model-based engineering of Web service compositions

Abstract: In this paper we describe tool support for a modelbased approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications and implementation models to confirm expected results from the viewpoints of both the designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process (FSP) algebra to concisely model the required behavior.BPEL4WS implementati… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
36
0

Year Published

2006
2006
2016
2016

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 53 publications
(36 citation statements)
references
References 9 publications
0
36
0
Order By: Relevance
“…Hence there is no real synthesis in the sense of deriving a process model from example scenarios. This holds for many other approaches, e.g., several authors assume "state conditions" or similar concepts to make the linking of MSCs explicit [16,28]. In a way, sets of scenarios are explicitly encoded in high-level MSCs.…”
Section: Bookstore Examplementioning
confidence: 97%
See 1 more Smart Citation
“…Hence there is no real synthesis in the sense of deriving a process model from example scenarios. This holds for many other approaches, e.g., several authors assume "state conditions" or similar concepts to make the linking of MSCs explicit [16,28]. In a way, sets of scenarios are explicitly encoded in high-level MSCs.…”
Section: Bookstore Examplementioning
confidence: 97%
“…Moreover, the majority of approaches uses explicit annotations to "glue" MSCs together in a single model. For example, high-level MSCs are being used [16,27,28] or there are "precharts", "state conditions" or similar concepts to explicitly relate MSCs [11,20,21]. Other problems are related to performance, implied scenarios (i.e., the model allows for more behavior than what has actually been observed), and consistency (e.g., the synthesized model contains deadlocks) [6,7].…”
mentioning
confidence: 99%
“…Translations from BPEL process definitions to FSMs have been studied in the literature, see e.g. [6].…”
Section: Tool Supportmentioning
confidence: 99%
“…Foster et al [10] suggest the use of Message Sequence Charts (MSCs) for describing global service interaction models. These global models are converted into local models expressed as FSMs for analysis purposes.…”
Section: Requirements and Related Workmentioning
confidence: 99%