{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T22:29:17Z","timestamp":1759530557527},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1007\/s12652-012-0159-2","type":"journal-article","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T09:23:20Z","timestamp":1344504200000},"page":"491-510","source":"Crossref","is-referenced-by-count":7,"title":["Self-organising assembly systems formally specified in Maude"],"prefix":"10.1007","volume":"5","author":[{"given":"Regina","family":"Frei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanna Di","family":"Marzo Serugendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,10]]},"reference":[{"key":"159_CR1","unstructured":"Ban\u00e2tre J-P, Fradet P, Le M\u00e9tayer D (2000) Gamma and the chemical reaction model: fifteen years after. In: WMP, volume 2235 of LNCS, Springer, Berlin, pp 17\u201344."},{"key":"159_CR2","volume-title":"Coalition based approach for shopfloor agility","author":"J Barata","year":"2005","unstructured":"Barata J (2005) Coalition based approach for shopfloor agility. Edi\u00e7\u00f5es Orion, Amadora - Lisboa"},{"key":"159_CR3","doi-asserted-by":"crossref","unstructured":"Barata J, Ribeiro L, Colombo A-W (2010) A service-oriented shop floor to support collaboration in manufacturing networks. In: Benyoucef L, Grabot B (eds) Artificial intelligence techniques for networked manufacturing enterprises management. Springer series in advanced manufacturing, Springer, London, pp 483\u2013503","DOI":"10.1007\/978-1-84996-119-6_16"},{"issue":"1","key":"159_CR4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G Berry","year":"1998","unstructured":"Berry G, Boudol G (1998) The chemical abstract machine. Theor Comput Sci 96(1):217\u2013248","journal-title":"Theor Comput Sci"},{"issue":"5","key":"159_CR5","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1351\/pac200375050621","volume":"75","author":"M Boncheva","year":"2003","unstructured":"Boncheva M, Bruzewicz DA, Whitesides GM (2003) Millimeter-scale self-assembly and its applications. Pure Appl Chem 75(5):621\u2013630","journal-title":"Pure Appl Chem"},{"key":"159_CR6","first-page":"178","volume-title":"Technological innovation for value creation, volume 372 of IFIP advances in information and communication technology","author":"G Candido","year":"2012","unstructured":"Candido G, Di Orio G, Barata J, Scholze S (2012) Adapter for self-learning production systems. In: Camarinha-Matos L, Shahamatnia E, Nunes G (eds) Technological innovation for value creation, volume 372 of IFIP advances in information and communication technology. Springer, Boston, p 178"},{"key":"159_CR7","unstructured":"Clavel M, Dur\u00e1n F, Eker S, Lincoln P, Mart\u00ed-Oliet N, Meseguer J, Talcott C (2007) LNCS, All about Maude\u2014a high-performance logical framework: How to specify, program, and verify systems in rewriting Logic. Springer Verlag, New York"},{"issue":"11","key":"159_CR8","first-page":"1618","volume":"12","author":"M Clavel","year":"2006","unstructured":"Clavel M, Palomino M, Riesco A (2006) Introducing the ITP tool: a tutorial. J Univ Comput Sci 12(11):1618\u20131650","journal-title":"J Univ Comput Sci"},{"key":"159_CR9","doi-asserted-by":"crossref","unstructured":"Di Marzo Serugendo G, Frei R (2010) Experience report in developing and applying a method for self-organisation to agile manufacturing. In: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Budapest, Hungary","DOI":"10.1109\/SASO.2010.24"},{"key":"159_CR10","unstructured":"Di Marzo Serugendo G, Frei R (2012) Self-awareness in agile assembly systems. Awareness magazine: self-awareness in autonomic systems. http:\/\/www.awareness-mag.eu , 12 Mar 2012"},{"key":"159_CR11","doi-asserted-by":"crossref","unstructured":"Eker S, Meseguer J, Sridharanarayanan A (2003) The Maude LTL model checker and its implementation. In: 10th International SPIN Workshop on Model Checking of Software, LNCS. Springer, New York pp 230\u2013234","DOI":"10.1007\/3-540-44829-2_16"},{"key":"159_CR12","doi-asserted-by":"crossref","unstructured":"Farzan A, Chen F, Meseguer J, Rosu G (2004) Formal analysis of Java programs in JavaFAN. In: Computer Aided Verification (CAV), pp 501\u2013505","DOI":"10.1007\/978-3-540-27813-9_46"},{"key":"159_CR13","unstructured":"Frei R (2010) Self-organisation in Evolvable Assembly Systems. PhD thesis. Universidade Nova de LisboaDepartment of Electrical Engineering, Faculty of Science and Technology, Portugal"},{"key":"159_CR14","doi-asserted-by":"crossref","unstructured":"Frei R, Di Marzo Serugendo. G (2011a) Advances in complexity, engineering, Int J Bio Inspired Comput 3(4):199\u2013212","DOI":"10.1504\/IJBIC.2011.041144"},{"issue":"2","key":"159_CR15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1504\/IJBIC.2011.039911","volume":"3","author":"R Frei","year":"2011","unstructured":"Frei R, Di Marzo Serugendo G (2011b) Concepts in complexity engineering. Int J Bio Inspired Comput 3(2):123\u2013139","journal-title":"Int J Bio Inspired Comput"},{"issue":"6","key":"159_CR16","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/TSMCC.2010.2098027","volume":"41","author":"R Frei","year":"2011","unstructured":"Frei R, Di Marzo Serugendo G (2011c) Self-organising assembly systems. IEEE Trans Syst Man Cybern Part C Appl Rev 41(6):885\u2013897","journal-title":"IEEE Trans Syst Man Cybern Part C Appl Rev"},{"key":"159_CR17","doi-asserted-by":"crossref","unstructured":"Frei R, Di Marzo Serugendo G (2012) The future of complexity engineering. To appear in Central European Journal of Engineering","DOI":"10.2478\/s13531-011-0071-0"},{"key":"159_CR18","doi-asserted-by":"crossref","unstructured":"Frei R, Di Marzo Serugendo G, Barata J (2008a) Designing self-organization for evolvable assembly systems. In: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Venice, Italy, pp 97\u2013106","DOI":"10.1109\/SASO.2008.20"},{"key":"159_CR19","doi-asserted-by":"crossref","unstructured":"Frei R, Di Marzo Serugendo G, Serbanuta TF (2010a) Ambient intelligence in self-organising assembly systems using the chemical reaction model. J Ambient Intell Humanized Comput 1(3):163\u2013184","DOI":"10.1007\/s12652-010-0016-0"},{"key":"159_CR20","unstructured":"Frei R, Ferreira B, Barata J (2008b) Dynamic coalitions for self-organizing manufacturing systems. In: CIRP International Conference on Intelligent Computation in Manufacturing Engineering (ICME), Naples, Italy"},{"key":"159_CR21","doi-asserted-by":"crossref","unstructured":"Frei R, Ferreira B, Di Marzo Serugendo G, Barata J (2009) An architecture for self-managing evolvable assembly systems. In: IEEE International Conferenca on Systems, Man, and Cybernetics (SMC), San Antonio","DOI":"10.1109\/ICSMC.2009.5346137"},{"key":"159_CR22","doi-asserted-by":"crossref","unstructured":"Frei R, Pereira N, Belo J, Barata J, Di Marzo Serugendo G (2010) Implementing self-organisation and self-management in evolvable assembly systems. In: IEEE International Symposium on Industrial Electronics (ISIE), Bari, Italy, pp 3527\u20133532","DOI":"10.1109\/ISIE.2010.5637273"},{"key":"159_CR23","unstructured":"Frei R, Tiwari A, McWilliam R, Purvis A (2012) Self-healing technologies. IEEE Trans Syst Man Cybern Part C Appl Rev"},{"key":"159_CR24","doi-asserted-by":"crossref","unstructured":"Gross R, Dorigo M (2008) Self-assembly at the macroscopic scale. In: Proceedings of the IEEE 96(9):1490\u20131508","DOI":"10.1109\/JPROC.2008.927352"},{"key":"159_CR25","unstructured":"ISTAG (2001) Scenarios for ambient intelligence in 2010. information society technologies advisory group report. http:\/\/www.cordis.lu\/ist\/istag.htm,"},{"key":"159_CR26","unstructured":"ISTAG (2003) Ambient intelligence: from vision to reality. information society technologies advisory group report. http:\/\/www.cordis.lu\/ist\/istag.htm,"},{"issue":"1","key":"159_CR27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart JO, Chess DM (2003) The vision of autonomic computing. IEEE Comput 36(1):41\u201350","journal-title":"IEEE Comput"},{"key":"159_CR28","doi-asserted-by":"crossref","unstructured":"Meseguer J (1990) Rewriting as a unified model of concurrency. In: Concur Conf., vol 458, LNCS, Springer Berlin Heidelberg, Amsterdam, The Netherlands, pp 384\u2013400","DOI":"10.1007\/BFb0039072"},{"issue":"1","key":"159_CR29","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer J (1992) Conditional rewriting logic as a unified model of concurrency. Theor Comput Sci 96(1):73\u2013155","journal-title":"Theor Comput Sci"},{"key":"159_CR30","unstructured":"Onori M (2002) Evolvable assembly systems: a new paradigm? In: 33rd Int. Symposium on Robotics (ISR), Stockholm, Sweden, pp 617\u2013621"},{"key":"159_CR31","doi-asserted-by":"crossref","unstructured":"Onori M, Semere D, Barata J (2008) Evolvable assembly systems: from evaluation to application. In: Azvedo A (ed) Innovation in Manufacturing Networks, vol 266 of IFIP International Federation for Information Processing, Springer, New York, pp 205\u2013214","DOI":"10.1007\/978-0-387-09492-2_22"},{"issue":"5","key":"159_CR32","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1080\/0951192X.2011.566282","volume":"24","author":"M Onori","year":"2011","unstructured":"Onori M, Semere D, Lindberg B (2011) Evolvable systems: an approach to self-X production. Int J Comput Integr Manuf 24(5):506\u2013516","journal-title":"Int J Comput Integr Manuf"},{"issue":"11","key":"159_CR33","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1002\/anie.199611541","volume":"35","author":"D Phili","year":"1996","unstructured":"Phili D, Stoddart JF (1996) Self-assembly in natural and unnatural systems. Appl Chem Int Ed 35(11):1154\u20131196","journal-title":"Appl Chem Int Ed"},{"key":"159_CR34","doi-asserted-by":"crossref","unstructured":"Ribeiro L, Barata J, Colombo A (2008) MAS and SOA: A case study exploring principles and technologies to support self-properties in assembly systems. In: 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pp 192\u2013197","DOI":"10.1109\/SASOW.2008.41"},{"key":"159_CR35","unstructured":"Sasse R Meseguer J (2007) Java+ITP: A verification tool based on Hoare logic and algebraic semantics. In: Denker G, Talcott CL (eds) 6th Int. Workshop on Rewriting Logic and its Applications (WRLA), vol 176(4) of, Electronic Notes in Theoretical Computer Science, pp 29\u201346"},{"key":"159_CR36","doi-asserted-by":"crossref","unstructured":"Traian Florin\u015eerb\u0103nu\u0163\u0103, Grigore Ro\u015fu, and Jos\u00e9 Meseguer.A rewriting logic approach to operational semantics. Information and Computation, 207(2): 305\u2013340, 2009.","DOI":"10.1016\/j.ic.2008.03.026"},{"key":"159_CR37","doi-asserted-by":"crossref","unstructured":"Ulieru M, Doursat R (2011) Emergent engineering: a radical paradigm shift. J. of Autonomous and Adaptive Communications Systems 4(1):39\u201360.","DOI":"10.1504\/IJAACS.2011.037748"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-012-0159-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-012-0159-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-012-0159-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T17:36:38Z","timestamp":1562088998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-012-0159-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,10]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,8]]}},"alternative-id":["159"],"URL":"https:\/\/doi.org\/10.1007\/s12652-012-0159-2","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,10]]}}}