Abstract | ||
---|---|---|
Goal-oriented requirements engineering methodologies have been suggested as an alternative to address the policy refinement paradigm. Moreover, practical approaches that capture the administrative and technical requirements to make policy refinement a systematic process are still missing although such integrated solutions :ire rather convenient to make policy-based management systems really useful. In this paper, we present GOREMOCH, a goal-oriented policy refinement environment grounded in goal-oriented requirements engineering methodologies, linear temporal logic and reactive systems analysis techniques. We describe the rationale of this integrated solution and the necessary mechanisms to achieve policy refinement in a systematic manner. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/NOMS.2006.1687654 | NOMS |
Keywords | Field | DocType |
reactive system,distributed processing,linear temporal logic,temporal logic,tellurium,goal orientation | Systematic process,Software engineering,Goal orientation,Computer science,Requirements engineering,Linear temporal logic,Temporal logic,Reactive system,Management system,Management science,Distributed computing | Conference |
ISSN | ISBN | Citations |
1542-1201 | 1-4244-0142-9 | 0 |
PageRank | References | Authors |
0.34 | 7 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Javier Rubio-Loyola | 1 | 202 | 23.17 |
Joan Serrat | 2 | 1262 | 103.04 |
Marinos Charalambides | 3 | 227 | 21.53 |
Paris Flegkas | 4 | 286 | 24.02 |
George Pavlou | 5 | 1903 | 157.00 |