DocumentCode
3236420
Title
Combining logical agents with rapid prototyping for engineering distributed applications
Author
Dart, Philip ; Kazmierczak, Ed ; Sterling, Leon ; Martelli, Maurizio ; Mascardi, Viviana ; Zini, Floriano ; Subrahmanian, V.S.
Author_Institution
Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia
fYear
1999
fDate
1999
Firstpage
40
Lastpage
49
Abstract
The realization of new distributed and heterogeneous software applications is a challenge that software engineers have to face. Logic programming and multi-agent systems can play a very effective role in the rapid prototyping of new software products. This paper proposes a general approach to the prototyping of complex and distributed applications modelled as multi-agent systems and outlines the autonomous research experiences of different research groups from which the approach originates. All the experiences have logic programming as the common foundation and deal with different aspects of the problem: integration of heterogeneous data and reasoning systems, animation of formal specifications and the development of agent-based software. The final goal is joining these diverse experiences into a unique open framework
Keywords
distributed programming; formal specification; logic programming; multi-agent systems; software prototyping; agent-based software development; distributed applications; formal specifications animation; heterogeneous data integration; heterogeneous software applications; logic programming; logical agents; multi-agent systems; new software products; open framework; rapid prototyping; reasoning systems; research experiences; software engineering; Animation; Application software; Computer science; Design engineering; Logic programming; Multiagent systems; Prototypes; Software engineering; Software prototyping; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Technology and Engineering Practice, 1999. STEP '99. Proceedings
Conference_Location
Pittsburgh, PA
Print_ISBN
0-7695-0328-4
Type
conf
DOI
10.1109/STEP.1999.798478
Filename
798478
Link To Document