Title :
A Formal Framework for Policy-Governed Institutional Agency
Author :
Cai, Guoyong ; Qian, Junyan ; Gao, Ji ; Huang, Yong
Author_Institution :
Sch. of Comput. & Control, Guilin Univ. of Electron. Technol., Guilin
Abstract :
Policy is a flexible mechanism to deal with complex coordination and management of organizational elements in an open system environment. A formal specification framework is proposed for such a kind of system called policy-governed institutional agency. The formal framework includes: an abstract architecture, a formal institutional model, and a formal specification language for this type of systems. The concrete syntax and semantics of the formal specification language are given. The core of the framework has been implemented in a prototype environment.
Keywords :
computational linguistics; formal specification; legislation; open systems; organisational aspects; specification languages; abstract architecture; complex coordination; concrete semantics; concrete syntax; formal framework; formal institutional model; formal specification framework; formal specification language; open system environment; organizational elements; policy-governed institutional agency; Computer architecture; Computer science; Concrete; Conference management; Control systems; Environmental management; Formal specifications; Software engineering; Specification languages; Technology management; formal framework; institutional agency; policy;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.1033
