Formal semantics of agent evolution in language flage

Yasuyuki Tahara, Fumihiro Kumeno, Akihiko Ohsuga, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 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.

Original languageEnglish
Title of host publicationObject-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers
PublisherSpringer-Verlag
Pages329-348
Number of pages20
ISBN (Print)9783540614876
Publication statusPublished - 1996 Jan 1
Externally publishedYes
EventFrance-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC 1995 - Tokyo, Japan
Duration: 1995 Jun 211995 Jun 23

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1107
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherFrance-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC 1995
CountryJapan
CityTokyo
Period95/6/2195/6/23

Fingerprint

Formal Semantics
Semantics
Computer software reusability
Autonomous agents
Software architecture
Software engineering
Specifications
Software Reuse
Automatic Verification
Software Components
Software Architecture
Adaptability
Object-oriented
Software Development
Language
Concurrent
Programming
Specification
Software
Necessary

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Tahara, Y., Kumeno, F., Ohsuga, A., & Honiden, S. (1996). Formal semantics of agent evolution in language flage. In Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers (pp. 329-348). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1107). Springer-Verlag.

Formal semantics of agent evolution in language flage. / Tahara, Yasuyuki; Kumeno, Fumihiro; Ohsuga, Akihiko; Honiden, Shinichi.

Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers. Springer-Verlag, 1996. p. 329-348 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1107).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tahara, Y, Kumeno, F, Ohsuga, A & Honiden, S 1996, Formal semantics of agent evolution in language flage. in Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1107, Springer-Verlag, pp. 329-348, France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC 1995, Tokyo, Japan, 95/6/21.
Tahara Y, Kumeno F, Ohsuga A, Honiden S. Formal semantics of agent evolution in language flage. In Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers. Springer-Verlag. 1996. p. 329-348. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Tahara, Yasuyuki ; Kumeno, Fumihiro ; Ohsuga, Akihiko ; Honiden, Shinichi. / Formal semantics of agent evolution in language flage. Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers. Springer-Verlag, 1996. pp. 329-348 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{3f040e218e8447d4932104fe90f0d606,
title = "Formal semantics of agent evolution in language flage",
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 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.",
author = "Yasuyuki Tahara and Fumihiro Kumeno and Akihiko Ohsuga and Shinichi Honiden",
year = "1996",
month = "1",
day = "1",
language = "English",
isbn = "9783540614876",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "329--348",
booktitle = "Object-Based Parallel and Distributed Computation - France-Japan Workshop, OBPDC 1995, Selected Papers",

}

TY - GEN

T1 - Formal semantics of agent evolution in language flage

AU - Tahara, Yasuyuki

AU - Kumeno, Fumihiro

AU - Ohsuga, Akihiko

AU - Honiden, Shinichi

PY - 1996/1/1

Y1 - 1996/1/1

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

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

PB - Springer-Verlag

ER -