Process algebras as support for sustainable systems of services | Applicable Algebra in Engineering, Communication and Computing Skip to main content

Advertisement

Springer Nature Link
Log in

Process algebras as support for sustainable systems of services

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract

Process algebras are indispensable tools in modeling concurrent processes in theoretical computer science. We propose a novel use of process algebra as a back-bone in designing and maintaining complex open distributed information systems. Our π-calculus approach allows us to create and maintain service based mission oriented tasks with intended behaviors and with support for observing and maintaining mission critical systemic criteria.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Abadi, M., Gordon A.: A calculus for cryptographic protocols. The spi calculus. Inf. and Computation, 148(1), 1–70, (1999)

    Google Scholar 

  2. Akkermans, J.M., Ygge, F., Gustavsson, R.: HOMEBOTS: Intelligent Decentralized Services for Energy Management. In: Schreinemakers, J.F. (ed.) Knowledge Management: Organization, Competence and Methodology, Ergon Verlag, Wuerzburg, D (1996)

  3. Akkermans, J.M., Gustavsson, R., Ygge, F.: Structured Engineering Process for Agent Communication Modelling. In Knowledge Engineering and Agent Technology, IOS Press (2000)

  4. Antoniou, G., van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cooperative Information Systems series (2004)

  5. Berman, B., Fox, G.C., Hey, A. (eds.).: Grid Computing. Making the Global Infrastructure a Reality. John Wiley& Sons (2003)

  6. Cardelli, l., Gordon, A.: Mobile ambients: foundations of system specifications and computation structures. Lecture notes in Computer Science, 1378, pp. 140–155, Springer, Berlin Heidelberg New York (1988)

  7. Denning, P.,J.: The Field of Programmers Myth. Communications of the ACM, 47(7), 15–20 (2004)

    Google Scholar 

  8. d’ Inverno, M., Luck, M.: Understanding Agent Systems. Springer Verlag, 2nd ed (2004)

  9. d’Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems, 9(1/2), 5–53 (2004)

  10. van Eijk, R M., de Boer, F. S., der Hoek, W., Meyer, J-J. C.: Process Algebra for Agent Communication: A General Semantic Approach. (Huget, M-P., ed.) Communication in Multiagent Systems. Agent Communication Languages and Conversation Policies, LNAI 2650, pp. 113–128 Springer, Berlin Heidelberg New York (2003)

  11. Fokkink, W.: Introduction to Process Algebra, Texts in Theoretical Computer Science, ETACS, Springer, Berlin Heidelberg New York (2000)

  12. Foster, I., Kesselman, C. (eds.) The GRID 2. Blueprint for a new computing infrastructure. Morgan Kaufmann Publishers (2004)

  13. Fredriksson, M., Gustavsson, R.: Online engineering and open computational systems. In: Bergenti, F., Gleizes, M., Zambonelli, F. (eds.) Methodologies and software engineering for agent systems. Kluwer Academic Publishers (2003)

  14. Fredriksson, M., Gustavsson, R., Ricci, A.: Sustainable coordination. In: Klusch, M., Bergamaschi, S., Edwards, P., Petta, P. (eds.) Intelligent information agents: The AgentLink perspective, Lecture notes in artificial intelligence (LNAI), 2586, pp. 203–233, Springer, Berlin Heidelberg New York (2003)

  15. Fredriksson, M.: Online Engineering. On the nature of open computational systems. Dissertation Series No. 2004: 05, School of Engineering, Blekinge Institute of Technology (2004)

  16. Glass, R. L. (Guest editor): The State of the Practice of Software Engineering. Special issue of IEEE Software, November/December 2003, pp. 20–83

  17. Gordon, D., Jeffrey, A.: Typing One-to-One and One-to-Many correspondences in Security Protocols. (Okada, M, Pierce, b., Scedrov, A., Tokuda, H., Yonezawa, A., eds.) Software Security – Theories and Systems, LNCS 2609, pp. 263–282 Springer, Berlin Heidelberg New York (2002)

  18. Gustavsson, R.: Agents with Power. Invited paper, in Communications of the ACM, 42(3), 41–47 (1999)

    Google Scholar 

  19. Gustavsson, R., Krejic, M.: Enabling technologies supporting energy related services and products in networked smart homes. In: Akkermans, H., Ottosson, H. (eds.): The KEES Project. Energy Efficiency in a Deregulated Market. ISBN: 91-9753567-2-7, pp. 89–119 EnerSearch AB (1999)

  20. Gustavsson, R., Fredriksson, M.: Humans and complex systems: Sustainable information societies. In: Olsson, M. O., Sjöstedt, G. (eds.) Revealing complex structures: Challenges for Swedish systems analysis. Kluwer Academic Publishers (2003)

  21. Gustavsson, R., Fredriksson, M.: Sustainable information ecosystems. In: Garcia, A., Lucena, C., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software engineering for large-scale multi-agent systems: Research issues and practical applications, Lecture notes in computer science (LNCS), 2603, pp. 127–142, Springer, Berlin Heidelberg New York (2003)

  22. Hinchey, M. G., Rash, J. L., Truszkowski, W. T., Rouff, C., Gordon-Spears, D. (eds.). Formal Approaches to Agent-Based Systems, Springer Verlag LNAI 2699 (2003)

  23. Huhns, M.N.: Software Agents: The Future of Web Services. Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002 LNAI 2592, pp. 1–18 Springer, Berlin Heidelberg New York (2002)

  24. Kowalczyk, R., Muller, J., Tianfield, H., Unland, R. (eds.): Agent Technologies, Infrastructures, Tools, and Applications for E-Services, Springer Verlag LNAI 2592 (2003)

  25. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press (2001)

  26. Luck, M., Ashari, R., d’Inverno, M.: Agent-Based Software Development. Artech House Publishers (2004)

  27. Papazoglou, M.P., Georgakopoulos, D.: (Guest editors). Service-Oriented Computing. Special issue of Communications of the ACM, 46(10), 25–60 (2003)

    Google Scholar 

  28. Pierce, B., Turner, D.: PICT: A programming language based on the Pi-calculus. In: Plotkin, G, Sterling, C, and Tofte, M. (eds.) Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press (1998)

  29. Rindebäck, C., Gustavsson, R.: Why Trust is Hard – Challenges in e-mediated Services. In Proceedings of Workshop on Trust in Agent Societies, AAMAS 04, Springer, Berlin Heidelberg New York (2005)

  30. Sangiorgi, D., Walker D.: The π-calculus: A Theory of Mobile Processes. Cambridge University Press (2001)

  31. Shapiro, S. C. (ed.): Encyclopedia of Artificial Intelligence. Wiley Interscience, 1992

  32. Steels, L., McDermott, J.: The Knowledge Level in Expert Systems. Conversations and commentary, Academic Press Inc. (1993)

  33. Turing, A.M.: On computable numbers, with an application to the Entscheidungs-problem. Proceedings of London Mathematical Society, Ser. 2, 42, 230–265 (1936)

    Google Scholar 

  34. Turing, A.M.: Proposed Electronic Calculator. National Physical Laboratory Report, 1946

  35. Ushold, M.: Where Are the Semantics in the Semantic Web? AI Magazine, 24(3), 25–36 Fall (2003)

  36. Walker, D.: Objects in the π-calculus. Inf. and Comput. 115, 253–271 (1995)

    Article  Google Scholar 

  37. Weltyy, C.: (Guest editor). Ontology Research. Special issue of AI Magazine 24(3), 11–92 Fall (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Societies of Computation, School of Engineering, Blekinge Institute of Technology, Box 520, Ronneby 7, Sweden

    Rune Gustavsson & Martin Fredriksson

Authors
  1. Rune Gustavsson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Fredriksson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rune Gustavsson.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gustavsson, R., Fredriksson, M. Process algebras as support for sustainable systems of services. AAECC 16, 179–203 (2005). https://doi.org/10.1007/s00200-005-0175-y

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-005-0175-y

Keywords

Search

Navigation