{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:15:25Z","timestamp":1743110125472,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87654-0_8","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T06:11:01Z","timestamp":1221891061000},"page":"158-174","source":"Crossref","is-referenced-by-count":3,"title":["OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems"],"prefix":"10.1007","author":[{"given":"Ioanna","family":"Stamatopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Kefalas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marian","family":"Gheorghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.sysarc.2006.02.002","volume":"52","author":"M. Mamei","year":"2006","unstructured":"Mamei, M., Menezes, R., Tolksdorf, R., Zambonelli, F.: Case studies for self-organization in computer science. Journal of Systems Arch.\u00a052, 443\u2013460 (2006)","journal-title":"Journal of Systems Arch."},{"key":"8_CR2","unstructured":"Dignum, V., Dignum, F.: Understanding organizational congruence: Formal model and simulation framework. In: Proceedings of the Agent-Directed Simulation Symposium (ADS 2007), Norfolk, USA (March 2007)"},{"key":"8_CR3","unstructured":"Dignum, V., Dignum, F.: A logic for agent organization. In: Proceedings of the Workshop on Formal Approaches to Multi-Agent Systems Durham, September 3-7 (2007)"},{"key":"8_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/978-3-540-74913-4_62","volume-title":"Advances in Artificial Life","author":"M. Hoogendoorn","year":"2007","unstructured":"Hoogendoorn, M., Schut, M.C., Treur, J.: Modeling decentralized organizational change in honeybee societies. In: Almeida e Costa, F., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) ECAL 2007. LNCS (LNAI), vol.\u00a04648, pp. 615\u2013624. Springer, Heidelberg (2007)"},{"key":"8_CR5","volume-title":"Proceedings of the 6th international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)","author":"R. Charrier","year":"2007","unstructured":"Charrier, R., Bourjot, C., Charpillet, F.: Deterministic nonlinear modeling of ant algorithm with logistic multiagent system. In: Proceedings of the 6th international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). ACM, New York (2007)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Matson, E., DeLoach, S.: Formal transition in agent organizations. In: Proceedings of the International Conference on Integration of Knowledge Intensive Multi-Agent Systems, pp. 235\u2013240 (2005)","DOI":"10.21236\/ADA443475"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/11738817_7","volume-title":"Software Engineering for Multi-Agent Systems IV","author":"S.A. DeLoach","year":"2006","unstructured":"DeLoach, S.A.: Engineering organization-based multiagent systems. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) SELMAS 2005. LNCS, vol.\u00a03914, pp. 109\u2013125. Springer, Heidelberg (2006)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","volume":"9","author":"M. dInverno","year":"2004","unstructured":"dInverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS architechure: A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems\u00a09, 5\u201353 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"8_CR9","unstructured":"Rabinovich, Z., Rosenschein, J.S.: Dynamics based control: Structure. In: Workshop on Multi-Agent Sequential Decision Making in Uncertain Domains, at The 5th International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, pp. 148\u2013161 (2006)"},{"key":"8_CR10","volume-title":"NASA Monographs in Systems and Software Engineering","author":"M. Luck","year":"2006","unstructured":"Luck, M., d\u2019Inverno, M.: Formal methods and agent-based systems. In: Rouff, C., Truszkowski, M.H.J.R.J., Gordon-Spears, D. (eds.) NASA Monographs in Systems and Software Engineering. Springer, Heidelberg (2006)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1142\/S0218843097000057","volume":"6","author":"M. Fisher","year":"1997","unstructured":"Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. International Journal of Cooperating Information Systems\u00a06, 37\u201365 (1997)","journal-title":"International Journal of Cooperating Information Systems"},{"key":"8_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., M\u00fcller, J.P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol.\u00a01972, pp. 114\u2013127. Springer, Heidelberg (2000)"},{"key":"8_CR13","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, pp. 3\u201317 (2000)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/978-3-540-24620-6_15","volume-title":"Agent-Oriented Software Engineering IV","author":"J. Ferber","year":"2004","unstructured":"Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: an organizational view of multiagent systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 214\u2013230. Springer, Heidelberg (2004)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Gutknecht, O., Ferber, J.: MadKit: a generic multi-agent platform. In: Proc. of the 4th International Conference on Autonomous Agents, pp. 78\u201379 (2000)","DOI":"10.1145\/336595.337048"},{"key":"8_CR16","unstructured":"Chopra, A.K., Mallya, A.U., Desai, N.V., Singh, M.P.: Modeling flexible business processes. In: AAMAS 2004 (2004)"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/s11047-005-3771-7","volume":"4","author":"S.N. Krishna","year":"2005","unstructured":"Krishna, S.N., P\u0103un, G.: P systems with mobile membranes. Natural Computing: an international journal\u00a04, 255\u2013274 (2005)","journal-title":"Natural Computing: an international journal"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes I. Information and Computation\u00a0100, 1\u201340 (1992)","journal-title":"Information and Computation"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. Journal of Computer and System Sciences\u00a061, 108\u2013143 (2000); Also circulated as a TUCS report since (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J. Banatre","year":"1990","unstructured":"Banatre, J., Le Metayer, D.: The gamma model and its discipline of programming. Science of Computer Programming\u00a015, 55\u201377 (1990)","journal-title":"Science of Computer Programming"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Journal of Theoretical Computer Science\u00a096, 217\u2013248 (1992)","journal-title":"Journal of Theoretical Computer Science"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Rouf, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of NASA emergent systems. In: Proceedings of the 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2004), pp. 231\u2013238 (2004)","DOI":"10.1109\/ICECCS.2004.1310922"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.biosystems.2006.09.007","volume":"87","author":"I. Stamatopoulou","year":"2007","unstructured":"Stamatopoulou, I., Kefalas, P., Gheorghe, M.: Modelling the dynamic structure of biological state-based systems. BioSystems\u00a087, 142\u2013149 (2007)","journal-title":"BioSystems"},{"key":"8_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11559221_13","volume-title":"Multi-Agent Systems and Applications IV","author":"P. Kefalas","year":"2005","unstructured":"Kefalas, P., Stamatopoulou, I., Gheorghe, M.: A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour. In: P\u011bchou\u010dek, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol.\u00a03690, pp. 122\u2013131. Springer, Heidelberg (2005)"},{"key":"8_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/11752912_76","volume-title":"Advances in Artificial Intelligence","author":"I. Stamatopoulou","year":"2006","unstructured":"Stamatopoulou, I., Kefalas, P., Gheorghe, M.: Specification of reconfigurable MAS: A hybrid formal approach. In: Antoniou, G., Potamias, G., Spyropoulos, C., Plexousakis, D. (eds.) SETN 2006. LNCS (LNAI), vol.\u00a03955, pp. 592\u2013595. Springer, Heidelberg (2006)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-540-77312-2_27","volume-title":"Membrane Computing","author":"I. Stamatopoulou","year":"2007","unstructured":"Stamatopoulou, I., Kefalas, P., Gheorghe, M.: OPERAS CC : An instance of a formal framework for MAS modelling based on Population P Systems. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol.\u00a04860, pp. 551\u2013566. Springer, Heidelberg (2007)"},{"key":"8_CR28","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages and Machines. Academic Press, London (1974)"},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0950-5849(03)00018-1","volume":"45","author":"P. Kefalas","year":"2003","unstructured":"Kefalas, P., Eleftherakis, G., Kehris, E.: Communicating X-machines: A practical approach for formal and modular specification of large systems. Journal of Information and Software Technology\u00a045, 269\u2013280 (2003)","journal-title":"Journal of Information and Software Technology"},{"key":"8_CR30","unstructured":"Eleftherakis, G.: Formal Verification of X-machine Models: Towards Formal Development of Computer-based Systems. PhD thesis, Department of Computer Science, University of Sheffield (2003)"},{"key":"8_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)"},{"key":"8_CR32","first-page":"509","volume":"10","author":"F. Bernandini","year":"2004","unstructured":"Bernandini, F., Gheorghe, M.: Population P Systems. Journal of Universal Computer Science\u00a010, 509\u2013539 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I.: Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In: Gheorghe, M. (ed.) Molecular Computational Models: Unconventional Approaches, pp. 243\u2013276. Idea Publishing Inc. (2005)","DOI":"10.4018\/978-1-59140-333-3.ch009"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Rouff, C., Vanderbilt, A., Hinchey, M., Truszkowski, W., Rash, J.: Properties of a formal method for prediction of emergent behaviors in swarm-based systems. In: Procedings of the 2nd International Conference on Software Engineering and Formal Methods, pp. 24\u201333 (2004)","DOI":"10.1109\/SEFM.2004.1347500"},{"key":"8_CR35","unstructured":"Kefalas, P., Stamatopoulou, I., Gheorghe, M.: Principles of transforming Communicating X-machines to Population P Systems. In: Proceedings of the International Workshop on Automata for Cellular and Molecular Computing (ACMC 2007) (2007); Also to appear in the International Journal of Foundations of Computer Science"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:47:40Z","timestamp":1738370860000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540876533","9783540876540"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}