Non-functional properties and services coordination using contracts

ABSTRACT

This paper presents an approach for building reliable applications based on services oriented paradigm and the use of a contract based coordination model. Thanks to contracts describing the logic of a services based application running in a dynamic environment it is possible to associate a personalized behavior in an orthogonal way. Contracts ensure, for example, transactional properties at execution time in the presence of exceptions and make applications aware of their execution context.

REFERENCES

• 1: Tim O'Reilly. What is Web 2.0. http://www.oreillynet.com/pub/a/oreilly/tim/news/2005/09/30/what-is-web-20.html
• 2: S. Dustdar and W. Schreiner. A survey on web services composition. IJWGS, 1(1): 1--30, 2005
• 3: A. Lazcano, G. Alonso, H. Schuldt, and C. Schuler. The wise approach to electronic commerce. International Journal of Computer Systems Science & Engineering, special issue on Flexible Workflow Technology Driving the Networked Economy, 15, 2000
• 4: A. Portilla, G. Vargas-Solar, L. García-Bañuelos, Ch. Collet, J. L. Zechinelli-Martini, Verifying atomicity requirements of services coordination using B, In Proceedings of the 9th International Mexican Conference on Computer Science, IEEE, Mexicali-Mexico, 2008
• 5: Portilla Alberto, Collet Christine and Vargas-Solar Genoveva (2006), "Towards a transactional services coordination model", In Proceedings of the Tenth International Database Engineering and Applications Symposium (IDEAS 2006): 319--320.
• 6: W. M. P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and E. Verbeek. Business process managemen: Where business processes and web services meet. Data Knowledge Engineering, 61(1): 1--5, 2007
• 7: G. Vargas-Solar, L. Garcia-Banuelos, and J. L. Zechinelli-Martini. Towards aspect oriented services coordination for building modern information systems. In Proceedings of the International Mexican Conference in Computer Science ENC, pages 353--360. IEEE Computer Society, 2004
• 8: T. H. G. Vu, Ch. Collet, and G. Vargas-Solar. Defining and modelling secure service-based systems. In Proceedings of the Cooperative Information Systems (CoopIS) 2006 International Conference, volume LNCS 4275, pages 391--407. Springer Verlag, 2006
• 9: W3C. W3C standards. http://www.w3.org/, November 2008
• 10: OW2. Bonita- The open source workflow project. http://wiki.bonita.ow2.org
• 11: T. Coupaye, Ch. Collet: Semantics Based Implementation of Flexible Execution Models for Active Database Systems. In Proceedings of BDA, 1998

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.1 Systems and Information Theory

General Terms:
Reliability, Theory, Verification

Keywords:
contract, non-functional properties, reliable services-coordination