TY - GEN
T1 - Formal semantics of agent evolution in language flage
AU - Tahara, Yasuyuki
AU - Kumeno, Fumihiro
AU - Ohsuga, Akihiko
AU - Honiden, Shinichi
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
N2 - 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 recta-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.
AB - 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 recta-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.
UR - http://www.scopus.com/inward/record.url?scp=84949512406&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949512406&partnerID=8YFLogxK
U2 - 10.1007/3-540-61487-7_36
DO - 10.1007/3-540-61487-7_36
M3 - Conference contribution
AN - SCOPUS:84949512406
SN - 9783540614876
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 329
EP - 348
BT - Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers
A2 - Briot, Jean-Pierre
A2 - Geib, Jean-Marc
A2 - Yonezawa, Akinori
PB - Springer Verlag
T2 - France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC 1995
Y2 - 21 June 1995 through 23 June 1995
ER -