{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:41Z","timestamp":1725472061776},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540465423"},{"type":"electronic","value":"9783540465447"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11893011_150","type":"book-chapter","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T17:44:50Z","timestamp":1161193490000},"page":"1184-1191","source":"Crossref","is-referenced-by-count":2,"title":["A Novel Approach to Programming: Agent Based Software Engineering"],"prefix":"10.1007","author":[{"given":"Dharmendra","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanli","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dat","family":"Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary","family":"Anderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"150_CR1","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison Wesley, Reading (2001)","edition":"6"},{"issue":"3","key":"150_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Hewitt, C.: Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence\u00a08(3), 323\u2013364 (1977)","journal-title":"Artificial Intelligence"},{"key":"150_CR3","unstructured":"Bradshaw, J.M.: An Introduction to Software Agents. In: Bradshaw, J.M. (ed.) Software Agents, pp. 3\u201346. AAAI Press\/The MIT Press (1997)"},{"issue":"3","key":"150_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S026988890000789X","volume":"11","author":"H.S. Nwana","year":"1996","unstructured":"Nwana, H.S.: Software Agents: An Overview. Knowledge Engineering Review\u00a011(3), 1\u201340 (1996)","journal-title":"Knowledge Engineering Review"},{"issue":"3","key":"150_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1023\/A:1008942012299","volume":"8","author":"P. Stone","year":"2000","unstructured":"Stone, P., Veloso, M.M.: Multiagent Systems: A Survey from a Machine Learning Perspective. Autonomous Robots\u00a08(3), 345\u2013383 (2000)","journal-title":"Autonomous Robots"},{"issue":"1","key":"150_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"150_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M.J. Wooldridge","year":"2001","unstructured":"Wooldridge, M.J., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"},{"key":"150_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial Intelligence\u00a0117, 277\u2013296 (2000)","journal-title":"Artificial Intelligence"},{"key":"150_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-44564-1_4","volume-title":"Agent-Oriented Software Engineering","author":"C. Petrie","year":"2001","unstructured":"Petrie, C.: Agent-Based Software Engineering. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 59\u201375. Springer, Heidelberg (2001)"},{"key":"150_CR10","unstructured":"Tveit, A.: A Survey of Agent-Oriented Software Engineering. In: The First NTNU CSGS Conference (2001)"},{"key":"150_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-30578-1_8","volume-title":"Agent-Oriented Software Engineering V","author":"E. Steegmans","year":"2005","unstructured":"Steegmans, E., Weyns, D., Holvoet, T., Berbers, Y.: A Design Process for Adaptive Behavior of Situated Agents. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 109\u2013125. Springer, Heidelberg (2005)"},{"key":"150_CR12","doi-asserted-by":"crossref","unstructured":"Ramos, F.F.: Methodology for Analysis and Design of Systems. In: Proceedings of the Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS 2004) (May 2004)","DOI":"10.1109\/WSTFES.2004.1300419"},{"key":"150_CR13","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents","author":"O. Shehory","year":"2001","unstructured":"Shehory, O., Sturm, A.: Evaluation of modeling techniques for agent-based systems. In: Proceedings of the Fifth International Conference on Autonomous Agents, May 2001. ACM Press, New York (2001)"},{"key":"150_CR14","doi-asserted-by":"crossref","unstructured":"Jennings, N., Wooldridge, M.: Software Agents. IEEE Review, 17\u201320 (January 1996)","DOI":"10.1049\/ir:19960101"},{"key":"150_CR15","doi-asserted-by":"crossref","unstructured":"Sanchis, E.: Designing new Agent Based Applications Architectures with the AGP Methodology. In: Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (June 2003)","DOI":"10.1109\/ENABL.2003.1231443"},{"key":"150_CR16","unstructured":"Green, S., Hurst, L., Nangle, B., Cunningham, P., Somers, F., Evans, R.: Software agents: A review, Technical Report, Department of Computer Science, Trinity College, Dublin, Ireland (1997)"},{"key":"150_CR17","first-page":"233","volume-title":"Automated Software Engineering","author":"R.J. Hall","year":"2002","unstructured":"Hall, R.J.: Automated Software Engineering, vol.\u00a09, pp. 233\u2013261. Springer, Heidelberg (2002)"},{"key":"150_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30578-1_10","volume-title":"Agent-Oriented Software Engineering V","author":"V. Hilaire","year":"2005","unstructured":"Hilaire, V., et al.: A Formal Approach to Design and Reuse Agent and Multiagent Models. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382. Springer, Heidelberg (2005)"},{"key":"150_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30578-1_13","volume-title":"Agent-Oriented Software Engineering V","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., et al.: Enacting and Deacting Roles in Agent Programming. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382. Springer, Heidelberg (2005)"},{"key":"150_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11752660_1","volume-title":"Agent-Oriented Software Engineering VI","author":"G. Weiss","year":"2006","unstructured":"Weiss, G., et al.: Operational Modeling of Agent Autonomy. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950. Springer, Heidelberg (2006)"},{"key":"150_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11752660_10","volume-title":"Agent-Oriented Software Engineering VI","author":"G. Simon","year":"2006","unstructured":"Simon, G., Flouret, M.: Implementing Validated Agent Behaviors with Automata based on Goal-Decomposition Trees. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, Springer, Heidelberg (2006)"},{"issue":"3","key":"150_CR22","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM transactions on Programming Language and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM transactions on Programming Language and Systems"},{"key":"150_CR23","volume-title":"Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002)","author":"M. Winikoff","year":"2002","unstructured":"Winikoff, M., et al.: Declarative & Procedural Goals in Intelligent Agent Systems. In: Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002). Morgan Kaufmann, Toulouse (2002)"},{"key":"150_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36540-0_1","volume-title":"Agent-Oriented Software Engineering III","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M.J., Pitt, J.: Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585. Springer, Heidelberg (2003)"},{"key":"150_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal Semantics for AUML Agent Interaction Protocol Diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382. Springer, Heidelberg (2005)"},{"key":"150_CR26","volume-title":"Proceedings of the First International Conference on Multiagent Systems (ICMAS 1995)","author":"A.S. Rao","year":"1995","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First International Conference on Multiagent Systems (ICMAS 1995). The MIT Press, San Francisco (1995)"},{"key":"150_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36540-0_3","volume-title":"Agent-Oriented Software Engineering III","author":"M. Benerecetti","year":"2003","unstructured":"Benerecetti, M., Cimatti, A.: Validation of Multiagent Systems by Symbolic Model Checking. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585. Springer, Heidelberg (2003)"},{"key":"150_CR28","first-page":"996","volume-title":"Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic, in Handbook of Theoretical Computer Science. In: Leeuwen, J.v. (ed.) Formal Models and Semantics, vol.\u00a0B, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"150_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404. Springer, Heidelberg (2002)"},{"key":"150_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-24620-6_3","volume-title":"Agent-Oriented Software Engineering IV","author":"A. Perini","year":"2004","unstructured":"Perini, A., et al.: Agent-Oriented Modeling by Interleaving Formal and Informal Specification. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 36\u201352. Springer, Heidelberg (2004)"},{"issue":"3","key":"150_CR31","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., et al.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"150_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/11552413_30","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"D. Sharma","year":"2005","unstructured":"Sharma, D., Ma, W.: A Multiple Agents Based Intrusion Detection System. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol.\u00a03681, pp. 205\u2013211. Springer, Heidelberg (2005)"},{"key":"150_CR33","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11552413_33","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"D. Tran","year":"2005","unstructured":"Tran, D., Sharma, D., Ma, W.: On an IT Security Framework. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol.\u00a03681, pp. 226\u2013232. Springer, Heidelberg (2005)"},{"key":"150_CR34","unstructured":"Sharma, D., Ma, W., Tran, D., Liu, S., Anderson, M.: MAITS: A Multiagent Based IT Security Approach. In: Architectural Design of Multi-Agent Systems: Technologies and Techniques (accepted for publication)"},{"key":"150_CR35","unstructured":"Ma, W., Tran, D., Sharma, D., Lin, H., Anderson, M.: Concurrent Programming with Multiagents and the Chemical Abstract Machine. In: Architectural Design of Multi-Agent Systems: Technologies and Techniques (accepted for publication)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11893011_150.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:33:36Z","timestamp":1619508816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11893011_150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540465423","9783540465447"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11893011_150","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}