Skip to main content
SpringerLink
Log in

Protocol Conformance Checking of Services with Exceptions

  • Conference paper
Service-Oriented and Cloud Computing (ESOCC 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7592))

Included in the following conference series:

Abstract

In our previous work we defined a conservative abstraction of the behaviour of service-oriented systems and a contract based on interactions (named service protocol) to be verified. We have achieved modeling unbound concurrency and unbound recursion within this abstraction. However, these works are based only on services that do not raise exceptions. In this paper, we extend our previous work such that service protocols can be verified even if the service interface may raise exceptions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. Both, A., Zimmermann, W.: Automatic protocol conformance checking of recursive and parallel BPEL systems. In: IEEE Sixth European Conference on Web Services, pp. 81–91. IEEE (2008)

    Google Scholar 

  3. Both, A., Zimmermann, W.: Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. In: Chaudron, M.R.V., Szyperski, C.A., Reussner, R. (eds.) CBSE 2008. LNCS, vol. 5282, pp. 163–179. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Both, A., Zimmermann, W.: A step towards a more practical protocol conformance checking algorithm. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, pp. 458–465. IEEE (2009)

    Google Scholar 

  5. Both, A., Zimmermann, W., Franke, R.: Model checking of component protocol conformance – optimizations by reducing false negatives. Electron. Notes Theor. Comput. Sci. 263, 67–94 (2010)

    Article  Google Scholar 

  6. Bravetti, M., Zavattaro, G.: Contract-Based Discovery and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 261–295. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: Proc. of the Fourth International Conference on Software Engineering Research, Management and Applications, pp. 40–48. IEEE (2006)

    Google Scholar 

  8. Burkart, O., Steffen, B.: Model Checking for Context-free Processes. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 123–137. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  9. Burkart, O., Steffen, B.: Pushdown Processes: Parallel Composition and Model Checking. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 98–113. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  10. Dahl, O.-J., Nygaard, K.: Simula: an algol-based simulation language. Communications of the ACM 9(9), 671–678 (1966)

    Article  MATH  Google Scholar 

  11. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of Web Services. In: ASE, pp. 152–163. IEEE (2006)

    Google Scholar 

  12. Gorbenko, A., Romanovsky, A., Kharchenko, V., Mikhaylichenko, A.: Experimenting with exception propagation mechanisms in service-oriented architecture. In: Proc. of the 4th International Workshop on Exception Handling, pp. 1–7. ACM (2008)

    Google Scholar 

  13. Schmidt, H.W., Krämer, B.J., Poernomo, I., Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 310–324. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Hauck, E.A., Dent, B.A.: Burroughs’ b6500/b7500 stack mechanism. In: AFIPS 1968 (Spring): Proc. of the April 30-May 2, 1968, Spring Joint Computer Conference, pp. 245–251. ACM (1968)

    Google Scholar 

  15. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation, 2nd edn. Addison-Wesley (2001)

    Google Scholar 

  16. Jannach, D., Gut, A.: Exception Handling in Web Service Processes. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol. 6520, pp. 225–253. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  17. Löwe, W., Neumann, R., Trapp, M., Zimmermann, W.: Robust dynamic exchange of implementation aspects. In: TOOLS 29 – Technology of Object-Oriented Languages and Systems, pp. 351–360. IEEE (1999)

    Google Scholar 

  18. Mayr, R.: Process rewrite systems. Information and Computation 156(1-2), 264–286 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  19. Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99–121. Prentice-Hall (1995)

    Google Scholar 

  20. Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. Computer, Innovative Technology for Computer Professionals 40(11), 38–45 (2007)

    Google Scholar 

  21. Parizek, P., Plasil, F.: Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol. 11, pp. 2–21. Springer, Heidelberg (2008)

    Google Scholar 

  22. Rajamani, S.K., Rehof, J.: Models for Contract Conformance. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 181–196. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  23. Reisig, W.: Modeling- and Analysis Techniques for Web Services and Business Processes. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 243–258. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  24. Salaün, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: International Conference on Web Services. IEEE (2004)

    Google Scholar 

  25. Tenzer, J., Stevens, P.: Modelling Recursive Calls with UML State Diagrams. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 135–149. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  26. van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  27. Zimmermann, W., Schaarschmidt, M.: Automatic Checking of Component Protocols in Component-Based Systems. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 1–17. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Zuehlke Engineering AG, Wiesenstrasse 10a, CH-8952, Schlieren, Switzerland

    Christian Heike

  2. Institut für Informatik, Universität Halle-Wittenberg, 06099, Halle/Saale, Germany

    Wolf Zimmermann

  3. Unister GmbH, Barfußgässchen 11, 04109, Leipzig, Germany

    Andreas Both

Authors
  1. Christian Heike
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wolf Zimmermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Both
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, Systems and Communication, University of Milano - Bicocca, Viale Sarca 336/14, 20126, Milano, Italy

    Flavio De Paoli

  2. Dept. Computer Science, University of Málaga, Málaga, Spain

    Ernesto Pimentel

  3. INRIA - FOCUS Research Team, University of Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heike, C., Zimmermann, W., Both, A. (2012). Protocol Conformance Checking of Services with Exceptions. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds) Service-Oriented and Cloud Computing. ESOCC 2012. Lecture Notes in Computer Science, vol 7592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33427-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33427-6_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33426-9

  • Online ISBN: 978-3-642-33427-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation