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

Volume

3

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

437

Lastpage

440

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.1033

Filename

4722378