A requirements language for autonomous decentralized systems development
Jeffrey J. P. Tsai · 2002
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.>