{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:38:44Z","timestamp":1725475124342},"reference-count":19,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387348285"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34831-5_4","type":"book-chapter","created":{"date-parts":[[2006,11,29]],"date-time":"2006-11-29T15:04:42Z","timestamp":1164812682000},"page":"47-61","source":"Crossref","is-referenced-by-count":2,"title":["Practical Verification Strategy for Refinement Conditions in UML Models"],"prefix":"10.1007","author":[{"given":"Claudia","family":"Pons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Astesiano E., Reggio G. An Algebraic Proposal for Handling UML Consistency\u201d, Workshop on Consistency Problems in UML-based Software Development. UML Conference (2003)."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Back, R. & von Wright, J. Refinement calculus: a systematic introduction, Graduate texts in computer science, Springer Verlag. (1998)","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"4_CR3","unstructured":"Boiten E.A. and Bujorianu M.C. Exploring UML refinement through unification. Proceedings of the UML\u201903 workshop on Critical Systems Development with UML, J. Jurjens, B. Rumpe, et al., editors-TUM-I0323, Technische Universitat Munchen. (2003)."},{"key":"4_CR4","unstructured":"Cavalcanti A. and Naumann D. Simulation and Class Refinement for Java. In proceedings of ECOOP 2000 Workshop on Formal Techniques for Java Programs. (2000)."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Davies J. and Crichton C. Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science 70,3, Elsevier, 2002.","DOI":"10.1016\/S1571-0661(05)80494-3"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Derrick, J. and Boiten, E. Refinement in Z and Object-Z. Foundation and Advanced Applications. FACIT, Springer. (2001)","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Engels G., K\u00fcster J., Heckel R. and Groenewegen L. A Methodology for Specifying and Analyzing Consistency of Object Oriented Behavioral Models. Procs. of the IEEE Int. Conference on Foundation of Software Engineering. Vienna. (2001).","DOI":"10.1145\/503271.503235"},{"key":"4_CR8","series-title":"LNCS","volume-title":"Proc. 6th Int. Conf. Unified Modeling Language (UML\u20192003)","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, Martin, Bohling, J\u00f6rn and Richters, Mark. Validation of UML and OCL Models by Automatic Snapshot Generation. In G. Booch, P. Stevens, and J. Whittle, editors, Proc. 6th Int. Conf. Unified Modeling Language (UML\u20192003). Springer, Berlin, LNCS 2863, (2003)."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Jackson, Daniel, Shlyakhter, I. and Sridharan. A micromodularity Mechanism. In proceedings of the ACM Sigsoft Conference on the Foundation of Software Engineering FSE\u201901. (2001).","DOI":"10.1145\/503218.503219"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Kim, S. and Carrington, D., Formalizing the UML Class Diagrams using Object-Z, proceedings UML\u201999 Conference, Lecture Notes in Computer Sciencie 1723 (1999).","DOI":"10.1007\/3-540-46852-8_7"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Lano, K. The B Language and Method. FACIT. Springer, (1996).","DOI":"10.1007\/978-1-4471-1494-9"},{"key":"4_CR12","unstructured":"Lano, K., Biccaregui, J., Formalizing the UML in Structured Temporal Theories, 2nd. ECOOP Workshop on Precise Behavioral Semantics, TUM-I9813, Technische U. Munchen (1998)."},{"key":"4_CR13","unstructured":"Ledang, Hung and Souquieres, Jeanine. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Procs. of IEEE Asia-Pacific Software Engineering Conference 2002. December 4\u20136, (2002)."},{"key":"4_CR14","unstructured":"Liu, Z., Jifeng H., Li, X. Chen Y. Consistency and Refinement of UML Models. 3er Workshop on Consistency Problems in UML-based Software Development III, event of the UML Conference, (2004)."},{"key":"4_CR15","unstructured":"UML 2.0. The Unified Modeling Language Superstructure version 2.0\u2013OMG Final Adopted Specification., http:\/\/www.omg.org. August 2003"},{"key":"4_CR16","unstructured":"OCL 2.0. OMG Final Adopted Specification. October 2003."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Pons C., Giandini R., P\u00e9rez G., et al. Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In \u201cUML Modeling Languages and Applications: Satellite Activities\u201d. Lecture Notes in Computer Science 3297. Springer, (2004).","DOI":"10.1007\/978-3-540-31797-5_26"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Pons Claudia. Heuristics on the Definition of UML Refinement Patterns. 32nd International Conference on Current Trends in Theory and Practice of Computer Science. SOFSEM (SOFtware SEMinar). January 21\u201327, 2006. Merin, Czech Republic. Published in the Springer LNCS (Lecture Notes in Computer Science) by Springer-Verlag. (2006)","DOI":"10.1007\/11611257_44"},{"key":"4_CR19","unstructured":"Pons Claudia. On the definition of UML refinement patterns. Workshop MoDeVa at ACM\/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Jamaica. October 2005."}],"container-title":["IFIP International Federation for Information Processing","Advanced Software Engineering: Expanding the Frontiers of Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34831-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:51:23Z","timestamp":1619574683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34831-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387348285"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34831-5_4","relation":{},"subject":[]}}