References
- Holland JH. Hidden order: how adaptation builds complexity. New York: Helix Books; 1995.
- Dignum V, Padget J. Multiagent organizations. In: Weiss G, editor. Multiagent systems. 2nd ed. Cambridge, MA: MIT Press; 2013. p. 51–98. (Intelligent Robotics; Autonomous Agents Series).
- Köhler-Bußmeier M, Wester-Ebbinghaus M. Sonar ∗: a multi-agent infrastructure for active application architectures and inter-organisational information systems. In: Braubach L, van der Hoek W, Petta P, et al., editors. Conference on multi-agent system technologies, MATES 2009; Berlin: Springer-Verlag; 2009. p. 248–257. (Lecture Notes in Artificial Intelligence; Vol. 5774).
- Köhler-Bußmeier M, Wester-Ebbinghaus M, Moldt D. A formal model for organisational structures behind process-aware information systems. In: van der Aalst WMP editors. Transactions on petri nets and other models of concurrency special issue on concurrency in process-aware information systems. Vol. 5460; Berlin: Springer-Verlag; 2009. p. 98–114.
- Reisig W. Petri nets: an introduction. Heidelberg: Springer-Verlag; 1985.
- Cheng BHC, de Lemos R, Giese H, et al. Software engineering for self-adaptive systems: A research roadmap. In: Cheng BHC, de Lemos R, Giese H, et al., editors. Software engineering for self-adaptive systems. Berlin, Heidelberg: Springer; 2009. p. 1–26.
- Salehie M, Tahvildari L. Self-adaptive software: landscape and research challenges. ACM Trans Auton Adapt Syst. 2009 May;4(2).142. doi: 10.1145/1516533.1516538
- Krupitzer C, Roth FM, VanSyckel S, et al. A survey on engineering approaches for self-adaptive systems. Pervasive Mob Comput. 2015;17(PB):184–206. doi: 10.1016/j.pmcj.2014.09.009
- Weyns D. Software engineering of self-adaptive systems: an organised tour and future challenges. In: ICAC/SASO; 2017.
- Kephart JO, Chess DM. The vision of autonomic computing. IEEE Comput. 2003;36(1):41–50. doi: 10.1109/MC.2003.1160055
- Bencomo N, France R, Cheng B, et al. [email protected]: foundations, applications, and roadmaps. Berlin, Germany: Springer; 2014. (Lecture Notes in Computer Science).
- Schmeck H, Müller-Schloer C, Çakar E, et al. Adaptivity and self-organization in organic computing systems. ACM Trans Auton Adapt Syst. 2010;5(3).132. doi: 10.1145/1837909.1837911
- Serugendo GDM, Karageorgos A, Rana OF, et al. Engineering self-organising systems, nature-inspired approaches to software engineering (revised and extended papers presented at the Engineering Self-Organising Applications Workshop, ESOA 2003, held at AAMAS 2003). Berlin: Springer-Verlag; 2004. (Lecture Notes in Computer Science; Vol. 2977).
- Dean P, Porter B. The design space of emergent scheduling for distributed execution frameworks. In: 2021 International symposium on software engineering for adaptive and self-managing systems (SEAMS); May. IEEE; 2021. doi: 10.1109/SEAMS51251.2021.00032
- Filho M, Pimentel E, Pereira W, et al. Self-adaptive microservice-based systems – landscape and research opportunities. In: 2021 International symposium on software engineering for adaptive and self-managing systems (SEAMS); May. IEEE; 2021. doi: 10.1109/SEAMS51251.2021.00030
- Sudeikat JO, Heitmann O. Towards modular assembling of virtual power plant control systems – the smart power Hamburg platform. In: Proceedings of the 27th conference on environmental informatics. Düren: Shaker Verlag; 2013.
- Huang Q, Amin W, Umer K, et al. A review of transactive energy systems: concept and implementation. Energy Reports. 2021.
- Sudeikat J, Köhler-Bußmeier M. On combining domain modeling and organizational modeling for developing adaptive cyber-physical systems. In: ICAART'22; 2022.
- Leito P, Karnouskos S. Industrial agents: emerging applications of software agents in industry. 1st ed. Amsterdam, The Netherlands: Elsevier Science Publishers B. V.; 2015.
- Leitao P, Karnouskos S, Ribeiro L, et al. Smart agents in industrial cyber–physical systems. Proc IEEE. 2016 May;104(5):1086–1101. doi: 10.1109/JPROC.2016.2521931
- Dignum V. Handbook of research on multi-agent systems: semantics and dynamics of organizational models. Hershey, PA: IGI Global, Information Science Reference; 2009. doi: 10.4018/978-1-60566-256-5
- Bauer B, Odell J, Parunak HD. Extending UML for Agents. In: Proceeding of agent-oriented information systems workshop; 2000. p. 3–17.
- Bresciani P, Giorgini P, Giunchiglia F, et al. Tropos: an agent-oriented software development methodology. J Auton Agents Multi-Agent Syst. 2004;8:203–236. doi: 10.1023/B:AGNT.0000018806.20944.ef
- Hübner JF, Sichman JS, Boissier O. Using the moise+ for a cooperative framework of mas reorganisation. In: Bazzan ALC, Labidi S, editors. Symposium on artificial intelligence, SBIA'04. Berlin: Springer; 2004. p. 506–515. (Lecture Notes in Computer Science; Vol. 3171).
- Dignum V, Dignum F, Meyer JJ. An agent-mediated approach to the support of knowledge sharing in organizations. Knowl Eng Rev. 2004;19(2):147–174. doi: 10.1017/S0269888904000244
- Ferber J, Gutknecht O, Michel F. From agents to organizations: an organizational view of multi-agent systems. In: Giorgini P, Müller JP, Odell J, editors. Agent-oriented software engineering IV; Vol. 2935; 2003. p. 214–230.
- Esteva M, de la Cruz D, Sierra C. Islander: an electronic institutions editor. In: The first international joint conference on autonomous agents & multiagent systems (AAMAS); 2002. p. 1045–1052.
- Shoham Y, Tennenholtz M. On social laws for artificial agent societies: off-line design. Artif Intell. 1994;72(1-2):231–252. doi: 10.1016/0004-3702(94)00007-N
- Wooldridge M. Reasoning about rational agents. Cambridge (MA)/London: MIT Press; 2000. (Intelligent robotics and autonomous agents).
- Carley KM. Computational and mathematical organization theory: perspective and directions. Comput Math Organ Theory. 1995;1(1):39–56. doi: 10.1007/BF01307827
- Lomuscio A, Penczek W. Model checking temporal epistemic logic. In: van Ditmarsch H, Halpern J, van der Hoek W, et al., editors. Handbook of epistemic logic. Chapter 8. College Publications; 2015. p. 397–441.
- Shoham Y, Leyton-Brown K. Multiagent systems: algorithmic, game-theoretic, and logical foundations. New York: Cambridge University Press; 2008.
- van der Aalst WMP, Lohmann N, Massuthe P, et al. Multiparty contracts: agreeing and implementing interorganizational processes. Comput J. 2010;53(1):90–106. doi: 10.1093/comjnl/bxn064
- Calinescu R, Ghezzi C, Kwiatkowska M, et al. Self-adaptive software needs quantitative verification at runtime. Commun ACM. 2012;55(9):69–77. doi: 10.1145/2330667.2330686
- Köhler-Bußmeier M, Sudeikat JBv. contingency: Adaption measures for organizational multi-agent systems. In: Jander K, Braubach L, Badica C, editors. 15th International symposium on intelligent distributed computing (IDC'22). Berlin: Springer-Verlag; 2023. p. 224–233. (Studies in Computational Intelligence; Vol. 1089).
- Köhler-Bußmeier M, Wester-Ebbinghaus M, Moldt D. Generating executable MAS-prototypes from Sonar specifications. In: De Vos M, Fornara N, Pitt JV, et al., editors. Workshop on coordination, organizations, institutions, and norms in agent systems, COIN'10; 2010. p. 21–38. (Lecture Notes in Artificial Intelligence; Vol. 6541).
- Köhler-Bußmeier M, Wester-Ebbinghaus M. Model-driven middleware support for team-oriented process management. Trans Petri Nets Other Models Concurrency. 2013;8:159–179. doi: 10.1007/978-3-642-40465-8_9
- Köhler M. A formal model of multi-agent organisations. Fundam Inform. 2007;79(3-4):415–430.
- Aalst W. Verification of workflow nets. In: Azeme P, Balbo G, editors. Application and theory of Petri nets. Berlin, Heidelberg: Springer-Verlag; 1997. p. 407–426. (Lecture Notes in Computer Science; Vol. 1248). doi: 10.5555/1366071.1366083
- Clarke EM, Peled DA, Grumberg O. Model checking. Cambridge, MA: MIT Press; 1999.
- Esparza J, Heljanko K. Unfoldings – a partial-order approach to model checking. Berlin: Springer-Verlag; 2008. (EATCS Monographs in Theoretical Computer Science).
- Köhler-Bußmeier M, Rölke H. Analysing adaption processes of Hornets. In: Köhler-Bußmeier M, Moldt D, Rölke H, editors. Petri nets and software engineering 2022, PNSE'22; Vol. 3170. CEUR; 2022. p. 80–98.
- Sudeikat J, Köhler-Bußmeier M. Towards integrating multi-agent organizations in OPC UA for developing adaptive cyber-physical systems. In: deMeer J, Rennoch A, Waedt K, editors. 7th GI/ACM I4.0 Workshop on industrial automation and control systems, IACS'22. Lecture Notes in Informatics; 2022.