Skip to main content
Springer Nature Link
Log in

Managing consistency in cooperating software processes

  • Section 3: Position Papers
  • Conference paper
  • First Online:
Software Process Technology (EWSPT 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1487))

Included in the following conference series:

  • 113 Accesses

Abstract

Software engineering involves both engineers and software tools that cooperatively carry out long-running and distributed process elements in order to achieve project goals. In such an environment, managing interactions of process elements is a key issue that affects the consistency of the enacting process as a whole. This position paper argues that logic-based formalisms represent a suitable and powerful solution to this problem. It briefly presents a modal logic-based formalism and a multi-agent system for modeling and enacting cooperative processes while managing their consistency during enactment.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Lehman, M.M.: Software's Future: Managing Evolution. IEEE Software, vol. 15 no. 1, IEEE Computer Society, January/February 1998.

    Google Scholar 

  2. Dowson, M.: Consistency Maintenance in Process Sensitive Environments. Proceedings of the Process Sensitive SEE Architectures Workshop, Boulder, September 1992.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Arbaoui, S., Oquendo, F.: PEACE: Goal-oriented Logic-based Formalism for Process Modeling. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, London, 1994.

    Google Scholar 

  5. Alloui, I., Arbaoui, S., Oquendo, F.: Process Centered Environments: Support for Human-Environment Interaction and Environment-mediated Human Cooperation. Proceedings of the 9th International Software Process Workshop (ISPW9), Airlie, Virginia, September 1994, IEEE Computer Society.

    Google Scholar 

  6. Alloui, I., Oquendo, F.: Peace+: a mints-agent system for computer-supported cooperative work in Software Process Centered Environments. Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE'96), Nevada, June 1996.

    Google Scholar 

  7. Austin, J. L.: How to Do Things with Words. Cambridge, Harvard University Press, 1962.

    Google Scholar 

  8. Searle, J. R.: Sens et expression — Etudes de théorie des actes du langage. Les Editions de Minuit, 1979 (in french).

    Google Scholar 

  9. Winograd, T., Flores, F.: Understanding Computer and Cognition — A New Foundation for Design, Addison-Wesley Publishing Company, 8th edition, December 1993

    Google Scholar 

  10. Bratman, M. E.: What Is Intention?. Intentions in Communication, P.R. Cohen, J. Morgan and M.E. Pollack (Eds.), M.I.T. Press, Cambridge, 1990.

    Google Scholar 

  11. Cohen, P. R., Levesque, H.J.: Rational interaction as the basis for communication. Intentions in Communication. P.R. Collars, J. Morgan, and M.E. Pollack (Eds.), M.I.T. Press, Cambridge, 1990.

    Google Scholar 

  12. Cohen, P. R., Levesque, H. J.: Intention Is Choice with Commitment. Artificial Intelligence, 42(3), Elsevier Science Publishers (North-Holland), 1990.

    Google Scholar 

  13. Hares, D.: First-Order Dynamic Logic. Springer-Verlag, 1979.

    Google Scholar 

  14. Alloui, I., Latrous, S., Oquendo, F.: A. Multi-Agent Approach for Modeling, Enacting And Evolving Distributed Cooperative Software Processes. Proceedings of the 11th European Workshop on Software Process Technology (EWSPT'96), Nancy, October 1996.

    Google Scholar 

  15. Latrous, S., Oquendo, F.: A Reflective. Multi-Agent System for Software Process Enaction and Evolution. Proceedings of 1st International Conference of Practical Application of Multi-agents systems (PAAM96), London, April 1996.

    Google Scholar 

  16. Debord, B., Oquendo, F.: Global Architecture of the SCALE Advanced Environment. SCALE Deliverable D3.1.1-1, ESPRIT III Project 6334, June 1993.

    Google Scholar 

  17. De Kleer, J.: An Assumption-based TMS. Artificial Intelligence, Vol. 28, No. 2, 1986.

    Google Scholar 

  18. Doyle, J.: A Truth Maintenance System. Artificial Intelligence, No. 12, 1979.

    Google Scholar 

  19. Lizotte, S., Chaib-Draa, B.: Un modèle de raisonnement sur autrui basé sur les graphes causaux. Proceedings of “deuxièmes journées francophones IAD et SMA”, Voiron, May 1994 (in French).

    Google Scholar 

  20. Sichman, J. S., Conte, R.: Un mécanisme de raisonnement social fondé sur des réseaux de dépendance. Proceedings of “deuxièmes journées francophones IAD et SMA”, Voiron, May 1994 (in French).

    Google Scholar 

  21. Estublier, J., Belkhatir, N., Nacer, M., Melo, W.: Process Centered SEE and Adele. Proceedings of the 5th International Workshop on Computer-Aided Software Engineering (CASE'92), IEEE Computer Society Press, Montréal, July 1992.

    Google Scholar 

  22. Belkhatir, N., Estublier, J., Melo, V.: ADELE-TEMPO: An Environment to Support Process Modeling and Enaction. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, 1994.

    Google Scholar 

  23. Canals, G., Boudjlida, N., Derniame, J.C., Godart, C., Lonchamp, J.: ALF: A Framework for Building Process-Centered Software Engineering Environments. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, London, 1994.

    Google Scholar 

  24. Derniame, J.C., Godart, C., Gruhn, V., Lonchamp, J.: Process centered IPSEs in ALF. Proceedings of the 5th International Workshop on Computer-Aided Software Engineering, Montréal, Québec, July 1992.

    Google Scholar 

  25. Godart, C.: Contribution à la modélisation des procédés de fabrication de logiciel: support au travail coopératif. Ph. Thesis, Université de Nancy I, France, January 1993 (in French).

    Google Scholar 

  26. Barghouti, N. S., Kaiser, G.E.: Concurrency in Rule-Based Process-centered Environments. Proceedings of the 7th International Software Process Workshop, Yountville, California, October 1991.

    Google Scholar 

  27. Ben-Shaul, Z., Kaiser, G.: A paradigm for decentralized process modeling and its realization in the Oz environment. Proceedings of the 16th International Conference on Software Engineering, May 1994.

    Google Scholar 

  28. Junkermann, G., Peuschel, B., Schäfer, W., Wolf, S.: MERLIN: Supporting Cooperation in Software Development through a Knowledge-Based Environment. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, London, 1994.

    Google Scholar 

  29. Fernström, C.: PROCESS WEAVER: Adding Process Support to UNIX. Proceedings of the 2nd International Conference on the Software Process, Berlin, February 1993.

    Google Scholar 

  30. Montangero, C., Ambriola, V.: OIKOS: Constructing Process-Centered SDEs. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, London, 1994.

    Google Scholar 

  31. Bandinelli, S., Fuggetta, A., Ghezzi, C., Lavazza, L.: SPADE: An Environment for Software Process Analysis, Design and Enactment. Software Process Modeling and Technology, A. Finkelstein, J. Kramer, B. Nuseibeh (Eds), J. Wiley & Sons, London, 1994.

    Google Scholar 

  32. Cugola, G., Di Nitto, E., Ghezzi, C., Mantione, M.: How to Deal with Deviations during Process Model Enactment. Proceedings of the 17th International Conference on Software Engineering (ICSE 17), Seattle, Washington (USA), April 1995.

    Google Scholar 

  33. Barghouti, N., Krishnamurthy, B.: Using Event Contexts and Matching Constraints to Monitor Software Processes. Proceedings of the 17th International Conference on Software Engineering (ICSE 17), Seattle, Washington (USA), 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ESIA - LLPICESALP Lab, University of Savoie at Annecy, B.P. 806, 74016, Annecy Cedex, France

    Ilham Alloui & Flavio Oquendo

Authors
  1. Ilham Alloui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Flavio Oquendo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Volker Gruhn

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alloui, I., Oquendo, F. (1998). Managing consistency in cooperating software processes. In: Gruhn, V. (eds) Software Process Technology. EWSPT 1998. Lecture Notes in Computer Science, vol 1487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64956-5_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-64956-5_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64956-4

  • Online ISBN: 978-3-540-49907-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation