Model-based verification of Web service compositions
By Howard Foster, Sebastián Uchitel, J. Magee, J. Kramer. 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003
501 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Information Systems, Management Information Systems
View Paper: https://www.semanticscholar.org/paper/143f3a9d96b0986979cb23e9e7e7e97345ea465e
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Wil M.P. van der Aalst
- Marlon Dumas
- Paolo Traverso
- A. T. Hofstede
- Marco Pistore
- Jianwen Su
- Xiang Fu
- Tevfik Bultan
In Information Systems
- Wil M.P. van der Aalst
- Marlon Dumas
- A. T. Hofstede
- Chun Ouyang
- Paolo Traverso
- Jianwen Su
- Xiang Fu
- Tevfik Bultan
In Management Information Systems
- Wil M.P. van der Aalst
- Marlon Dumas
- A. T. Hofstede
- Chun Ouyang
- Paolo Traverso
- Manfred Reichert
- Jianwen Su
- Xiang Fu
Citations in the corpus
- Formal semantics and analysis of control flow in WS-BPEL (2007, background): “Many of these efiorts however, focus on small subsets of BPEL like for example only on structured activities[ 11 ,12]whichisarelativelysimplesubset.Acomparativesummaryofpreviousefiortsinthis area is given in Table 1. The columns of the table correspondto the following criteria:”
- Automated composition of Web services via planning in asynchronous domains (2005, background): “[13,58,32,39,88,47]), and is at the core for the improved performances of state-of-the-art tools in these areas (see e.”
- Analysis of interacting BPEL web services (2004, methodology): “Such analysis cannot be done using approaches presented in [9, 17] since they abstract away the data content.”