A requirements language for autonomous decentralized systems development

Author

Tsai, Jeffrey J P

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

fYear

1993

fDate

1993

Firstpage

115

Lastpage

121

Abstract

A framework for developing autonomous decentralized systems (ADSs) using a frame-and-rule oriented requirements language (FRORL), is presented. FRORL is a logic-based requirements specification language and serves multiple roles for specifying users´ requirements, for representing development knowledge, and for knowledge communications among decentralized autonomous agents. Using the machinery of Horn-clause logic, various properties of an autonomous decentralized system specified in FRORL can be analyzed. The specifications represented in FRORL can also be transformed into various kinds of logic-based or procedural programming languages. Through a FRORL development methodology, the design and implementation of autonomous decentralized systems can be easily achieved

Keywords

Horn clauses; distributed processing; knowledge based systems; knowledge representation; logic programming; specification languages; FRORL; Horn-clause logic; autonomous decentralized systems; frame-and-rule oriented requirements language; logic-based requirements specification language; procedural programming languages; Autonomous agents; Computer languages; Debugging; Design methodology; Guidelines; Knowledge representation; Logic programming; Machinery; Specification languages; User interfaces;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems, 1993. Proceedings. ISADS 93., International Symposium on

Conference_Location

Kawasaki

Print_ISBN

0-8186-3125-2

Type

conf

DOI

10.1109/ISADS.1993.262714

Filename

262714