Abstract
Before using a service in a composite framework, designers must ensure that it is compatible with the needs of the application. The inputs and outputs must comply with the intended ranges of data in the composite framework, and the service must eventually return a value. This paper addresses compatibility for modules described with document-based workflow nets, that can depict the semantics of active XML (AXML) systems, a language for Web Services design. The behavior of non-recursive AXML specifications with finite data can be represented as Docnets, i.e., finite labeled Petri nets carrying information on document types they transform. Compatibility of docnet modules is characterized in terms of a decidable reachability property in the underlying net. Finally, we show the distributivity of compatibility over composition, which allows a faster semi-decision algorithm to verify compatibility between sets of modules.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Benjelloun, O., Manolescu, I., Milo, T., Weber, R.: Active XML: A data-centric perspective on web services. In: BDA 2002 (2002)
Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of Active XML systems. In: PODS 2008, pp. 221–230 (2008)
Benveniste, A., Hélouët, L.: Distributed Active XML and service interfaces. Technical Report 7082, INRIA (2009)
Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)
Ceri, S., Grefen, P., Sánchez, G.: WIDE: A distributed architecture for workflow management. In: RIDE 1997, pp. 76–79 (1997)
de Frutos Escrig, D., Johnen, C.: Decidability of home space property. Technical Report 503, LRI (1989)
Hélouët, L., Benveniste, A.: Document based modeling of web services choreographies using Active XML. In: ICWS 2010, pp. 291–298 (2010)
Hull, R.: Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008)
Masson, B., Hélouët, L., Benveniste, A.: Compatibility between DAXML schemas. Technical Report 7559, INRIA (2011)
Misra, J., Cook, W.R.: Computation orchestration. Software and Systems Modeling 6(1), 83–110 (2007)
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)
van der Aalst, W.M.P., van Hee, K.: Workflow management: Models, Methods, and Systems. MIT Press (2002)
Wang, J., Kumar, A.: A Framework for Document-Driven Workflow Systems. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 285–301. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Masson, B., Hélouët, L., Benveniste, A. (2012). Compatibility of Data-Centric Web Services. In: Carbone, M., Petit, JM. (eds) Web Services and Formal Methods. WS-FM 2011. Lecture Notes in Computer Science, vol 7176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29834-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-29834-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29833-2
Online ISBN: 978-3-642-29834-9
eBook Packages: Computer ScienceComputer Science (R0)