Temporal logics and their applications
Temporal logics and their applications
The RAISE specification language
The RAISE specification language
Realtime systems
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Reified Temporal Logics: An Overview
Artificial Intelligence Review
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
Building a Dependable Messaging Infrastructure for Electronic Government
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Hi-index | 0.00 |
Prioritising strategic plan executions and determining the most appropriate models and architectures for IT plans, as well as temporally sequencing and reconfiguring the latter for optimal solutions, can be tough without a supporting tool. This article therefore proposes a model where strategic plans are simple processes whose basic actions are events that change the states of institutional components and alter organisational structure. Therein, the strategic planning process, plan execution, and routine daily tasks are carried out, conceptually, in the same manner. Furthermore, the plans themselves may be reconfigured or modified according to changing organisational and architectural models for IT activities. The work assumes a formal model of time that enables one to track institutional transformations over time. Hence, the model underpins IT governance issues and tool support to investigate possible future scenarios of what could happen, analyse past activities of what happened, or just perform routine duties.