{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:06:11Z","timestamp":1725516371208},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690696"},{"type":"electronic","value":"9783540690733"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69073-3_21","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"194-205","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse"],"prefix":"10.1007","author":[{"given":"Emine G.","family":"Aydal","sequence":"first","affiliation":[]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Gogolla, M., Richters, M.: Using the UML Specification Environment(USE) (2002), http:\/\/citeseer.ist\/psu.edu\/531031.html"},{"key":"21_CR2","unstructured":"Introduction to Mondex Purse Operation, Tech. report., Mondex International Limited (1999), https:\/\/mol.mastercard.net\/mol\/molbe\/public\/login\/ebusiness\/smart_cards\/mondex\/"},{"key":"21_CR3","unstructured":"Woodcock, J., Banach, R.: The Verification Grand Challenge, Computer Society of India Communications (2007)"},{"key":"21_CR4","unstructured":"Stepney, S., Cooper, D., Woodcock, J.: An Electronic Purse: Specification, Refinement and Proof. Oxford University Computing Laboratory, Tech Report (2000)"},{"key":"21_CR5","unstructured":"Sendall, S., Strohmeier, A.: Specifying System Behaviour in UML, Technical Report DI\/00\/343, EPFL (2000)"},{"key":"21_CR6","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language, Getting Your Models Ready for MDA, Wesley (2003)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, Springer, Heidelberg (2003)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Buettner, M., Richters, M.: USE:UML Specification Environment for Validating UML and OCL, Science of Computer Programming (2006)","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/ICSE.1996.493403","volume-title":"Proceedings of the 18th International Conference on Software Engineering, (ICSE)","author":"B. Korel","year":"1996","unstructured":"Korel, B., Al-Yami, A.M.: Assertion-oriented automated test data generation. In: Proceedings of the 18th International Conference on Software Engineering (ICSE), pp. 71\u201380. IEEE, Los Alamitos (1996)"},{"key":"21_CR10","unstructured":"The Object Constraint Language (viewed 06\/2007), http:\/\/www.um.es\/giisw\/ocltools\/ocl.htm"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Baar, T., Chiorean, D., Correa, A., Gogolla, M., Hussmann, H., Patrascoiu, O., Schmitt, P.H., Warmer, J.: Tool Support for OCL and Related Formalism - Needs and Trends, Technical Report, MODELS 2005 (2005), http:\/\/www.db.informatik.uni-bremen.de\/publications\/Baar_2005_OCLWS.ps","DOI":"10.1007\/11663430_1"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Kassios, I.T.: Dynamic Frames: Support for Framing, Dependencies and Sharing without Restrictions, In: FM 2006, pp. 208-283 (2006)","DOI":"10.1007\/11813040_19"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69073-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:31:13Z","timestamp":1605745873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69073-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540690696","9783540690733"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69073-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}