Intention is choice with commitment
Artificial Intelligence
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
OMEGA: a language and system for on-line monitoring of software-intensive processes
ACM SIGSOFT Software Engineering Notes
Software's Future: Managing Evolution
IEEE Software
Towards Requirements for Enactment Mechanisms
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
Advanced Services for Process Evolution: Monitoring and Decision Support
EWSPT '00 Proceedings of the 7th European Workshop on Software Process Technology
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
| Hi-index | 0.00 |
Due to distribution, complexity, heterogeneity and time consumption of nowadays processes, interaction of process elements has become a key issue to monitor. Process support environments are required that allow the process manager (typically a project manager) to continuously receive information from the enacting process (the subject process) in order to detect both problematic situations such as deviations with regard to interactions that are considered as valid and "improvable" situations where better use can be done of project resources. This position paper claims that to this problem, logic-based approaches represent a suitable solution. A formalism for defining interaction monitoring models and the interaction management system that enact them are briefly presented. The industrial relevance of this work is currently being demonstrated in the framework of the PIE ESPRIT IV 34840 LTR Project.