{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:52Z","timestamp":1725486592699},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_4","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"59-75","source":"Crossref","is-referenced-by-count":10,"title":["Model Checking of Extended OCL Constraints on UML Models in SOCLe"],"prefix":"10.1007","author":[{"given":"John","family":"Mullins","sequence":"first","affiliation":[]},{"given":"Raveca","family":"Oarga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"637","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. The International Journal of Formal Methods\u00a011, 637\u2013664 (1999)","journal-title":"The International Journal of Formal Methods"},{"key":"4_CR2","first-page":"147","volume-title":"COMPSAC","author":"W. Shen","year":"2002","unstructured":"Shen, W., Compton, K., Huggins, J.K.: A tool for supporting UML static and dynamic model checking. In: COMPSAC. 26th IEEE International Computer Software and Applications Conference, Oxford, England, pp. 147\u2013152. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering Research and Applications","author":"S. Gnesi","year":"2006","unstructured":"Gnesi, S., Mazzanti, F.: On the fly model checking of communication UML state machine. In: Dosch, W., Lee, R.Y., Wu, C. (eds.) SERA 2004. LNCS, vol.\u00a03647, Springer, Heidelberg (2006)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Sifakis, J.: Tools and applications II: The if tool. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. LNCS, vol.\u00a03185, Springer, Heidelberg (2004)"},{"key":"4_CR5","first-page":"255","volume-title":"ASE","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. In: ASE. IEEE\/ACM International Conference on Automated Software Engineering, pp. 255\u2013258. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"4_CR6","series-title":"ENTCS","volume-title":"CAV 2001","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. In: CAV 2001. ENTCS, vol.\u00a055(3), IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL: The Rationale behind the Object Constraint Language","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL extension for real-time constraints. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL: The Rationale behind the Object Constraint Language, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Bradfield","year":"2002","unstructured":"Bradfield, J., Filipe, J.K., Stevens, P.: Enriching OCL using observational mu-calculus. In: Kutsche, R.D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306, pp. 203\u2013217. Springer, Heidelberg (2002)"},{"key":"4_CR9","unstructured":"Ziemann, P., Gogolla, M.: An OCL extension for formulating temporal constraints. Technical Report 1\/03, Universit\u00e4t Bremen (2003)"},{"key":"4_CR10","volume-title":"Proc. FMOODS\u20192000","author":"D. Distefano","year":"2000","unstructured":"Distefano, D., Katoen, J.P., Rensink, R.: On a temporal logic for object-based systems. In: Smith, S.F., Talcott, C.L. (eds.) Proc. FMOODS\u20192000. Formal Methods for Open Object-Based Distributed Systems IV, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"4_CR11","unstructured":"Oarga, R.: On-the-fly verification of extended OCL constraints over UML models. Master\u2019s thesis, \u00c9cole Polytechnique de Montr\u00e9al, Universit\u00e9 de Montr\u00e9al (in French) (2005)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/3-540-57208-2_31","volume-title":"CONCUR\u201993","author":"B. Vergauwen","year":"1993","unstructured":"Vergauwen, B., Lewi, J.: A Linear Local Model Checking Algorithm for CTL. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 447\u2013461. Springer, Heidelberg (1993)"},{"issue":"3","key":"4_CR13","first-page":"367","volume":"3","author":"A. Cavarra","year":"2004","unstructured":"Cavarra, A., Riccobene, E., Scandurra, P.: Mapping UML into abstract state machines: a framework to simulate UML. Studia Informatica Universalis.\u00a03(3), 367\u2013398 (2004)","journal-title":"Studia Informatica Universalis."},{"key":"4_CR14","unstructured":"Bergeron, M.: An ASM semantics for UML\/OCL. Master\u2019s thesis, \u00c9cole Polytechnique de Montr\u00e9al, Universit\u00e9 de Montr\u00e9al (2004)"},{"key":"4_CR15","unstructured":"OMG: Response to the UML 2.0 OCL RfP (ad\/2000-09-03). Technical Report ad\/2002-05-09 (2002)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology\u00a05, 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"4_CR17","first-page":"67","volume-title":"Proc. of MOMPES\u201905","author":"D. Azambre","year":"2005","unstructured":"Azambre, D., Bergeron, M., Mullins, J.: Validating UML and OCL models in SOCLe by simulation and model checking. In: Lilius, J., et al. (eds.) Proc. of MOMPES\u201905. 2nd International Workshop on Model Based Methodologies for Pervasive and Embedded Software, vol.\u00a039, pp. 67\u201376. General Publications, TUCS (2005)"},{"key":"4_CR18","unstructured":"Painchaud, F., Azambre, D., Bergeron, M., Mullins, J., Oarga, R.: Socle: Integrated design of software applications and security. In: ICCRTS 2005. Proceedings of The Tenth International Command and Control Research and Technology Symposium (2005)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Technical Report 2003-05, Department of Computing Science, Chalmers University of Technology and G\u00f6teborg University (2003)","DOI":"10.1007\/s10270-004-0058-x"},{"key":"4_CR20","unstructured":"Gogolla, M., Richters, M., Bohling, J.: Tool Support for Validating UML and OCL Models Through Automatic Snapshot Generation. In: SAICSIT \u201903. Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology. South African Institute for Computer Scientists and Information Technologists, pp. 248\u2013257 (2003)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"D. Chiorean","year":"2003","unstructured":"Chiorean, D., Pasca, M., Carcu, A., Botiza, C., Moldovan, S.: Ensuring UML Models Consistency Using The OCL Environment. In: Stevens, P., Whittle, J., Booch, G. (eds.) \u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications. LNCS, vol.\u00a02863, Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72952-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:55:08Z","timestamp":1683914108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}