Describing web service architectures through design-by-contract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2869, Issue , 2003, Pages 1008-1018

  Ling, Sea ^a   Poernomo, Iman ^a   Schmidt, Heinz ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; HIGH LEVEL LANGUAGES; MEMORY ARCHITECTURE; PETRI NETS; SEMANTICS; WEBSITES;

ARCHITECTURAL DESCRIPTION LANGUAGES; COARSE-GRAIN COMPONENT; DESIGN BY CONTRACTS; EVENT-BASED SYSTEM; SOFTWARE APPLICATIONS; WEB SERVICE ARCHITECTURE; WEB SERVICE COLLABORATIONS; WEB SERVICE-BASED SYSTEM;

WEB SERVICES;

EID: 0142152890     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39737-3_125     Document Type: Article

References (16)

1. W. van der Aalst. Verification of workflow nets. In Application and Theory of Petri Nets 1997. 18th International Conference Proceedings, pages 407-26, LNCS 1248, Springer-Verlag, 1997.
2. W. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
3. W. van der Aalst. 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.
4. W. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management: Models, Techniques and Empirical Studies. Springer-Verlag, 2000.
5. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
6. R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):550-600, 1996.
7. W3C Group. Web services activity site. Web site, W3C, 2002. Available at http://www.w3.org/2002/ws/.
8. K. Jensen and G. Rozenberg, editors. High-Level Petri Nets, Theory and Application. Springer-Verlag, 1991.
9. Nenad Medvidovic and Richard N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, Janurary 2000.
10. Bertrand Meyer. Object-Oriented Software Construction. Prentice/Hall, 1997.
11. OMG. OMG Unified Modeling Language Specification. Technical report, Object Management Group, 2000.
12. Iman Poernomo, Heinz Schmidt, and Ralf Reussner. The TrustME language site. Web site, DSTC, 2001. Available at http://www.csse.monash.edu.au/dsse/trustme.
13. Ralf Reussner, Iman Poernomo, and Heinz Schmidt. Using the trustme tool suite for automatic component protocol adaptation. In Peter M. A. Sloot, Chih Jeng Kenneth Tan, Jack Dongarra, and Alfons G. Hoekstra, editors, Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, volume 2330 of Lecture Notes in Computer Science, pages 854-863. Springer-Verlag, 2002.
14. Heinz Schmidt. Compatibility of interoperable objects. In Information Systems Interoperability, pages 143-199. Research Studies Press, Taunton, Somerset, England, 1998.
15. Heinz Schmidt and Ralf Reussner. Automatic component adaptation by concurrent state machine retrofitting. Technical Report 2000/81, Monash University, School of Computer Science and Software Engineering, 2000.
16. Workflow Management Coalition. Workflow management coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussals, February 1999.