A Lightweight Formal Framework for Service-Oriented Applications Design

  • Aliaksei Yanchuk
  • Alexander Ivanyukovich
  • Maurizio Marchese
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)


Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweight formal framework capable of capturing the essential components of service-oriented programming paradigm.


Logical Service Programming Paradigm Tuple Space Gramming Paradigm Shared Data Space 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  2. 2.
    Papazoglou, M.P., Yang, J.: Design methodology for web services and business processes. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, pp. 54–64. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Dijkman, R.M., Dumas, M.: Service-oriented design: A multi-viewpoint approach. International Journal on Cooperative Information Systems 13(14), 338–378 (2004)Google Scholar
  4. 4.
    Quartel, D., Dijkman, R., van Sinderen, M.: Methodological support for service-oriented design with isdl. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 1–10. ACM Press, New York (2004)CrossRefGoogle Scholar
  5. 5.
    Back, R.J.R.: Correctness preserving program refinements: Proof theory and applications (1980)Google Scholar
  6. 6.
    Sere, K., Back, R.J.R.: From action systems to modular systems. In: Naftalin, M., Bertrán, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, pp. 1–25. Springer, Heidelberg (1994)Google Scholar
  7. 7.
    Rumpe, B., Klein, C.: Automata describing object behavior (1996)Google Scholar
  8. 8.
    Craigen, D., Gerhart, S., Ralston T.J.: An international survey of industrial applications of formal methods. Technical report, National Technical Information Service, Springfield, VA, USA (1993)Google Scholar
  9. 9.
    Broy, M.: Towards a mathematical concept of a component and its use. Software - Concepts and Tools 18(3), 137 (1997)Google Scholar
  10. 10.
    Broy, M.: Compositional refinement of interactive systems modelled by relations. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 130–149. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  11. 11.
    Papazoglou, M.P.: Service-oriented computing: Concepts, characteristics and directions. In: WISE 2003: Proceedings of the Fourth International Conference on Web Information Systems Engineering, Washington, DC, USA, p. 3. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
  12. 12.
    Barry, D.K.: Web Services and Service-Oriented Architecture: The Savvy Manager’s Guide. Morgan Kaufmann, San Francisco (2003)Google Scholar
  13. 13.
    Webber, J., Chatterjee, S.: Developing Enterprise Web Services: An Architect’s Guide. Prentice-Hall PTR, Englewood Cliffs (2003)Google Scholar
  14. 14.
    Taylor, R.W., Frank, R.L.: Codasyl data-base management systems. ACM Comput. Surv. 8(1), 67–103 (1976)zbMATHCrossRefGoogle Scholar
  15. 15.
    Yanchuk, A., Ivanyukovich, A., Marchese, M.: Technical report dit-05-059: Towards a mathematical foundation for service-oriented applications design. Technical report, Department of Information and Communication Technology, University of Trento (July 01, 2005),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Aliaksei Yanchuk
    • 1
  • Alexander Ivanyukovich
    • 1
  • Maurizio Marchese
    • 1
  1. 1.Department of Information and Communication TechnologyUniversity of TrentoPovo (Tn)Italy

Personalised recommendations