Skip to main content
SpringerLink
Log in

A Graph-Based Design Framework for Services

  • Conference paper
Graph Transformations (ICGT 2012)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7562))

Included in the following conference series:

  • 736 Accesses

Abstract

Service-oriented systems rely on software applications that offer services through the orchestration of activities performed by external services procured on the fly when they are needed. This paper presents an overview of a graph-based framework developed around the notions of service and activity module for supporting the design of service-oriented systems in a way that is independent of execution languages and deployment platforms. The framework supports both behaviour and quality-of-service constraints for the discovery, ranking and selection of external services. Service instantiation and binding are captured as algebraic operations on configuration graphs.

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 54.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. Abreu, J., Mazzanti, F., Fiadeiro, J.L., Gnesi, S.: A Model-Checking Approach for Service Component Architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 219–224. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  2. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1998)

    Article  Google Scholar 

  3. Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing 8(1), 46–54 (2004)

    Article  Google Scholar 

  4. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis, A., Hagino, T. (eds.) WWW, pp. 148–159. ACM (2005)

    Google Scholar 

  5. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bocchi, L., Fiadeiro, J.L., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service oriented systems. In: Handbook of Research on Non-Functional Properties for Service-Oriented Systems: Future Directions. Advances in Knowledge Management Book Series. IGI Global (in print)

    Google Scholar 

  7. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Coulson, G., Blair, G.S., Grace, P., Taïani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst. 26(1) (2008)

    Google Scholar 

  9. de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  10. Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A component framework for system modeling based on high-level replacement systems. Software and System Modeling 3(2), 114–135 (2004)

    Article  Google Scholar 

  11. Fiadeiro, J.L.: Categories for Software Engineering. Springer (2004)

    Google Scholar 

  12. Fiadeiro, J.L., Lopes, A.: A Model for Dynamic Reconfiguration in Service-Oriented Architectures. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 70–85. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  13. Fiadeiro, J.L., Lopes, A.: An Interface Theory for Service-Oriented Design. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 18–33. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  14. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  15. Fiadeiro, J.L., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding. Formal Asp. Comput. 23(4), 433–463 (2011)

    Article  Google Scholar 

  16. Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria Reference Modelling Language. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA Project. LNCS, vol. 6582, pp. 61–114. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  17. Fiadeiro, J., Sernadas, A.: Structuring Theories on Consequence. In: Sannella, D., Tarlecki, A. (eds.) Abstract Data Types 1987. LNCS, vol. 332, pp. 44–72. Springer, Heidelberg (1988)

    Chapter  Google Scholar 

  18. Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc Programming Language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Kon, F., Costa, F.M., Blair, G.S., Campbell, R.H.: The case for reflective middleware. Commun. ACM 45(6), 33–38 (2002)

    Article  Google Scholar 

  20. Léger, M., Ledoux, T., Coupaye, T.: Reliable Dynamic Reconfigurations in a Reflective Component Model. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol. 6092, pp. 74–92. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  22. OSOA. Service component architecture: Building systems using a service oriented architecture (2005), White paper available from http://www.osoa.org

  23. Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Analysis and applications of timed service protocols. ACM Trans. Softw. Eng. Methodol. 19(4), 11:1–11:38 (2010)

    Google Scholar 

  24. Reisig, W.: Towards a Theory of Services. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 271–281. Springer, Heidelberg (2008)

    Google Scholar 

  25. van der Aalst, W., Beisiegel, M., van Hee, K., Konig, D.: An SOA-based architecture framework. Journal of Business Process Integration and Management 2(2), 91–101 (2007)

    Article  Google Scholar 

  26. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Sciences, University of Lisbon, Campo Grande, 1749–016, Lisboa, Portugal

    Antónia Lopes

  2. Department of Computer Science, Royal Holloway University of London, Egham, TW20 0EX, UK

    José Luiz Fiadeiro

Authors
  1. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technical University of Berlin, Franklinstr. 28/29, 10587, Berlin, Germany

    Hartmut Ehrig

  2. University of Paderborn, Zukunftsmeile 1, 33102, Paderborn, Germany

    Gregor Engels

  3. Department of Computer Science, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Hans-Jörg Kreowski

  4. Leiden Center for Natural Computing, Leiden University, LCNC - LIACS, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lopes, A., Fiadeiro, J.L. (2012). A Graph-Based Design Framework for Services. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Graph Transformations. ICGT 2012. Lecture Notes in Computer Science, vol 7562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33654-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33654-6_1

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation