{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T03:29:31Z","timestamp":1783740571138,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540317807","type":"print"},{"value":"9783540317814","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663430_6","type":"book-chapter","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T06:28:22Z","timestamp":1137565702000},"page":"48-57","source":"Crossref","is-referenced-by-count":10,"title":["Automated Analysis of Natural Language Properties for UML Models"],"prefix":"10.1007","author":[{"given":"Sascha","family":"Konrad","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Targeting safety-related errors during software requirements analysis. SIGSOFT 1993 Symposium on the Foundations of Software Engineering (1993)","DOI":"10.1145\/256428.167069"},{"key":"6_CR2","unstructured":"Object Management Group: Model driven architecture (2005), http:\/\/www.omg.org\/mda\/"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1109\/ICSE.2004.1317445","volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE 2004)","author":"B. Berenbach","year":"2004","unstructured":"Berenbach, B.: The evaluation of large, complex UML analysis and design models. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 232\u2013241. IEEE Computer Society, Los Alamitos (2004)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., Stephenson, R., Berenbach, B.: Lessons learned from metrics-based automated analysis of industrial UML models (an experience report). In: Proceedings of the ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, pp. 324\u2013338 (2005)","DOI":"10.1007\/11557432_24"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Facilitating the construction of specification pattern-based properties. In: Proceedings of the IEEE International Requirements Engineering Conference (RE 2005), Paris, France (2005)","DOI":"10.1109\/RE.2005.29"},{"key":"6_CR6","unstructured":"I-logix: Rhapsody (2005), http:\/\/www.ilogix.com\/rhapsody\/rhapsody.cfm"},{"key":"6_CR7","unstructured":"IBM: Rational Rose XDE Developer (2005), http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/rosexde\/"},{"key":"6_CR8","volume-title":"Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE 1999)","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE 1999), Washington, DC, USA. IEEE Computer Society, Los Alamitos (1999)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science, vol.\u00a055(3) (2001)","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/337180.337620","volume-title":"Proceedings of the 22nd International Conference on Software Engineering","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 742\u2013745. ACM Press, New York (2000)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"Proceedings of the 21st International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proceedings of the IEEE International Conference on Software Engineering (ICSE 2001), Toronto, Canada (2001)","DOI":"10.1109\/ICSE.2001.919116"},{"key":"6_CR13","unstructured":"Object Management Group: UML Specifications, Version 1.4 (2002), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/04-07-02"},{"key":"6_CR14","unstructured":"Object Management Group: UML 2.0 Superstructure Specification (2004), http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2004-10-02"},{"key":"6_CR15","unstructured":"Object Management Group: OMG-XML metadata interchange (XMI) specification, v1.1 (2000), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/00-11-02"},{"key":"6_CR16","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G. Holzmann","year":"2004","unstructured":"Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering Education in the Modern Age","author":"S. Konrad","year":"2006","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309. Springer, Heidelberg (2006)"},{"key":"6_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a0(2), 244\u2013263 (1986)","DOI":"10.1145\/5397.5399"},{"issue":"1-2","key":"6_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(96)80701-8","volume":"166-170","author":"Y.S. Ramakrishna","year":"1996","unstructured":"Ramakrishna, Y.S., Melliar-Smith, P.M., Moser, L.E., Dillon, L.K., Kutty, G.: Interval logics and their decision procedures: Part I + II. Theoretical Computer Science\u00a0166-170(1-2), 1\u201347,1\u201346 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"K.M. Olender","year":"1990","unstructured":"Olender, K.M., Osterweil, L.J.: Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering\u00a016(3), 268\u2013280 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"6_CR22","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/s007660200020","volume":"7","author":"L.A. Campbell","year":"2002","unstructured":"Campbell, L.A., Cheng, B.H.C., McUmber, W.E., Stirewalt, R.E.K.: Automatically detecting and visualizing errors in UML diagrams. Requirements Engineering Journal\u00a07(4), 246\u2013287 (2002)","journal-title":"Requirements Engineering Journal"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013414. Springer, Heidelberg (2002)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-61474-5_83","volume-title":"Computer Aided Verification","author":"R. Nelken","year":"1996","unstructured":"Nelken, R., Francez, N.: Automatic translation of natural-language system specifications into temporal logic. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 360\u2013371. Springer, Heidelberg (1996)"},{"key":"6_CR25","first-page":"11","volume-title":"Proceedings of the 24th International Conference on Software Engineering","author":"R.L. Smith","year":"2002","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: An approach supporting property elucidation. In: Proceedings of the 24th International Conference on Software Engineering, pp. 11\u201321. ACM Press, New York (2002)"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218194004001567","volume":"14","author":"O. Mondragon","year":"2004","unstructured":"Mondragon, O., Gates, A.Q.: Supporting elicitation and specification of software properties through patterns and composite propositions. International Journal on Software Engineering and Knowledge Engineering\u00a014(1), 21\u201341 (2004)","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/162754.162882","volume-title":"SAC 1993: Proceedings of the 1993 ACM\/SIGAPP Symposium on Applied Computing","author":"A.A. Khwaja","year":"1993","unstructured":"Khwaja, A.A., Urban, J.E.: Syntax-directed editing environments: Issues and features. In: SAC 1993: Proceedings of the 1993 ACM\/SIGAPP Symposium on Applied Computing, pp. 230\u2013237. ACM Press, New York (1993)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Konrad, S., Campbell, L.A., Cheng, B.H.C.: Automated analysis of timing information in UML diagrams. In: Proceedings of the Nineteenth IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, pp. 350\u2013353 (2004) (Poster summary)","DOI":"10.1109\/ASE.2004.1342762"}],"container-title":["Lecture Notes in Computer Science","Satellite Events at the MoDELS 2005 Conference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663430_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T06:20:40Z","timestamp":1683354040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663430_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317807","9783540317814"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11663430_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}