{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T22:24:17Z","timestamp":1769639057755,"version":"3.49.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,10,9]],"date-time":"2009-10-09T00:00:00Z","timestamp":1255046400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s10270-009-0135-2","type":"journal-article","created":{"date-parts":[[2009,10,8]],"date-time":"2009-10-08T06:59:26Z","timestamp":1254985166000},"page":"55-62","source":"Crossref","is-referenced-by-count":12,"title":["Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods"],"prefix":"10.1007","volume":"10","author":[{"given":"Joaquin","family":"Pe\u00f1a","sequence":"first","affiliation":[]},{"given":"Christopher A.","family":"Rouff","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Hinchey","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,9]]},"reference":[{"key":"135_CR1","unstructured":"Beni, G., Want, J.: Swarm intelligence. In: Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan, pp. 425\u2013428. RSJ Press, Tokyo, Japan (1989)"},{"key":"135_CR2","volume-title":"Software Product Lines: Practices and Patterns. SEI Series in Software Engineering","author":"P. Clements","year":"2001","unstructured":"Clements P., Northrop L.: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, Reading (2001)"},{"key":"135_CR3","unstructured":"Curtis, S.A., Mica, J., Nuth, J., Marr, G., Rilee, M.L., Bhat M.K.: ANTS (Autonomous Nano-Technology Swarm): an artificial intelligence approach to Asteroid Belt resource exploration. In: Proceedings of the International Astronautical Federation, 51st Congress, October 2000"},{"key":"135_CR4","unstructured":"Curtis, S.A., Truszkowski, W.F., Rilee, M.L., Clark, P.E.: ANTS for the human exploration and development of space. In: Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, USA, 9\u201316 March 2003"},{"issue":"4","key":"135_CR5","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/MC.2007.144","volume":"40","author":"M. Hinchey","year":"2007","unstructured":"Hinchey M., Sterritt R., Rouff C.: Swarms and swarm intelligence. IEEE Computer 40(4), 111\u2013113 (2007)","journal-title":"IEEE Computer"},{"issue":"2","key":"135_CR6","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"E.A. Kendall","year":"2000","unstructured":"Kendall E.A.: Role modeling for agent system analysis, design, and implementation. IEEE Concurrency 8(2), 34\u201341 (2000)","journal-title":"IEEE Concurrency"},{"key":"135_CR7","volume-title":"Mathematical models of cell biochemistry. Technical Report CS-86-4","author":"W. Michael","year":"1986","unstructured":"Michael W., Holcombe L.: Mathematical models of cell biochemistry. Technical Report CS-86-4. Sheffield University, UK (1986)"},{"key":"135_CR8","unstructured":"Object Management Group (OMG). Unified modeling language: superstructure. version 2.0. Final adopted specification ptc\/03-08-02, OMG, August 2003. http:\/\/www.omg.org"},{"key":"135_CR9","unstructured":"Pe\u00f1a, J.: On improving the modelling of complex acquaintance organisations of agents: a method fragment for the analysis phase. PhD thesis, University of Seville (2005)"},{"key":"135_CR10","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a, J., Corchuelo, R., Arjona, J.L.: A top down approach for mas protocol descriptions. In: ACM Symposium on Applied Computing SAC\u201903, pp. 45\u201349. ACM Press, Melbourne (2003)","DOI":"10.1145\/952532.952544"},{"key":"135_CR11","unstructured":"Pe\u00f1a, J., Hinchey, M.G., Resinas, M., Sterritt, R., Rash, J.L.: Managing the evolution of an enterprise architecture using a MAS-product-line approach. In: 5th International Workshop on System\/Software Architectures (IWSSA\u201906), page to be published. CSREA Press, Nevada (2006)"},{"key":"135_CR12","unstructured":"Pe\u00f1a, J., Hinchey, M.G., Ruiz-Cort\u00e9s, A.: Building the core architecture of a NASA multiagent system product line. In: 7th International Workshop on Agent Oriented Software Engineering 2006, page to be published, LNCS, Hakodate, Japan, May 2006"},{"issue":"12","key":"135_CR13","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/1183236.1183272","volume":"49","author":"J. Pe\u00f1a","year":"2006","unstructured":"Pe\u00f1a J., Hinchey M.G., Ru\u00edz-Cortes A.: Multiagent system product lines: challenges and benefits. Commun. ACM 49(12), 82\u201384 (2006)","journal-title":"Commun. ACM"},{"key":"135_CR14","doi-asserted-by":"crossref","unstructured":"Rouff, C.A., Hinchey, M.G., Truszkowski, W.F., Rash, J.L.: Experiences applying formal approaches in the development of swarm-based space exploration systems. In: International Journal of on software Tools for Technology Transfer. Special Issue on Formal Methods in Industry, vol. 8(6) (2006)","DOI":"10.1007\/s10009-006-0027-5"},{"issue":"5","key":"135_CR15","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"Sumpter D.J.T., Blanchard G.B., Broomhead D.S.: Ants and agents: a process algebra approach to modelling ant colony behaviour. Bull. Math. Biol. 63(5), 951\u2013980 (2001)","journal-title":"Bull. Math. Biol."},{"issue":"3","key":"135_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSMCC.2006.871600","volume":"36","author":"W.F. Truszkowski","year":"2006","unstructured":"Truszkowski W.F., Hinchey M.G., Rash J.L., Rouff C.A.: Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybernet. Part C 36(3), 279\u2013289 (2006)","journal-title":"IEEE Trans. Syst. Man Cybernet. Part C"},{"key":"135_CR17","doi-asserted-by":"crossref","unstructured":"Van Dyke Parunak, H., James, O.: Representing social structures in UML. In: M\u00fcller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the 5th International Conference on Autonomous Agents, pp. 100\u2013101. ACM Press, Montreal, Canada (2001)","DOI":"10.1145\/375735.376008"},{"key":"135_CR18","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the GAIA methodology. ACM Trans. Softw. Eng. Methodol. 12(3) (2003)","DOI":"10.1145\/958961.958963"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0135-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0135-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0135-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:26Z","timestamp":1559130926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0135-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,9]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["135"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0135-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,9]]}}}