nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

verfasst von : Inna Vistbakka, Elena Troubitsyna

Erschienen in: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Goal-oriented development facilitates structuring behaviour of complex multi-agent systems. It allows us to represent the required system behaviour as a set of goals to be accomplished by the agents with corresponding functionality. However, in general, the agents might fail and hence, to ensure goal reachability we should augment the goal-oriented framework with fault tolerance mechanisms. In this paper, we propose a formal pattern-based approach to formal modelling of fault tolerant MAS in Event-B. The framework allows us in a systematic and rigorous way to define complex relationships between the unreliable agents and goals. It is illustrated by a case study – a smart warehouse system.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP

Nächstes Kapitel A Study on Automated Receptionists in a Real-World Scenario

Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)CrossRef

Abrial, J., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-yCrossRef

Aziz, B., Arenas, A., Bicarregui, J., Ponsard, C., Massonet, P.: From goal-oriented requirements to Event-B specifications. In: First NASA Formal Methods Symposium - NFM 2009, pp. 96–105 (2009)

Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agents Multi-Agent Syst. 8(3), 203–236 (2004). https://doi.org/10.1023/B:AGNT.0000018806.20944.efCrossRefMATH

Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL/KAOS: an environment for goal-driven requirements engineering. In: Proceedings of the 19th International Conference on Software Engineering, pp. 612–613. ACM (1997)

DeLoach, S.A.: Multiagent systems engineering of organization-based multiagent systems. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005). https://doi.org/10.1145/1082983.1082967CrossRef

Ezekiel, J., Lomuscio, A.: Combining fault injection and model checking to verify fault tolerance in multi-agent systems. In: AAMAS 2009, pp. 113–120 (2009). https://dl.acm.org/citation.cfm?id=1558028

Laibinis, L., Pereverzeva, I., Troubitsyna, E.: Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148, 66–87 (2017). https://doi.org/10.1016/j.scico.2017.05.008CrossRef

Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39800-4_2CrossRef

10.

van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: RE 2001, pp. 249–263. IEEE Computer Society (2001)

11.

Letier, E.: Reasoning about agents in goal-oriented requirements engineering. Ph.D. thesis. Université catholique de Louvai (2001)

12.

Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2), 175–206 (2008). https://doi.org/10.1007/s10515-008-0027-7CrossRef

13.

Matoussi, A., Gervais, F., Laleau, R.: A goal-based approach to guide the design of an abstract Event-B specification. In: 16th IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2011, pp. 139–148 (2011)

14.

Morandini, M., Penserini, L., Perini, A.: Towards goal-oriented development of self-adaptive systems. In: SEAMS 2008, pp. 9–16. ACM (2008). https://doi.org/10.1145/1370018.1370021. DBLP:conf/icse/2008seams

15.

Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal goal-oriented development of resilient MAS in Event-B. In: Brorsson, M., Pinho, L.M. (eds.) Ada-Europe 2012. LNCS, vol. 7308, pp. 147–161. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30598-6_11CrossRef

16.

Ponsard, C., Dieul, E.: From requirements models to formal specifications in B. In: Workshop on Regulations Modelling and their Validation and Verification. ReMo2V 2006. CEUR Workshop Proceedings, vol. 241. CEUR-WS.org (2006)

17.

Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Developing multiagent systems: the Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12(3), 317–370 (2003). https://doi.org/10.1145/958961.958963CrossRef

Titel: Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B
verfasst von: Inna Vistbakka
Elena Troubitsyna
Verlag: Springer International Publishing
Buch: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection
Print ISBN: 978-3-030-49777-4

Electronic ISBN: 978-3-030-49778-1

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-49778-1_26

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner