{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:49Z","timestamp":1747810549046},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649564"},{"type":"electronic","value":"9783540499077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64956-5_7","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T17:12:11Z","timestamp":1270487531000},"page":"92-99","source":"Crossref","is-referenced-by-count":3,"title":["Managing consistency in cooperating software processes"],"prefix":"10.1007","author":[{"given":"Ilham","family":"Alloui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Oquendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Lehman, M.M.: Software's Future: Managing Evolution. IEEE Software, vol. 15 no. 1, IEEE Computer Society, January\/February 1998.","DOI":"10.1109\/MS.1998.646878"},{"key":"7_CR2","unstructured":"Dowson, M.: Consistency Maintenance in Process Sensitive Environments. Proceedings of the Process Sensitive SEE Architectures Workshop, Boulder, September 1992."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Dowson, M., Fernstr\u00f6m, C.: Towards Requirements for Enactment Mechanisms. Proceedings of the 3rd European Workshop on Software Process Technology (EWSPT'94), Villard de Lans, February 1994.","DOI":"10.1007\/3-540-57739-4_13"},{"key":"7_CR4","volume-title":"Software Process Modeling and Technology","author":"S. Arbaoui","year":"1994","unstructured":"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."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/ISPW.1994.512778"},{"key":"7_CR6","unstructured":"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."},{"key":"7_CR7","volume-title":"How to Do Things with Words","author":"J. L. Austin","year":"1962","unstructured":"Austin, J. L.: How to Do Things with Words. Cambridge, Harvard University Press, 1962."},{"key":"7_CR8","unstructured":"Searle, J. R.: Sens et expression \u2014 Etudes de th\u00e9orie des actes du langage. Les Editions de Minuit, 1979 (in french)."},{"key":"7_CR9","unstructured":"Winograd, T., Flores, F.: Understanding Computer and Cognition \u2014 A New Foundation for Design, Addison-Wesley Publishing Company, 8th edition, December 1993"},{"key":"7_CR10","volume-title":"Intentions in Communication","author":"M. E. Bratman","year":"1990","unstructured":"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."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.7551\/mitpress\/3839.003.0014"},{"key":"7_CR12","volume-title":"Artificial Intelligence, 42(3)","author":"P. R. Cohen","year":"1990","unstructured":"Cohen, P. R., Levesque, H. J.: Intention Is Choice with Commitment. Artificial Intelligence, 42(3), Elsevier Science Publishers (North-Holland), 1990."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Hares, D.: First-Order Dynamic Logic. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-09237-4"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BFb0017747"},{"key":"7_CR15","unstructured":"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."},{"key":"7_CR16","unstructured":"Debord, B., Oquendo, F.: Global Architecture of the SCALE Advanced Environment. SCALE Deliverable D3.1.1-1, ESPRIT III Project 6334, June 1993."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"De Kleer, J.: An Assumption-based TMS. Artificial Intelligence, Vol. 28, No. 2, 1986.","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Doyle, J.: A Truth Maintenance System. Artificial Intelligence, No. 12, 1979.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"7_CR19","unstructured":"Lizotte, S., Chaib-Draa, B.: Un mod\u00e8le de raisonnement sur autrui bas\u00e9 sur les graphes causaux. Proceedings of \u201cdeuxi\u00e8mes journ\u00e9es francophones IAD et SMA\u201d, Voiron, May 1994 (in French)."},{"key":"7_CR20","unstructured":"Sichman, J. S., Conte, R.: Un m\u00e9canisme de raisonnement social fond\u00e9 sur des r\u00e9seaux de d\u00e9pendance. Proceedings of \u201cdeuxi\u00e8mes journ\u00e9es francophones IAD et SMA\u201d, Voiron, May 1994 (in French)."},{"key":"7_CR21","volume-title":"Proceedings of the 5th International Workshop on Computer-Aided Software Engineering (CASE'92)","author":"J. Estublier","year":"1992","unstructured":"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\u00e9al, July 1992."},{"key":"7_CR22","unstructured":"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."},{"key":"7_CR23","unstructured":"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."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"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\u00e9al, Qu\u00e9bec, July 1992.","DOI":"10.1109\/CASE.1992.200148"},{"key":"7_CR25","volume-title":"Contribution \u00e0 la mod\u00e9lisation des proc\u00e9d\u00e9s de fabrication de logiciel: support au travail coop\u00e9ratif","author":"C. Godart","year":"1993","unstructured":"Godart, C.: Contribution \u00e0 la mod\u00e9lisation des proc\u00e9d\u00e9s de fabrication de logiciel: support au travail coop\u00e9ratif. Ph. Thesis, Universit\u00e9 de Nancy I, France, January 1993 (in French)."},{"key":"7_CR26","unstructured":"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."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/ICSE.1994.296777"},{"key":"7_CR28","volume-title":"Software Process Modeling and Technology","author":"G. Junkermann","year":"1994","unstructured":"Junkermann, G., Peuschel, B., Sch\u00e4fer, 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."},{"key":"7_CR29","unstructured":"Fernstr\u00f6m, C.: PROCESS WEAVER: Adding Process Support to UNIX. Proceedings of the 2nd International Conference on the Software Process, Berlin, February 1993."},{"key":"7_CR30","volume-title":"Software Process Modeling and Technology","author":"C. Montangero","year":"1994","unstructured":"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."},{"key":"7_CR31","volume-title":"Software Process Modeling and Technology","author":"S. Bandinelli","year":"1994","unstructured":"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."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/225014.225039"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/225014.225022"}],"container-title":["Lecture Notes in Computer Science","Software Process Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64956-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T11:25:19Z","timestamp":1711365919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64956-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649564","9783540499077"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-64956-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}