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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/CSSE.2008.1033 | CSSE (3) |
Keywords | Field | DocType |
open system,computational linguistics,computational modeling,formal specifications,computer architecture,business,formal specification,open systems | Specification language,Institutional model theory,Computer science,Knowledge management,Object language,Formal specification,Grammar systems theory,Refinement,Formal methods,Semantics,Distributed computing,Process management | Conference |
Volume | Issue | Citations |
3 | null | 0 |
PageRank | References | Authors |
0.34 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guoyong Cai | 1 | 51 | 14.50 |
Junyan Qian | 2 | 53 | 23.00 |
Ji Gao | 3 | 19 | 8.29 |
Yong Huang | 4 | 4 | 2.47 |