{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:03:38Z","timestamp":1725642218960},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233906"},{"type":"electronic","value":"9783642233913"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23391-3_9","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T11:51:14Z","timestamp":1323690674000},"page":"121-135","source":"Crossref","is-referenced-by-count":8,"title":["Requirements Engineering via Non-monotonic Logics and State Diagrams"],"prefix":"10.1007","author":[{"given":"David","family":"Billington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Estivill-Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Hexel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Rock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G.: Nonmonotonic Reasoning. MIT Press, Cambridge (1997)"},{"key":"9_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-87803-2_5","volume-title":"Logics in Artificial Intelligence","author":"D. Billington","year":"2008","unstructured":"Billington, D.: Propositional clausal defeasible logic. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 34\u201347. Springer, Heidelberg (2008)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-02319-4_18","volume-title":"Hybrid Artificial Intelligence Systems","author":"D. Billington","year":"2009","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Architecture for hybrid robotic behavior. In: Corchado, E., Wu, X., Oja, E., Herrero, \u00c1., Baruque, B. (eds.) HAIS 2009. LNCS, vol.\u00a05572, pp. 145\u2013156. Springer, Heidelberg (2009)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Plausible logic facilitates engineering the behaviour of autonomous robots. In: Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, The International Association of Science and Technology for Development (February 2010)","DOI":"10.2316\/P.2010.677-015"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1010551204574","volume":"67","author":"D. Billington","year":"2001","unstructured":"Billington, D., Rock, A.: Propositional plausible logic: Introduction and implementation. Studia Logica\u00a067, 243\u2013269 (2001)","journal-title":"Studia Logica"},{"issue":"10","key":"9_CR6","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., Frnce, R.B.: Models@run.time. IEEE Computer\u00a042(10), 22\u201327 (2009)","journal-title":"IEEE Computer"},{"key":"9_CR7","first-page":"569","volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence, ICJAI 1991","author":"R.A. Brooks","year":"1991","unstructured":"Brooks, R.A.: Intelligence without reason. In: Myopoulos, R., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, ICJAI 1991, San Mateo, CA, pp. 569\u2013595. Morgan Kaufmann Publishers, Sydney (1991) ISBN\u00a01-55860-160-0"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S1042-8143(05)80017-2","volume":"2","author":"P.J. Compton","year":"1990","unstructured":"Compton, P.J., Jansen, R.: A philosophical basis for knowledge acquisition. Knowledge Acquisition\u00a02(3), 241\u2013257 (1990)","journal-title":"Knowledge Acquisition"},{"key":"9_CR9","first-page":"3","volume":"4Q05","author":"R.G. Dromey","year":"2005","unstructured":"Dromey, R.G., Powell, D.: Early requirements defect detection. TickIT Journal\u00a04Q05, 3\u201313 (2005)","journal-title":"TickIT Journal"},{"key":"9_CR10","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1145\/266838.267363","volume-title":"GROUP 1997: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work","author":"C. Ellis","year":"1997","unstructured":"Ellis, C.: Team automata for groupware systems. In: GROUP 1997: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work, pp. 415\u2013424. ACM, New York (1997)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-level Petri Nets, Theory and Applications","author":"H.J. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/transition nets. In: Jensen, K., Rozenberg, G. (eds.) High-level Petri Nets, Theory and Applications, pp. 3\u201343. Springer, Heidelberg (1991)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0022467","volume-title":"Semantics of Concurrent Computation","author":"H.J. Genrich","year":"1979","unstructured":"Genrich, H.J., Lautenbach, K.: The analysis of distributed systems by means of predicate\/transition-nets. In: Kahn, G. (ed.) Semantics of Concurrent Computation. LNCS, vol.\u00a070, pp. 123\u2013147. Springer, Heidelberg (1979)"},{"key":"9_CR13","volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2001","unstructured":"Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., Secaucus (2001)"},{"key":"9_CR14","unstructured":"Gold, R.: Petri nets in software engineering. Arbeitsberichte Working Papers, Fachhochschule Ingolstadt, University of Applied Sciences (June 2004)"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"L.E. Holloway","year":"1997","unstructured":"Holloway, L.E., Kroch, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a07, 151\u2013190 (1997)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"9_CR16","volume-title":"Requirements Engineering","author":"E. Hull","year":"2005","unstructured":"Hull, E., Jackson, K., Dick, J.: Requirements Engineering, 2nd edn. Springer, USA (2005)","edition":"2"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45397-0_1","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Lakos","year":"2001","unstructured":"Lakos, C.: Object oriented modelling with object petri nets. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 1\u201337. Springer, Heidelberg (2001)"},{"key":"9_CR18","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"1995","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice-Hall, Inc., Englewood Cliffs (1995)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11219-007-9020-9","volume":"16","author":"J. Lian","year":"2008","unstructured":"Lian, J., Hu, Z., Shatz, S.M.: Simulation-based analysis of UML statechart diagrams: Methods and case studies. The Software Quality Journal\u00a016(1), 45\u201378 (2008)","journal-title":"The Software Quality Journal"},{"key":"9_CR20","unstructured":"Mellor, S.J.: Embedded systems in UML. OMG White paper (2007), http:\/\/www.omg.org\/news\/whitepapers\/ , label: We can generate Systems Today"},{"key":"9_CR21","volume-title":"Executable UML: A foundation for model-driven architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.: Executable UML: A foundation for model-driven architecture. Addison-Wesley Publishing Co., Reading (2002)"},{"key":"9_CR22","first-page":"23","volume-title":"20th Australian Software Engineering Conference (ASWEC)","author":"T. Myers","year":"2009","unstructured":"Myers, T., Dromey, R.G.: From requirements to embedded software - formalising the key steps. In: 20th Australian Software Engineering Conference (ASWEC), Gold Cost, Australia, April 14-17, pp. 23\u201333. IEEE Computer Society, Los Alamitos (2009)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.M.: Requirements engineering: a roadmap. In: ICSE - Future of SE Track, pp. 35\u201346 (2000)","DOI":"10.1145\/336512.336523"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri nets. Computer Surveys\u00a09(3), 223\u2013252 (1977)","journal-title":"Computer Surveys"},{"key":"9_CR25","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M.R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modelling and Design. Prentice-Hall, Inc., Englewood Cliffs (1991)"},{"key":"9_CR26","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2002","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Inc., Englewood Cliffs (2002)","edition":"2"},{"key":"9_CR27","unstructured":"Saldhana, J.A., Shatz, S.M.: Uml diagrams to object petri net models: An approach for modeling and analysis. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, pp. 103\u2013110 (July 2000)"},{"key":"9_CR28","volume-title":"Object lifecycles : modeling the world in states","author":"S. Shlaer","year":"1992","unstructured":"Shlaer, S., Mellor, S.J.: Object lifecycles: modeling the world in states. Yourdon Press, Englewood Cliffs (1992)"},{"issue":"1","key":"9_CR29","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"M.H. Beek ter","year":"2003","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Computer Supported Cooperative Work (CSCW)\u00a012(1), 21\u201369 (2003)","journal-title":"Computer Supported Cooperative Work (CSCW)"},{"key":"9_CR30","doi-asserted-by":"publisher","DOI":"10.1201\/9781420013641","volume-title":"Modeling Software with Finite State Machines: A Practical Approach","author":"F. Wagner","year":"2006","unstructured":"Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, NY (2006)"},{"key":"9_CR31","first-page":"277","volume-title":"IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2003)","author":"F. Wagner","year":"2003","unstructured":"Wagner, F., Wolstenholme, P.: Modeling and building reliable, re-useable software. In: IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2003), pp. 277\u2013286. IEEE Computer Society, Los Alamitos (2003)"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-74780-2_14","volume-title":"Cooperative Design, Visualization, and Engineering","author":"L. Wen","year":"2007","unstructured":"Wen, L., Colvin, R., Lin, K., Seagrott, J., Yatapanage, N., Dromey, R.G.: \u201cIntegrare\u201d, a collaborative environment for behavior-oriented design. In: Luo, Y. (ed.) CDVE 2007. LNCS, vol.\u00a04674, pp. 122\u2013131. Springer, Heidelberg (2007)"},{"key":"9_CR33","first-page":"104","volume-title":"2nd International Conference on Software Engineering and Formal Methods (SEFM 2004)","author":"L. Wen","year":"2004","unstructured":"Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 28-30, pp. 104\u2013113. IEEE Computer Society, Los Alamitos (2004)"},{"key":"9_CR34","first-page":"114","volume-title":"9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC\/FSE joint meeting","author":"L. Wen","year":"2007","unstructured":"Wen, L., Kirk, D., Dromey, R.G.: A tool to visualize behavior and design evolution. In: Di Penta, M., Lanza, M. (eds.) 9th International Workshop on Principles of Software Evolution (IWPSE 2007), in conjunction with the 6th ESEC\/FSE joint meeting, Dubrovnik, Croatia, September 3-4, pp. 114\u2013115. ACM, New York (2007)"},{"key":"9_CR35","volume-title":"Software Requirements","author":"K.E. Wiegers","year":"2003","unstructured":"Wiegers, K.E.: Software Requirements, 2nd edn. Microsoft Press, Redmond (2003)","edition":"2"},{"key":"9_CR36","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/ASWEC.2009.41","volume-title":"20th Australian Software Engineering Conference (ASWEC 2009)","author":"K. Winter","year":"2009","unstructured":"Winter, K., Colvin, R., Dromey, R.G.: Dynamic relational behaviour for large-scale systems. In: 20th Australian Software Engineering Conference (ASWEC 2009), Gold Cost, Australia, April 14-17, pp. 173\u2013182. IEEE Computer Society, Los Alamitos (2009)"},{"key":"9_CR37","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, NY (2002)"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23391-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T18:31:11Z","timestamp":1686508271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23391-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233906","9783642233913"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23391-3_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}