Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lehman, M.M.: Software’s Future: Managing Evolution. IEEE Software, vol. 15 no. 1, IEEE Computer Society, January/February 1998.
Dowson, M., Fernström, C.: Towards Requirements for Enactment Mechanisms. Proceedings of the 3rd European Workshop on Software Process Technology (EWSPT’94), Villard de Lans, February 1994.
Cohen, P. R., Levesque, H.J.: Rational interaction as the basis for communication. Intentions in Communication. P.R. Cohen, J. Morgan, and M.E. Pollack (Eds.), M.I.T. Press, Cambridge, 1990.
Cohen, P. R., Levesque, H. J.: Intention Is Choice with Commitment. Artificial Intelligence, 42(3), Elsevier Science Publishers (North-Holland), 1990.
Alloui, I., Oquendo, F.: Definition of the process interaction language. D3.04 Deliverable, PIE LTR ESPRIT IV Project No. 34840, 1999.
User requirements-consolidated version Deliverable, PIE LTR ESPRIT IV Project No. 34840, 1999.
UML Object Constraint Language Specification version 1.1, 1 September 1997.
Doyle, J.: A Truth Maintenance System. Artificial Intelligence, No. 12, 1979.
Cook, J. E., Wolf, A. L.: Toward Metrics for Process Validation. Third International Conference on the Software Process, Virginia, USA, October 1994.
Allen, R., Garlan, G.: Formalizing Architectural Connection. Proceedings of the Sixteenth International Conference on Software Engineering, Sorrento, Italy, May 1994.
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. Proceedings of ACM SIGSOFT’96, Fourth Symposium on the Foundations of Software Engineering (FSE4), San Francisco, October 1996.
Chaudet, C., Oquendo, F.: π-SPACE: A Formal Architecture Description Language based on Process Algebra for Evolving Software Systems. Proceedings of ASE’2000 International Conference on Automated Software Engineering, Grenoble, France, September 2000.
Alloui, I., Beydeda, S., Cîmpan, S., Gruhn, V., Oquendo, F., Schneider, C.: Advanced Services for Process Evolution: Monitoring and Decision Support. Proceedings 7th European Workshop on Software Process Technology. Lecture Notes in Computer Science, Vol. 1780, pp 21–37, Springer Verlag, February 2000.
Cîmpan, S., Oquendo, F.: OMEGA: a language and system for on-line monitoring of software-intensive processes. ACM SIGSOFT Software Engineering Notes, July 2000.
Alloui, I., Oquendo, F.: Supporting Decentralised Software-intensive Processes using Zeta Component-based Architecture Description Language. Proceedings of the 3rd International Conference on Enterprise Information Systems (ICEIS’01), 7-10 July 2001, Setúbal/Portugal. (to appear)
Warboys, B. C., Kawalek, P., Robertson, I., Greenwood, R. M.: Business Information Systems: a Process Approach. McGraw-Hill, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alloui, I., Cîmpan, S., Oquendo, F. (2001). Monitoring Software Process Interactions: A Logic-Based Approach. In: Ambriola, V. (eds) Software Process Technology. EWSPT 2001. Lecture Notes in Computer Science, vol 2077. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45752-6_4
Download citation
DOI: https://doi.org/10.1007/3-540-45752-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42264-8
Online ISBN: 978-3-540-45752-7
eBook Packages: Springer Book Archive