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 :
بازگشت