Skip to main content
SpringerLink
Log in

Formal semantics of agent evolution in language flage

  • Software Management
  • Conference paper
  • First Online:
Book cover Object-Based Parallel and Distributed Computation (OBPDC 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1107))

  • 150 Accesses

Abstract

In this paper, we propose new concepts, Evolutional Agents and Field Oriented Programming. The main purpose of the work is to provide a framework for building software which adapts to changes of requirements autonomously.

Such adaptability is essential in open networks. Meanwhile in networks, many free applications exist and have a great potential for software reuse. We focus on the point and incorporated concurrent object oriented model with meta-architecture and a concept called field. In our model, evolutional agents are autonomous objects with meta-architecture which adapts to changes by acquiring components scattered over networks as their own functions. Fields are receptacles of software components in networks. Agents evolve into adaptive ones by moving among fields and acquiring components from the fields.

Flage language is a framework for describing such a software architecture. Moreover, formal semantics of agent evolution in Flage is proposed because it is necessary to rigorous verification of specifications and programs in software development in practical situations of industrial fields. The semantics of Flage is based on an algebraic framework to enable automatic verification procedures.

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.

References

  1. G. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  2. S. Chiba and T. Masuda. Designing and Extensive Distributed Language with Meta-Level. In ECOOP'93, pp.482–501, 1993.

    Google Scholar 

  3. O. Danvy and K. Malmkjær. Intentions and extensions in a reflective tower. In Proc. of 1988 ACM Conference on Lisp and Functional Programming, pp. 327–341, 1988.

    Google Scholar 

  4. A. Davis. The digital valet, or Jeeves goes online. In EDUCOM Rev, vol.29, no.3, pp.44–46, 1994.

    Google Scholar 

  5. J. Ferber. Computational Reflection in Class based Object Oriented Language. In OOPSLA'89, pp.317–326, 1989.

    Google Scholar 

  6. D. Friedman and M. Wand. Reification: Reflection without metaphysics. In Proc. 1984 ACM Conference on Lisp and Functional Programming, pp. 348–355, 1984.

    Google Scholar 

  7. M. Kurihara and A. Ohuchi. An algebraic specification and an object-oriented implementation of a reflective language. In A. Yonezawa and B. C. Smith, editors, Reflection And Meta-Level Architecture, Proceedings of the International Workshop on New Models for Software Architecture, pp. 137–142, 1992.

    Google Scholar 

  8. H. Lieberman. Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems. In OOPSLA '86, pp.214–223, 1986.

    Google Scholar 

  9. J. Meseguer. Rewriting as a unified model of concurrency. In Proceedings of the CONCUR'90 Conference, Amsterdam, August 1990, LNCS 458, pp. 384–400, 1990.

    Google Scholar 

  10. P. Maes. Concepts and Experiments in Computational Reflection. In OOPSLA '87, pp.147–155, 1987.

    Google Scholar 

  11. S. Nakajima. What makes a language reflective and how? In A. Yonezawa and B. C. Smith, editors, Reflection And Meta-Level Architecture, Proceedings of the International Workshop on New Models for Software Architecture, pp. 125–136, 1992.

    Google Scholar 

  12. H. Okamura and et al. Metalevel Decomposition in AL-1/D. In Object Technologies for Advanced Software, LNCS742, pp.110–127, 1993.

    Google Scholar 

  13. B. C. Smith. Reflection and semantics in lisp. In Proc. POPL'84, pp. 23–35, 1984.

    Google Scholar 

  14. M. Wand and D. Friedman. The mystery of the tower revealed: A nonreflective description of the reflective tower. In P. Maes and D. Nardi, editors, Meta-Level Architectures and Reflection, pp. 111–134. North-Holland, 1988.

    Google Scholar 

  15. T. Watanabe and A. Yonezawa. Reflection in an Object-Oriented Concurrent Language. In OOPSLA'88, pp.306–315, 1988.

    Google Scholar 

Download references

Author information

Author notes

  1. Akihiko Ohsuga

    Present address: Toshiba Corp., Japan

Authors and Affiliations

  1. Information-Technology Promotion Agency, Japan (IPA)

    Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga & Shinichi Honiden

  2. Shuwa-Shibakoen 3-Chome Bldg., 3-1-38 Shibakoen, Minato-Ku, 105, Tokyo, Japan

    Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga & Shinichi Honiden

  3. Toshiba Corp., Japan

    Yasuyuki Tahara & Shinichi Honiden

  4. Mitsubishi Research Institute, Japan

    Fumihiro Kumeno

Authors
  1. Yasuyuki Tahara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fumihiro Kumeno
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Akihiko Ohsuga
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shinichi Honiden
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Akihiko Ohsuga .

Editor information

Jean-Pierre Briot Jean-Marc Geib Akinori Yonezawa

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tahara, Y., Kumeno, F., Ohsuga, A., Honiden, S. (1996). Formal semantics of agent evolution in language flage. In: Briot, JP., Geib, JM., Yonezawa, A. (eds) Object-Based Parallel and Distributed Computation. OBPDC 1995. Lecture Notes in Computer Science, vol 1107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61487-7_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-61487-7_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61487-6

  • Online ISBN: 978-3-540-68672-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation