{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:57:10Z","timestamp":1725555430398},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132728"},{"type":"electronic","value":"9783642132735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13273-5_9","type":"book-chapter","created":{"date-parts":[[2010,5,11]],"date-time":"2010-05-11T11:59:32Z","timestamp":1273579172000},"page":"133-149","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language"],"prefix":"10.1007","author":[{"given":"Noorulain","family":"Khurshid","sequence":"first","affiliation":[]},{"given":"Olga","family":"Ormandjieva","sequence":"additional","affiliation":[]},{"given":"Stan","family":"Klasa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Swarms and Swarm Intelligence","author":"M.G. Hinchey","year":"2007","unstructured":"Hinchey, M.G., Sterritt, R., Rouff, C.: Swarms and Swarm Intelligence. IEEE, Los Alamitos (2007)"},{"key":"9_CR2","volume-title":"Object Oriented Design Measurement","author":"S. Whitmire","year":"1997","unstructured":"Whitmire, S.: Object Oriented Design Measurement. Whiley C. P, New York (1997)"},{"key":"9_CR3","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall, NJ (1990)"},{"key":"9_CR4","volume-title":"Categories for Software Engineering","author":"J. Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2005)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J.A. Goguen","year":"1991","unstructured":"Goguen, J.A.: A categorical manifesto. Mathematical Structures in Computer Science\u00a01, 49\u201367 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/1990284","volume":"58","author":"S. Eilenberg","year":"1945","unstructured":"Eilenberg, S., Mac Lane, S.: General Theory of Natural Equivalences. Transactions of the American Mathematical Society\u00a058, 231\u2013294 (1945)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9_CR7","unstructured":"Pfalzgraf, J.: ACCAT tutorial. Presented at 27th German Conference on Artificial Intelligence (2004)"},{"key":"9_CR8","unstructured":"Lee, W. M.: Modelling and Specification of Autonomous Systems using Category Theory. PhD Thesis, University College of London, London, UK (1989)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hinchey, M.G., Rouff, C.A., Rash, J.L., Truszkowski, W.F.: Requirements of an Integrated Formal Method for Intelligent Swarms. In: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, pp. 125\u2013133 (2005)","DOI":"10.1145\/1081180.1081196"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Vassev, E., Hinchey, M., Paquet, J.: A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL. In: Proceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, Belfast, Northern Ireland, pp. 54\u201364 (2008)","DOI":"10.1109\/EASe.2008.14"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","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 Transaction on Systems, Man, and Cybernetics, Part C: Applications and Reviews\u00a036(3), 279\u2013291 (2006)","journal-title":"IEEE Transaction on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"9_CR12","unstructured":"Curtis, S., Mica, J., Nuth, J., Marr, G., Rilee, M., Bhat, M.: ANTS (Autonomous Nano Technology Swarm): an Artificial Intelligence Approach to Asteroid Belt Resource Exploration. In: Proceedings of the 51st International Astronautical Congress (2000) IAA-00-IAA.Q.5.08"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Wiels, V., Easterbrook, S.: Management of Evolving Specifications Using Category Theory. In: Proceedings of the 13th IEEE International Conference on Automated Software Engineering, pp. 12\u201321 (1998)","DOI":"10.1109\/ASE.1998.732561"},{"key":"9_CR14","unstructured":"Pfalzgraf, J.: On an Idea for Constructing Multiagent Systems (MAS) Scenarios. In: Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice, IIAS, Tecumseh, ON, Canada, vol.\u00a01 (2006)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for the Software Architect. In: Proceedings of the 8th International Workshop on Software Specification and Design, Schloss Velen, Germany, pp. 46\u201355 (1996)","DOI":"10.1109\/IWSSD.1996.501146"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Kuang, H., Ormandjieva, O., Klasa, S., Khurshid, N., Benthar, J.: Towards Specifying Reactive Autonomic Systems by a Categorical Approach. In: Proceedings of International Conference on Software Engineering Research, Management and Applications (SERA 2009), China (2009)","DOI":"10.1007\/978-3-642-05441-9_11"},{"issue":"1","key":"9_CR17","first-page":"99","volume":"2","author":"O. Ormandjieva","year":"2006","unstructured":"Ormandjieva, O., Kuang, H., Vassev, E.: Reliability Self-Assessment in Reactive Autonomic Systems: Autonomic System-Time Reactive Model Approach. ITSSA\u00a02(1), 99\u2013104 (2006)","journal-title":"ITSSA"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D.S. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On Visual Formalisms. ACM\u00a031, 514\u2013530 (1988)","journal-title":"ACM"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BFb0057795","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"B. Selic","year":"1998","unstructured":"Selic, B.: Using UML for Modeling Complex Real-Time Systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 250\u2013260. Springer, Heidelberg (1998)"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13273-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:59:46Z","timestamp":1619769586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13273-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132728","9783642132735"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13273-5_9","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}