Skip to main content

2016 | OriginalPaper | Buchkapitel

9. OperA/ALIVE/OperettA

verfasst von : Huib Aldewereld, Sergio Álvarez-Napagao, Virginia Dignum, Jie Jiang, Wamberto Vasconcelos, Javier Vázquez-Salceda

Erschienen in: Social Coordination Frameworks for Social Technical Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Comprehensive models for organizations must, on the one hand, be able to specify global goals and requirements but, on the other hand, cannot assume that particular actors will always act according to the needs and expectations of the system design. Concepts as organizational rules (Zambonelli 2002), norms and institutions (Dignum and Dignum 2001; Esteva et al. 2002), and social structures (Parunak and Odell 2002) arise from the idea that the effective engineering of organizations needs high-level, actor-independent concepts and abstractions that explicitly define the organization in which agents live (Zambonelli 2002).

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!

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!

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!

Fußnoten
1
ALIVEclipse and accompanying documentation can be downloaded from http://​ict-alive.​sourceforge.​net/​.
 
Literatur
Zurück zum Zitat Aldewereld, H., S. Álvarez-Napagao, F. Dignum, and J. Vázquez-Salceda. 2010. Making norms concrete. In Proceedings of the 9th international conference on autonomous agents and multiagent systems, Toronto, 807–814. International foundation for autonomous agents and multiagent systems. Aldewereld, H., S. Álvarez-Napagao, F. Dignum, and J. Vázquez-Salceda. 2010. Making norms concrete. In Proceedings of the 9th international conference on autonomous agents and multiagent systems, Toronto, 807–814. International foundation for autonomous agents and multiagent systems.
Zurück zum Zitat Aldewereld, H., F. Dignum, and M. Hiel. 2011. Re-organization in warehouse management systems. In Proceedings of the IJCAI 2011 workshop on artificial intelligence and logistics (AILog-2011), Barcelona, 67–72. Aldewereld, H., F. Dignum, and M. Hiel. 2011. Re-organization in warehouse management systems. In Proceedings of the IJCAI 2011 workshop on artificial intelligence and logistics (AILog-2011), Barcelona, 67–72.
Zurück zum Zitat Aldewereld, H., F. Dignum, and M. Hiel. 2012. Decentralised warehouse control through agent organisations. In Automation in warehouse development, ed. R. Hamberg and J. Verriet, 33–44. London. Springer-Verlag. doi:10.1007/978-0-85729-968-0.CrossRef Aldewereld, H., F. Dignum, and M. Hiel. 2012. Decentralised warehouse control through agent organisations. In Automation in warehouse development, ed. R. Hamberg and J. Verriet, 33–44. London. Springer-Verlag. doi:10.​1007/​978-0-85729-968-0.CrossRef
Zurück zum Zitat Aldewereld, H., and V. Dignum. 2011. OperettA: Organization-oriented development environment. In Proceedings of the 3rd international workshop on languages, methodologies and development tools for multi-agent systems (LADS2010@Mallow), LNAI 6822. Berlin: Springer-Verlag. doi:10.1007/978-3-642-22723-3. Aldewereld, H., and V. Dignum. 2011. OperettA: Organization-oriented development environment. In Proceedings of the 3rd international workshop on languages, methodologies and development tools for multi-agent systems (LADS2010@Mallow), LNAI 6822. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-22723-3.
Zurück zum Zitat Aldewereld, H., V. Dignum, C.M. Jonker, and M.B. van Riemsdijk. 2012. Agreeing on role adoption in open organisations. KI-Künstliche Intelligenz 26(1): 37–45.CrossRef Aldewereld, H., V. Dignum, C.M. Jonker, and M.B. van Riemsdijk. 2012. Agreeing on role adoption in open organisations. KI-Künstliche Intelligenz 26(1): 37–45.CrossRef
Zurück zum Zitat Aldewereld, H., J. Padget, W. Vasconcelos, J. Vázquez-Salceda, P. Sergeant, and A. Staikopoulos. 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems 25(4): 26–35.CrossRef Aldewereld, H., J. Padget, W. Vasconcelos, J. Vázquez-Salceda, P. Sergeant, and A. Staikopoulos. 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems 25(4): 26–35.CrossRef
Zurück zum Zitat Aldewereld, H., J. Tranier, F. Dignum, and V. Dignum. 2011. Agent-based crisis management. In Collaborative agents-research and development, LNAI 6066, 31–43. Berlin: Springer-Verlag. doi:10.1007/978-3-642-22427-0.CrossRef Aldewereld, H., J. Tranier, F. Dignum, and V. Dignum. 2011. Agent-based crisis management. In Collaborative agents-research and development, LNAI 6066, 31–43. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-22427-0.CrossRef
Zurück zum Zitat Alvarez-Napagao, S., H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. 2011. Normative monitoring: Semantics and implementation. Coordination, Organizations, Institutions, and Norms in Agent Systems VI, LNAI 6541, 321–336. Berlin: Springer-Verlag. doi:10.1007/978-3-642-21268-0. Alvarez-Napagao, S., H. Aldewereld, J. Vázquez-Salceda, and F. Dignum. 2011. Normative monitoring: Semantics and implementation. Coordination, Organizations, Institutions, and Norms in Agent Systems VI, LNAI 6541, 321–336. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-21268-0.
Zurück zum Zitat Bacchus, F., and F. Kabanza. 2000. Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1–2): 123–191.CrossRef Bacchus, F., and F. Kabanza. 2000. Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1–2): 123–191.CrossRef
Zurück zum Zitat Dastani, M., V. Dignum, and F. Dignum. 2003. Role-assignment in open agent societies. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems, 489–496. Melbourne: ACM. Dastani, M., V. Dignum, and F. Dignum. 2003. Role-assignment in open agent societies. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems, 489–496. Melbourne: ACM.
Zurück zum Zitat Dignum, V. 2004. A model for organizational interaction: Based on agents, founded in logic. SIKS dissertation series 2004-1. Utrecht University. Dignum, V. 2004. A model for organizational interaction: Based on agents, founded in logic. SIKS dissertation series 2004-1. Utrecht University.
Zurück zum Zitat Dignum, V., and F. Dignum. 2001. Modelling agent societies: Co-ordination frameworks and institutions. In Progress in artificial intelligence, 191–204. Springer. Dignum, V., and F. Dignum. 2001. Modelling agent societies: Co-ordination frameworks and institutions. In Progress in artificial intelligence, 191–204. Springer.
Zurück zum Zitat Dignum, V., and F. Dignum. 2012. A logic of agent organizations. Logic Journal of IGPL 20(1): 283–316.CrossRef Dignum, V., and F. Dignum. 2012. A logic of agent organizations. Logic Journal of IGPL 20(1): 283–316.CrossRef
Zurück zum Zitat Dignum, V., J.J.C. Meyer, F. Dignum, and H. Weigand. 2003. Formal specification of interaction in agent societies. In Formal approaches to agent-based systems, 37–52. Springer. Dignum, V., J.J.C. Meyer, F. Dignum, and H. Weigand. 2003. Formal specification of interaction in agent societies. In Formal approaches to agent-based systems, 37–52. Springer.
Zurück zum Zitat Esteva, M., J. Padget, and C. Sierra. 2002. Formalizing a language for institutions and norms. In Intelligent agents VIII,, LNCS 2333, 348–366. Berlin: Springer. doi:10.1007/3-540-45448-9.CrossRef Esteva, M., J. Padget, and C. Sierra. 2002. Formalizing a language for institutions and norms. In Intelligent agents VIII,, LNCS 2333, 348–366. Berlin: Springer. doi:10.​1007/​3-540-45448-9.CrossRef
Zurück zum Zitat Gerevini, A., and D. Long. 2005. Plan constraints and preferences in PDDL3: The language of the fifth international planning competition. Technical Report R.T. 2005-08-07. Gerevini, A., and D. Long. 2005. Plan constraints and preferences in PDDL3: The language of the fifth international planning competition. Technical Report R.T. 2005-08-07.
Zurück zum Zitat Grossi, D., H. Aldewereld, and F. Dignum. 2007. Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In Coordination, organizations, institutions, and norms in agent systems II, LNAI 4386, 101–114. Berlin: Springer-Verlag. doi:10.1007/978-3-540-74459-7.CrossRef Grossi, D., H. Aldewereld, and F. Dignum. 2007. Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In Coordination, organizations, institutions, and norms in agent systems II, LNAI 4386, 101–114. Berlin: Springer-Verlag. doi:10.​1007/​978-3-540-74459-7.CrossRef
Zurück zum Zitat Grossi, D., F. Dignum, M. Dastani, and L. Royakkers. 2005. Foundations of organizational structures in multiagent systems. In Proceedings of the fourth international joint conference on autonomous agents and multiagent systems, 690–697. Utrecht: ACM.CrossRef Grossi, D., F. Dignum, M. Dastani, and L. Royakkers. 2005. Foundations of organizational structures in multiagent systems. In Proceedings of the fourth international joint conference on autonomous agents and multiagent systems, 690–697. Utrecht: ACM.CrossRef
Zurück zum Zitat Grossi, D., J.J.C. Meyer, and F. Dignum. 2006. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5): 613–643.CrossRef Grossi, D., J.J.C. Meyer, and F. Dignum. 2006. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5): 613–643.CrossRef
Zurück zum Zitat Hiel, M., H. Aldewereld, and F. Dignum. 2011. Modeling warehouse logistics using agent organizations. In Collaborative agents-research and development, LNAI 6066, 14–30. Berlin: Springer-Verlag. doi:10.1007/978-3-642-22427-0.CrossRef Hiel, M., H. Aldewereld, and F. Dignum. 2011. Modeling warehouse logistics using agent organizations. In Collaborative agents-research and development, LNAI 6066, 14–30. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-22427-0.CrossRef
Zurück zum Zitat Jensen, A.S., V. Dignum, and J. Villadsen. 2014. The aorta architecture: Integrating organizational reasoning in jason. In Engineering multi-agent systems, LNAI 8758, 127–145. Springer International, doi:10.1007/978-3-319-14484-9. Jensen, A.S., V. Dignum, and J. Villadsen. 2014. The aorta architecture: Integrating organizational reasoning in jason. In Engineering multi-agent systems, LNAI 8758, 127–145. Springer International, doi:10.​1007/​978-3-319-14484-9.
Zurück zum Zitat Jensen, A.S., V. Dignum, and J. Villadsen. 2016. A framework for organisation-aware agents. Autonomous Agents and Multi-Agent Systems 30(9): 1–36. Jensen, A.S., V. Dignum, and J. Villadsen. 2016. A framework for organisation-aware agents. Autonomous Agents and Multi-Agent Systems 30(9): 1–36.
Zurück zum Zitat Jensen, A.S., J.S. Spurkeland, and J. Villadsen. 2013. Formalizing theatrical performances using multi-agent organizations. In SCAI, 135–144. Jensen, A.S., J.S. Spurkeland, and J. Villadsen. 2013. Formalizing theatrical performances using multi-agent organizations. In SCAI, 135–144.
Zurück zum Zitat Jiang, J., H. Aldewereld, V. Dignum, and Y.H. Tan. 2014. Compliance checking of organizational interactions. ACM Transactions on Management Information Systems (TMIS) 5(4): 23. Jiang, J., H. Aldewereld, V. Dignum, and Y.H. Tan. 2014. Compliance checking of organizational interactions. ACM Transactions on Management Information Systems (TMIS) 5(4): 23.
Zurück zum Zitat Jiang, J., V. Dignum, H. Aldewereld, F. Dignum, and Y.H. Tan. 2013. Norm compliance checking. In Proceedings of the 2013 international conference on autonomous agents and multi-agent systems, Saint Paul, 1121–1122. International foundation for autonomous agents and multiagent systems. Jiang, J., V. Dignum, H. Aldewereld, F. Dignum, and Y.H. Tan. 2013. Norm compliance checking. In Proceedings of the 2013 international conference on autonomous agents and multi-agent systems, Saint Paul, 1121–1122. International foundation for autonomous agents and multiagent systems.
Zurück zum Zitat Jiang, J., V. Dignum, and Y.H. Tan. 2012. An agent-based inter-organizational collaboration framework: Opera+. In Coordination, organizations, institutions, and norms in agent system VII, LNAI 7254, 58–74. Berlin: Springer-Verlag. doi:10.1007/978-3-642-35545-5.CrossRef Jiang, J., V. Dignum, and Y.H. Tan. 2012. An agent-based inter-organizational collaboration framework: Opera+. In Coordination, organizations, institutions, and norms in agent system VII, LNAI 7254, 58–74. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-35545-5.CrossRef
Zurück zum Zitat Jiang, J., J. Thangarajah, H. Aldewereld, and V. Dignum. 2014. Reasoning with agent preferences in normative multi-agent systems. In Proceedings of the 2014 international conference on autonomous agents and multi-agent systems, Paris, 1373–1374. International foundation for autonomous agents and multiagent systems. Jiang, J., J. Thangarajah, H. Aldewereld, and V. Dignum. 2014. Reasoning with agent preferences in normative multi-agent systems. In Proceedings of the 2014 international conference on autonomous agents and multi-agent systems, Paris, 1373–1374. International foundation for autonomous agents and multiagent systems.
Zurück zum Zitat Jones, A.J., and M. Sergot. 1996. A formal characterisation of institutionalised power. Logic Journal of IGPL 4(3): 427–443.CrossRef Jones, A.J., and M. Sergot. 1996. A formal characterisation of institutionalised power. Logic Journal of IGPL 4(3): 427–443.CrossRef
Zurück zum Zitat Kumar, S., M.J. Huber, P.R. Cohen, and D.R. McGee. 2002. Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence 18(2): 174–228.CrossRef Kumar, S., M.J. Huber, P.R. Cohen, and D.R. McGee. 2002. Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence 18(2): 174–228.CrossRef
Zurück zum Zitat Mensonides, M., B. Huisman, and V. Dignum. 2008. Towards agent-based scenario development for strategic decision support. In Agent-oriented information systems IV, LNAI 4898, 53–72. Berlin: Springer-Verlag. doi:10.1007/978-3-540-77990-2.CrossRef Mensonides, M., B. Huisman, and V. Dignum. 2008. Towards agent-based scenario development for strategic decision support. In Agent-oriented information systems IV, LNAI 4898, 53–72. Berlin: Springer-Verlag. doi:10.​1007/​978-3-540-77990-2.CrossRef
Zurück zum Zitat Panagiotidi, S., J. Vázquez-Salceda, and F. Dignum. 2013. Reasoning over norm compliance via planning. In Coordination, organizations, institutions, and norms in agent systems VIII, LNAI 7756, 35–52. Berlin: Springer-Verlag. doi:10.1007/978-3-642-37756-3.CrossRef Panagiotidi, S., J. Vázquez-Salceda, and F. Dignum. 2013. Reasoning over norm compliance via planning. In Coordination, organizations, institutions, and norms in agent systems VIII, LNAI 7756, 35–52. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-37756-3.CrossRef
Zurück zum Zitat Parunak, H.V.D., and J.J. Odell. 2002. Representing social structures in uml. In Agent-oriented software engineering II, LNCS 2222, 1–16. Berlin: Springer-Verlag. doi:10.1007/3-540-70657-7.CrossRef Parunak, H.V.D., and J.J. Odell. 2002. Representing social structures in uml. In Agent-oriented software engineering II, LNCS 2222, 1–16. Berlin: Springer-Verlag. doi:10.​1007/​3-540-70657-7.CrossRef
Zurück zum Zitat Penserini, L., F. Dignum, V. Dignum, H. Aldewereld, and D. Grossi. 2009. Evaluating organizational configurations. In Proceedings of the 2009 IEEE/WIC/ACM international joint conference on web intelligence and intelligent agent technology-volume 02, Bologna, 153–160. IEEE Computer Society. Penserini, L., F. Dignum, V. Dignum, H. Aldewereld, and D. Grossi. 2009. Evaluating organizational configurations. In Proceedings of the 2009 IEEE/WIC/ACM international joint conference on web intelligence and intelligent agent technology-volume 02, Bologna, 153–160. IEEE Computer Society.
Zurück zum Zitat Quillinan, T.B., F. Brazier, H. Aldewereld, F. Dignum, V. Dignum, L. Penserini, and N. Wijngaards. 2009. Developing agent-based organizational models for crisis management. In Proceedings of the 8th international joint conference on autonomous agents and multi-agent systems (AAMAS 2009), Budapest, 45–51. Quillinan, T.B., F. Brazier, H. Aldewereld, F. Dignum, V. Dignum, L. Penserini, and N. Wijngaards. 2009. Developing agent-based organizational models for crisis management. In Proceedings of the 8th international joint conference on autonomous agents and multi-agent systems (AAMAS 2009), Budapest, 45–51.
Zurück zum Zitat van Riemsdijk, M.B., V. Dignum, C.M. Jonker, and H. Aldewereld. 2011. Reflection about capabilities for role enactment. In The 10th international conference on autonomous agents and multiagent systems-volume 3, Taipei, 1231–1232. International foundation for autonomous agents and multiagent systems. van Riemsdijk, M.B., V. Dignum, C.M. Jonker, and H. Aldewereld. 2011. Reflection about capabilities for role enactment. In The 10th international conference on autonomous agents and multiagent systems-volume 3, Taipei, 1231–1232. International foundation for autonomous agents and multiagent systems.
Zurück zum Zitat Smith, I.A., P.R. Cohen, J.M. Bradshaw, M. Greaves, and H. Holmback. 1998. Designing conversation policies using joint intention theory. In Proceedings: International conference on multi agent systems, 1998, Paris, 269–276. IEEE. Smith, I.A., P.R. Cohen, J.M. Bradshaw, M. Greaves, and H. Holmback. 1998. Designing conversation policies using joint intention theory. In Proceedings: International conference on multi agent systems, 1998, Paris, 269–276. IEEE.
Zurück zum Zitat Vázquez-Salceda, J. 2003. The role of norms and electronic institutions in multi-agent systems applied to complex domains. The harmonia framework. Ai Communications 16(3): 209–212. Vázquez-Salceda, J. 2003. The role of norms and electronic institutions in multi-agent systems applied to complex domains. The harmonia framework. Ai Communications 16(3): 209–212.
Zurück zum Zitat Vázquez-Salceda, J., H. Aldewereld, D. Grossi, and F. Dignum. 2008. From human regulations to regulated software agents’ behavior. Artificial Intelligence and Law 16(1): 73–87.CrossRef Vázquez-Salceda, J., H. Aldewereld, D. Grossi, and F. Dignum. 2008. From human regulations to regulated software agents’ behavior. Artificial Intelligence and Law 16(1): 73–87.CrossRef
Zurück zum Zitat Vázquez-Salceda, J., V. Dignum, and F. Dignum. 2005. Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3): 307–360.CrossRef Vázquez-Salceda, J., V. Dignum, and F. Dignum. 2005. Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3): 307–360.CrossRef
Zurück zum Zitat Weigand, H., and V. Dignum. 2004. I am autonomous, you are autonomous. In Agents and Computational Autonomy, LNCS 2969, 227–236. Berlin: Springer-Verlag. doi:10.1007/b99010.CrossRef Weigand, H., and V. Dignum. 2004. I am autonomous, you are autonomous. In Agents and Computational Autonomy, LNCS 2969, 227–236. Berlin: Springer-Verlag. doi:10.​1007/​b99010.CrossRef
Zurück zum Zitat Westra, J., F. Dignum, and V. Dignum. 2008. Modeling agent adaptation in games. In Belgian-Dutch conference on artificial intelligence (BNAIC 2008), 381. Westra, J., F. Dignum, and V. Dignum. 2008. Modeling agent adaptation in games. In Belgian-Dutch conference on artificial intelligence (BNAIC 2008), 381.
Zurück zum Zitat Westra, J., F. Dignum, and V. Dignum. 2010. Keeping the trainee on track. In 2010 IEEE symposium on computational intelligence and games (CIG), Copenhagen, 450–457. IEEE. Westra, J., F. Dignum, and V. Dignum. 2010. Keeping the trainee on track. In 2010 IEEE symposium on computational intelligence and games (CIG), Copenhagen, 450–457. IEEE.
Zurück zum Zitat Westra, J., van Hasselt, H., F. Dignum, and V. Dignum. 2009. Adaptive serious games using agent organizations. In Agents for games and simulations, LNAI 5920, 206–220. Berlin: Springer-Verlag. doi:10.1007/978-3-642-11198-3.CrossRef Westra, J., van Hasselt, H., F. Dignum, and V. Dignum. 2009. Adaptive serious games using agent organizations. In Agents for games and simulations, LNAI 5920, 206–220. Berlin: Springer-Verlag. doi:10.​1007/​978-3-642-11198-3.CrossRef
Zurück zum Zitat Zambonelli, F. 2002. Abstractions and infrastructures for the design and development of mobile agent organizations. In Agent-oriented software engineering II, LNCS 2222, 245–262. Berlin: Springer-Verlag. doi:10.1007/3-540-70657-7.CrossRef Zambonelli, F. 2002. Abstractions and infrastructures for the design and development of mobile agent organizations. In Agent-oriented software engineering II, LNCS 2222, 245–262. Berlin: Springer-Verlag. doi:10.​1007/​3-540-70657-7.CrossRef
Metadaten
Titel
OperA/ALIVE/OperettA
verfasst von
Huib Aldewereld
Sergio Álvarez-Napagao
Virginia Dignum
Jie Jiang
Wamberto Vasconcelos
Javier Vázquez-Salceda
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-33570-4_9