Abstract
Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the Radl [12], an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of [14] to define a form of design-by-contract [10] for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.
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.
Similar content being viewed by others
References
van der Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
van der Aalst, W.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.: Inheritance of interorganizational workflows: How to agree to disagree without loosing control. Technical Report BETA Working Papers Serise, WP46, Eindhoven University of Technology, The Netherlands (2000)
van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management: Models, Techniques and Empirical Studies. Springer, Heidelberg (2000)
Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. Journal of the ACM 43(3), 550–600 (1996)
W3C Group. Web services activity site. Web site, W3C (2002), Available at http://www.w3.org/2002/ws/
Jensen, K., Rozenberg, G. (eds.): High-Level Petri Nets, Theory and Application. Springer, Heidelberg (1991)
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)
OMG. OMG Unified Modeling Language Specification. Technical report, Object Management Group (2000)
Poernomo, I., Schmidt, H., Reussner, R.: The TrustME language site. Web site, DSTC (2001), Available at http://www.csse.monash.edu.au/dsse/trustme
Reussner, R., Poernomo, I., Schmidt, H.: Using the trustme tool suite for automatic component protocol adaptation. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J., Hoekstra, A.G. (eds.) ICCS-ComputSci 2002. LNCS, vol. 2330, pp. 854–863. Springer, Heidelberg (2002)
Schmidt, H.: Compatibility of interoperable objects. In: Information Systems Interoperability, pp. 143–199. Research Studies Press, Taunton (1998)
Schmidt, H., Reussner, R.: Automatic component adaptation by concurrent state machine retrofitting. Technical Report 2000/81, Monash University, School of Computer Science and Software Engineering (2000)
Workflow Management Coalition. Workflow management coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussals (February 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ling, S., Poernomo, I., Schmidt, H. (2003). Describing Web Service Architectures through Design-by-Contract. In: Yazıcı, A., Şener, C. (eds) Computer and Information Sciences - ISCIS 2003. ISCIS 2003. Lecture Notes in Computer Science, vol 2869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39737-3_125
Download citation
DOI: https://doi.org/10.1007/978-3-540-39737-3_125
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20409-1
Online ISBN: 978-3-540-39737-3
eBook Packages: Springer Book Archive