Skip to main content
SpringerLink
Log in

Processes Engineering and AOSE

  • Conference paper
Agent-Oriented Software Engineering X (AOSE 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6038))

Included in the following conference series:

Abstract

Agent-oriented methodologies like ADELFE, ASPECS, INGENIAS, MaSE, PASSI, Prometheus, SODA, or Tropos propose development formulae with their own specificities. Analyzing them is the responsibility of the Process Engineering discipline, which is currently one hot research line in software engineering. The analysis makes it possible to construct a catalogue of current processes, assessing their utility and enabling their reuse. Additionally, the study may lead to the modification or improvement of existing development processes, perhaps combining fragments from solutions coming from the different methodologies.

In this paper, we first provide a general view over the area of Software Process Engineering (SPE), then focus on the most recent developments of SPE in the Agent-Oriented Software Engineering (AOSE) field.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cernuzzi, L., Cossentino, M., Zambonelli, F.: Process models for agent-based development. Journal of Engineering Applications of Artificial Intelligence 18(2), 205–222 (2005)

    Article  Google Scholar 

  2. Fuggetta, A.: Software process: a roadmap. In: ICSE 2000: Proceedings of the Conference on The Future of Software Engineering, pp. 25–34. ACM Press, New York (2000)

    Google Scholar 

  3. Picard, G., Bernon, C., Gleizes, M.P.: Etto: Emergent timetabling organization. In: [83]

    Google Scholar 

  4. George, J.P., Peyruqueou, S., Regis, C., Glize, P.: Experiencing self-adaptive mas for real-time decision support systems. In: Int. Conf. on Practical Applications of Agents and Multiagent Systems (PAAMS 2009). Springer, Heidelberg (2009)

    Google Scholar 

  5. Cossentino, M., Fortino, G., Garro, A., Mascillaro, S., Russo, W.: Passim: A simulation-based process for the development of multi-agent systems. International Journal on Agent Oriented Software Engineering, IJAOSE (2008)

    Google Scholar 

  6. Morandini, M., Migeon, F., Penserini, L., Maurel, C., Perini, A., Gleizes, M.P.: A goal-oriented approach for modelling self-organising MAS. In: Aldewereld, H., Dignum, V., Picard, G. (eds.) ESAW 2009. LNCS, vol. 5881, pp. 33–48. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Jacobson, I., Booch, G., Rumbaugh, J.: The unified software development process. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)

    Google Scholar 

  8. Cockburn, A.: Selecting a project’s methodology. IEEE Software 17(4), 64–71 (2000)

    Article  Google Scholar 

  9. Kumar, K., Welke, R.: Methodology engineering: a proposal for situation-specific methodology construction. In: Challenges and Strategies for Research in Systems Development, pp. 257–269 (1992)

    Google Scholar 

  10. ter Hofstede, H.A.M., Verhoef, T.F.: On the feasibility of situational method engineering. Information Systems 22(6/7), 401–422 (1997)

    Article  MATH  Google Scholar 

  11. Brinkkemper, S.: Method engineering: engineering the information systems development methods and tools. Information and Software Technology 37(11) (1996)

    Google Scholar 

  12. Ralyté, J., Rolland, C.: An assembly process model for method engineering. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 267–283. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Henderson-Sellers, B.: Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF). Annals of Software Engineering 14(1), 341–362 (2002)

    Article  MATH  Google Scholar 

  14. Hamsen, A.: Situational Method Engineering. Moret Ernst & Young (1997)

    Google Scholar 

  15. Firesmith, D., Henderson-Sellers, B.: The OPEN Process Framework: An Introduction. Addison-Wesley, Reading (2002)

    Google Scholar 

  16. Gonzalez-Perez, C., McBride, T., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Software Quality Journal 13(2), 195–214 (2005)

    Article  Google Scholar 

  17. Brinkkemper, S., Saeki, M., Harmsen, F.: Meta-modelling based assembly techniques for situational method engineering. Information Systems 24 (1999)

    Google Scholar 

  18. Ralyté, J.: Towards situational methods for information systems development: engineering reusable method chunks. In: 13th International Conference on Information Systems Development. Advances in Theory, Practice and Education, pp. 271–282 (2004)

    Google Scholar 

  19. Henderson-Sellers, B., Serour, M., McBride, T., Gonzalez-Perez, C., Dagher, L.: Process construction and customization. Journal of Universal Computer Science 10(3) (2004)

    Google Scholar 

  20. OMG: Software process engineering metamodel. Version 2.0. Object Management Group (2007)

    Google Scholar 

  21. Si-Said, S., Roland, C., Grosz, G.: Mentor: A computer aided requirements engineering environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 22–43. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  22. Harmsen, A., Ernst, M., Twente, U.: Situational Method Engineering. Moret Ernst & Young Management Consultants (1997)

    Google Scholar 

  23. Brinkkemper, S., Saeki, M., Harmsen, F.: A method engineering language for the description of systems development methods. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 473–476. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. Saeki, M., Iguchi, K., Wen-yin, K., Shinohara, M.: A meta-model for representing software specification & design methods. In: Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, pp. 149–166. North-Holland Publishing Co., Amsterdam (1993)

    Google Scholar 

  25. Cossentino, M., Gaglio, S., Garro, A., Seidita, V.: Method fragments for agent design methodologies: from standardisation to research. International Journal of Agent-Oriented Software Engineering (IJAOSE) 1(1), 91–121 (2007)

    Article  Google Scholar 

  26. Seidita, V., Cossentino, M., Gaglio, S.: Using and extending the SPEM specifications to represent agent oriented methodologies. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 46–59. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  27. Seidita, V., Cossentino, M., Galland, S., Gaud, N., Hilaire, V., Koukam, A., Gaglio, S.: The metamodel: A starting point for design processes construction. International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 20(4), 575–608 (2010)

    Article  Google Scholar 

  28. Cossentino, M., Gaglio, S., Garro, A., Seidita, V.: Method fragments for agent design methodologies: from standardisation to research. International Journal of Agent Oriented Software Engineering 1(1), 91–121 (2007)

    Article  Google Scholar 

  29. Osterweil, L.: Software processes are software too. In: 9th International Conference on Software Engineering (ICSE 1987), pp. 2–13. IEEE CS Press, Los Alamitos (1987)

    Google Scholar 

  30. Cossentino, M., Gaud, N., Hilaire, V., Galland, S., Koukam, A.: ASPECS: an agent-oriented software process for engineering complex systems. International Journal of Autonomous Agents and Multi-Agent Systems (IJAAMAS) 20(2), 260–304 (2010)

    Article  Google Scholar 

  31. Cossentino, M., Gaglio, S., Seidita, V.: Adapting PASSI to support a goal oriented approach: a situational method engineering experiment. In: 5th European Workshop on Multi-Agent Systems, EUMAS 2007 (2007)

    Google Scholar 

  32. Gleizes, M.P., Camps, V., George, J.P., Capera, D.: Engineering systems which generate emergent functionalities. In: Weyns, D., Brueckner, S., Demazeau, Y.E. (eds.) EEMMAS 2007. LNCS (LNAI), vol. 5049, pp. 58–75. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  33. Jorquera, T., Bonjean, N., Gleizes, M.P., Maurel, C., Migeon, F.: Combining methodologies fragments using self-organizing MAS. Technical Report IRIT/RR-2010-4-FR, IRIT (2010)

    Google Scholar 

  34. Jorquera, T., Maurel, C., Migeon, F., Gleizes, M.P., Bonjean, N., Bernon, C.: ADELFE fragmentation. Technical Report IRIT/RR-2009-26-FR, IRIT (2009)

    Google Scholar 

  35. Cossentino, M., Sabatucci, L., Seidita, V.: Method fragments from the PASSI process. Technical Report RT-ICAR-21-03, Istituto di Calcolo e Reti ad Alte Prestazioni - Consiglio Nazionale delle Ricerche (2006)

    Google Scholar 

  36. Debenham, J., Henderson-Sellers, B.: Designing agent-based process systems – extending the OPEN process framework. In: Intelligent Agent Software Engineering, pp. 160–190. Idea Group Publishing, USA (2003)

    Chapter  Google Scholar 

  37. Henderson-Sellers, B., Debenham, J., Tran, Q.-N.N., Cossentino, M., Low, G.: Identification of reusable method fragments from the PASSI agent-oriented methodology. In: Kolp, M., Bresciani, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2005. LNCS (LNAI), vol. 3529, pp. 95–110. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  38. Henderson-Sellers, B., Giorgini, P., Bresciani, P.: Evaluating the potential for integrating the OPEN and Tropos metamodels. In: Al-Ani, B., Arabnia, H.R., Mun, Y. (eds.) International Conference on Software Engineering Research and Practice, SERP 2003, USA, June 23-26, vol. 2, pp. 992–995. CSREA Press, Las Vegas (2003)

    Google Scholar 

  39. ISO/IEC: Software Engineering — Metamodel for Development Methodologies. Fdis 24744 edn. (2006)

    Google Scholar 

  40. Gonzalez-Perez, C., Henderson-Sellers, B.: Metamodelling for Software Engineering. Wiley, Chichester (2008)

    Google Scholar 

  41. Gonzalez-Perez, C., Henderson-Sellers, B.: On the ease of extending a powertype-based methodology metamodel. In: 2nd Workshop on Metamodelling, WoMM 2006 (2006)

    Google Scholar 

  42. Rumbaugh, J.E.: Notation notes: Principles for choosing notation. JOOP 9(2), 11–14 (1996)

    Google Scholar 

  43. Tran, Q.-N.N., Henderson-Sellers, B., Debenham, J.: Incorporating the elements of the MASE methodology into agent OPEN. In: 6th International Conference on Enterprise Information Systems, ICEIS 2004 (2004)

    Google Scholar 

  44. Henderson-Sellers, B., Debenham, J., Tran, Q.-N.N.: Adding Agent-Oriented Concepts Derived from Gaia to Agent OPEN. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 98–111. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  45. Henderson-Sellers, B., Tran, Q.-N.N., Debenham, J.: Incorporating Elements from the Prometheus Agent-Oriented Methodology in the OPEN Process Framework. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS (LNAI), vol. 3508, pp. 140–156. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  46. Seidita, V., Cossentino, M., Gaglio, S.: A repository of fragments for agent systems design. In: Workshop From Objects To Agents, WOA 2006 (2006)

    Google Scholar 

  47. Cossentino, M., Sabatucci, L., Seidita, V.: A collaborative tool for designing and enacting design processes. In: Shin, S.Y., Ossowski, S., Menezes, R., Viroli, M. (eds.) 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai’i, USA, vol. 2, pp. 715–721. ACM, New York (2009)

    Google Scholar 

  48. Bernon, C., Cossentino, M., Gleizes, M.P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 62–77. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  49. Gonzalez-Perez, C., McBride, T., Henderson-Sellers, B.: A metamodel for assessable software development methodologies. Software Quality Journal 13(2), 195–214 (2005)

    Article  Google Scholar 

  50. Henderson-Sellers, B., Gonzalez-Perez, C.: A comparison of four process metamodels and the creation of a new generic standard. Information & Software Technology 47(1), 49–65 (2005)

    Article  Google Scholar 

  51. Molesini, A., Denti, E., Omicini, A.: From AO methodologies to MAS infrastructures: The SODA case study. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 300–317. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  52. Molesini, A., Denti, E., Omicini, A.: MAS meta-models on test: UML vs. OPM in the SODA case study. In: [83], pp. 163–172

    Google Scholar 

  53. Grupo de Investigación en Agentes Software: Ingeniería y Aplicaciones (2009), Home page, http://grasia.fdi.ucm.es/ingenias/metamodel/

  54. Beydoun, G., Low, G.C., Henderson-Sellers, B., Mouratidis, H., Gómez-Sanz, J.J., Pavón, J., Gonzalez-Perez, C.: FAML: A generic metamodel for MAS development. IEEE Transactions on Software Engineering 35(6), 841–863 (2009)

    Article  Google Scholar 

  55. Dam, K.H., Winikoff, M., Padgham, L.: An agent-oriented approach to change propagation in software evolution. In: Australian Software Engineering Conference, pp. 309–318. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  56. Giorgini, P., Mylopoulos, J., Perini, A., Susi, A.: The Tropos metamodel and its use. Informatica 29, 401–408 (2005)

    Google Scholar 

  57. Garcia-Ojeda, J.C., DeLoach, S.A., Robby, Oyenan, W.H., Valenzuela, J.L.: O-maSE: A customizable approach to developing multiagent development processes. In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol. 4951, pp. 1–15. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  58. Cossentino, M., Gaglio, S., Sabatucci, L., Seidita, V.: The PASSI and Agile PASSI MAS meta-models compared with a unifying proposal. In: [83], pp. 183–192

    Google Scholar 

  59. Beydoun, G., Gonzalez-Perez, C., Low, G., Henderson-Sellers, B.: Synthesis of a generic MAS metamodel. In: 4th International Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS 2005), pp. 1–5. ACM, New York (2005)

    Google Scholar 

  60. Henderson-Sellers, B., Gonzalez-Perez, C.: Standardizing methodology metamodelling and notation: An iso exemplar. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON. Lecture Notes in Business Information Processing, vol. 5, pp. 1–12. Springer, Heidelberg (2008)

    Google Scholar 

  61. Bernon, C., Camps, V., Gleizes, M.P., Picard, G.: Engineering adaptive multi-agent systems: the ADELFE methodology. In: Agent Oriented Methodologies, pp. 172–202. Idea Group Publishing, USA (2005)

    Chapter  Google Scholar 

  62. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3), 317–370 (2003)

    Article  Google Scholar 

  63. Pavòn, J., Gòmez-Sanz, J.J., Fuentes, R.: The INGENIAS methodology and tools. In: [84], ch. IX, pp. 236–276

    Google Scholar 

  64. DeLoach, S.A., Kumar, M.: Multi-agent systems engineering: An overview and case study. In: [84], ch. XI, pp. 317–340

    Google Scholar 

  65. Cossentino, M.: From requirements to code with the PASSI methodology. In: [84], ch. IV, pp. 79–106

    Google Scholar 

  66. Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 174–185. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  67. Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  68. Molesini, A., Zhang, S.-W., Denti, E., Ricci, A.: SODA: A roadmap to artefacts. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol. 3963, pp. 49–62. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  69. Cernuzzi, L., Rossi, G., Plata, L.: On the evaluation of agent oriented modeling methods. In: Workshop on Agent Oriented Methodology, pp. 21–30 (2002)

    Google Scholar 

  70. Bernon, C., Gleizes, M.P., Picard, G., Glize, P.: The ADELFE methodology for an intranet system design. In: Giorgini, P., Lespérance, Y., Wagner, G., Yu, E. (eds.) 4th International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS 2002), Toronto, Canada. CAiSE 2002, CEUR Workshop Proceedings, vol. 57 (2002)

    Google Scholar 

  71. Sturm, A., Shehory, O.: A framework for evaluating agent-oriented methodologies. In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol. 3030, pp. 94–109. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  72. Dam, K.H.: Comparing agent-oriented methodologies. In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol. 3030, pp. 78–93. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  73. Luck, M., Ashri, R., D’Inverno, M.: Agent-Based Software Development. Artech House, Norwood (2004)

    MATH  Google Scholar 

  74. Tran, Q.N.N., Low, G.C.: Comparison of ten agent-oriented methodologies. In: Agent Oriented Methodologies, pp. 341–367. Idea Group Publishing, USA (2005)

    Chapter  Google Scholar 

  75. Padgham, L., Winikoff, M., DeLoach, S., Cossentino, M.: A unified graphical notation for AOSE. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 116–130. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  76. Schmidt, D.C.: Model-driven engineering. Computer 39(2), 25–31 (2006)

    Article  Google Scholar 

  77. Miles, S., Groth, P.T., Munroe, S., Luck, M., Moreau, L.: AgentPrIMe: Adapting MAS designs to build confidence. In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol. 4951, Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  78. Spanoudakis, N., Moraitis, P.: Development with ASEME. In: 11th International Workshop on 11th International Workshop on Agent Oriented Software Engineering, AOSE (2010)

    Google Scholar 

  79. Wagner, G.: Agent-oriented analysis and design of organizational information system. In: 4th IEEE International Baltic Workshop on Databases and Information Systems (2000)

    Google Scholar 

  80. Argente, E., Botti, V., Vincente, J.: GORMAS: An organizational-oriented methodological guideline for open MAS. In: Proc. of Agent-Oriented Software Engineering (AOSE) Workshop (2009)

    Google Scholar 

  81. Garijo, F.J., Gòmez-Sanz, J.J., Massonet, P.: The MESSAGE methodoly for agent-oriented analysis and design. In: [84], ch. VIII, pp. 203–235

    Google Scholar 

  82. Castro, J., Kolp, M., Mylopoulos, J.: A requirements-driven development methodology. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 108–123. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  83. Pěchouček, M., Petta, P., Varga, L.Z. (eds.): CEEMAS 2005. LNCS (LNAI), vol. 3690. Springer, Heidelberg (2005)

    Google Scholar 

  84. Henderson-Sellers, B., Giorgini, P.: Agent Oriented Methodologies. Idea Group Publishing, Hershey (2005)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICAR CNR, Viale delle Scienze, ed. 11, 90128, Palermo, Italy

    Massimo Cossentino

  2. IRIT, University of Toulouse, 118 Route de Narbonne, F-31062, Toulouse Cedex 9, France

    Marie-Pierre Gleizes

  3. Alma Mater Studiorum, Università di Bologna, viale Risorgimento 2, 40136, Bologna, BO, Italy

    Ambra Molesini & Andrea Omicini

Authors
  1. Massimo Cossentino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marie-Pierre Gleizes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ambra Molesini
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrea Omicini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute de Recherche en Infomatique de Toulouse, Paul Sabatier University, IRIT, 118, Route de Narbonne, 31062, Toulouse, Cedex 9, France

    Marie-Pierre Gleizes

  2. Facultad de Informatica, Universidad Complutense de Madrid, Avda. Complutense s/n, 28040, Madrid, Spain

    Jorge J. Gomez-Sanz

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cossentino, M., Gleizes, MP., Molesini, A., Omicini, A. (2011). Processes Engineering and AOSE. In: Gleizes, MP., Gomez-Sanz, J.J. (eds) Agent-Oriented Software Engineering X. AOSE 2009. Lecture Notes in Computer Science, vol 6038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19208-1_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-19208-1_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-19207-4

  • Online ISBN: 978-3-642-19208-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation