[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Formal Modelling of a Coordination System: From Practice to Theory, and Back Again

  • Conference paper
Engineering Societies in the Agents World VII (ESAW 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4457))

Included in the following conference series:

  • 375 Accesses

Abstract

In this work, we report an experience that illustrates the interplay between formal methods and real software development. Starting from a Web-enable Coordination Service (WCS) based on JavaSpaces technology which had been successfully used in an industrial project, we built a formal model for the system in order to study its properties; specifically, our aim was to prove that Linda semantics was preserved in several layers of complex mappings from XML documents to Java objects. Once this objective was achieved (at least in a simplified, idealistic version), we observed several possibilities of extending the coordination system at the model level. In particular, we identified that it was possible to enhance the formal model with transactional capabilities, taking advantage of the similarity of our model to rule-based systems. At present, we are working on the translation of this theoretical result to practice, in order to improve our Web Coordination Service.

Partially supported by Comunidad Autónoma de La Rioja, project ANGI2005/19, and Ministerio de Educación y Ciencia, projects MTM2006-06513, TIN2006-13301.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)

    Google Scholar 

  2. Vinoski, S.: Putting the Web into Web Services. Web Services Interaction Models, Part 2. IEEE Internet Computing 6(4), 90–92 (2002)

    Article  Google Scholar 

  3. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: A System of Patterns. Wiley, Chichester (1996)

    Google Scholar 

  4. Álvarez, P., Bañares, J.A., Muro-Medrano, P.: An Architectural Pattern to Extend the Interaction Model between Web-Services: The Location-Based Service Context. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 271–286. Springer, Heidelberg (2003)

    Google Scholar 

  5. Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)

    Article  MATH  Google Scholar 

  6. Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32(4), 444–458 (1989)

    Article  Google Scholar 

  7. Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces. Principles, Patterns, and Practice. Addison-Wesley, London, UK (1999)

    Google Scholar 

  8. Viroli, M., Ricci, A.: Tuple-Based Coordination Models in Event-Based Scenarios. In: IEEE 22nd International Conference on Distributed Computing Systems (ICDCS 2002 Workshops) - DEBS 2002 International Workshop on Distributed Event-Based Sytem, Vienna, Austria (2002)

    Google Scholar 

  9. Busi, N., Gorrieri, R., Zavattaro, G.: A Process Algebraic View of Linda Coordination Primitives. Theoretical Computer Science 192(2), 167–199 (1998)

    Article  MATH  Google Scholar 

  10. Busi, N., Gorrieri, R., Zavattaro, G.: Process Calculi for Coordination: from Linda to JavaSpaces. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Cabrera, F., Coopeland, G., Freund, T., Klein, J., Langworthy, D., Orchand, D., Schewchuk, J., Storey, T.: Web Service Coordination (WS-Coordination). Technical report, IBM & Microsoft Corporation & BEA System (2002)

    Google Scholar 

  12. Bunting, D., Chapman, M., Hurley, O., Little, M., MischKinsky, J., Newcomer, E., Webber, J., Swenson, K.: Web Service Coordination Framework (WS-CF). Technical report, Arjuna Technologies & Fujitsu Limited & IONA Technologies & Sun Microsystems & Oracle Corporation (2004)

    Google Scholar 

  13. Bettini, L., Nicola, R.D.: A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2002. LNCS, vol. 2604, pp. 175–184. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  14. Lucchi, R., Zavattaro, G.: WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications. In: SAC 2004. Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 487–491 (2004)

    Google Scholar 

  15. Tolksdorf, R.: Workspaces: a Web-based Workflow Management System. IEEE Internet Computing 6(5), 18–26 (2002)

    Article  Google Scholar 

  16. Davies, N., Friday, A., Wade, S.P., Blair, G.: L2imbo: A distributed systems platform for mobile computing. Mobile Networks and Applications 3(2), 143–156 (1998)

    Article  Google Scholar 

  17. Picco, G., Murphy, A., Roman, G.: LIME: Linda Meets Mobility. In: Garlan, D., Kramer, J. (eds.) ICSE 1999. Proceedings of the 21st International Conference on Software Engineering, pp. 368–377. ACM Press, New York (1999)

    Google Scholar 

  18. Álvarez, P., Bañares, J.A., Mata, E., Muro-Medrano, P., Rubio, J.: Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. In: Moreno-Díaz Jr., R., Pichler, F. (eds.) EUROCAST 2003. LNCS, vol. 2809, pp. 231–242. Springer, Heidelberg (2003)

    Google Scholar 

  19. Álvarez, P., Bañares, J.A., Muro-Medrano, P., Nogueras, J., Zarazaga, F.: A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context. In: Guelfi, N., Astesiano, E., Reggio, G. (eds.) FIDJI 2002. LNCS, vol. 2604, pp. 1–14. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Bravetti, M., Gorrieri, R., Lucci, R., Zavattaro, G.: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 55–70. Springer, Heidelberg (2004)

    Google Scholar 

  21. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 16(1), 39–50 (1990)

    Google Scholar 

  22. Kappel, G., Lang, P., Rausch-Schott, S., Retschitzegger, W.: Workflow Management Based on Objects, Rules, and Roles. Data Engineering Bulletin 18(1), 11–18 (1995)

    Google Scholar 

  23. Bonifati, A., Ceri, S., Paraboschi, S.: Pushing reactive services to XML repositories using active rules. In: The Tenth internatinional World Wide Web conference on World Wide Web, Hong Kong, pp. 633–641. ACM Press, New York (2001)

    Chapter  Google Scholar 

  24. Jensen, K., Rozenberg, G. (eds.): High-level Petri Nets. Springer, Heidelberg (1991)

    MATH  Google Scholar 

  25. Mata, E., Álvarez, P., Bañares, J.A., Rubio, J.: Towards and Efficient Rule-Based Coordination of Web Services. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 73–82. Springer, Heidelberg (2004)

    Google Scholar 

  26. Valette, R., Bako, B.: Software Implementation of Petri Nets and Compilation of Rule-based Systems. In: 11th International Conference on Application and Theory of Petri Nets, Paris (1990)

    Google Scholar 

  27. Muro-Medrano, P.R., Bañares, J.A., Villarroel, J.L.: Knowledge representation-oriented nets for discrete event system applications. IEEE Trans. on Systems, Man and Cybernetics - Part A 28(2), 183–198 (1998)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemáticas y Computación, Universidad de La Rioja, Edificio Vives, Luis de Ulloa s/n, E-26004 Logroño (La Rioja, Spain),  

    Eloy J. Mata & Julio Rubio

  2. Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, María de Luna 3, E-50015 Zaragoza, Spain

    Pedro Álvarez & José A. Bañares

Authors
  1. Eloy J. Mata
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pedro Álvarez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José A. Bañares
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Julio Rubio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gregory M. P. O’Hare Alessandro Ricci Michael J. O’Grady Oğuz Dikenelli

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mata, E.J., Álvarez, P., Bañares, J.A., Rubio, J. (2007). Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds) Engineering Societies in the Agents World VII. ESAW 2006. Lecture Notes in Computer Science(), vol 4457. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75524-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75524-1_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75522-7

  • Online ISBN: 978-3-540-75524-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation