Title :
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
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;
Conference_Titel :
Autonomous Decentralized Systems, 1993. Proceedings. ISADS 93., International Symposium on
Conference_Location :
Kawasaki
Print_ISBN :
0-8186-3125-2
DOI :
10.1109/ISADS.1993.262714
