{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:32:17Z","timestamp":1725557537717},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642130502"},{"type":"electronic","value":"9783642130519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13051-9_22","type":"book-chapter","created":{"date-parts":[[2010,6,5]],"date-time":"2010-06-05T12:42:08Z","timestamp":1275741728000},"page":"261-273","source":"Crossref","is-referenced-by-count":2,"title":["Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Am\u00e1lio","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Qin","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011, 65\u201399 (1987)","journal-title":"Cognitive Science"},{"issue":"5","key":"22_CR2","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Commun. of the ACM\u00a031(5), 514\u2013530 (1988)","journal-title":"Commun. of the ACM"},{"issue":"6","key":"22_CR3","first-page":"18","volume":"37","author":"M. Sumner","year":"1986","unstructured":"Sumner, M., Sitek, J.: Are structured methods for system analysis and design being used. J. of Systems Management\u00a037(6), 18\u201323 (1986)","journal-title":"J. of Systems Management"},{"issue":"4","key":"22_CR4","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s10664-006-9020-6","volume":"11","author":"B. Anda","year":"2006","unstructured":"Anda, B., Hansen, K., Gullesen, I., Thorsen, H.K.: Experiences from introducing UML-based development in a large safety-critical project. Empirical Software Engineering\u00a011(4), 555\u2013581 (2006)","journal-title":"Empirical Software Engineering"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Amalio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Dept. Computer Science, Univ. of York (2007)","DOI":"10.1016\/j.entcs.2007.09.002"},{"key":"22_CR6","first-page":"3","volume":"191","author":"N. Am\u00e1lio","year":"2007","unstructured":"Am\u00e1lio, N., Polack, F., Stepney, S.: Frameworks based on templates for rigorous model-driven development. ENTCS\u00a0191, 3\u201323 (2007)","journal-title":"ENTCS"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/978-3-540-48480-6_26","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a formal modelling notation. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 336\u2013348. Springer, Heidelberg (1999)"},{"key":"22_CR8","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. PH (1996)"},{"key":"22_CR9","volume-title":"Software Abstractions: logic, language, and analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: logic, language, and analysis. MIT Press, Cambridge (2006)"},{"key":"22_CR10","first-page":"46","volume-title":"WIFT 1995","author":"G. Cleland","year":"1995","unstructured":"Cleland, G., MacKenzie, D.: Inhibiting factors, market structure and industrial uptake of formal methods. In: WIFT 1995, pp. 46\u201360. IEEE, Los Alamitos (1995)"},{"issue":"1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.108047","volume":"25","author":"D. Harel","year":"1992","unstructured":"Harel, D.: Biting the silver bullet: Toward a brighter future for system development. Computer\u00a025(1), 8\u201320 (1992)","journal-title":"Computer"},{"key":"22_CR12","unstructured":"Am\u00e1lio, N., Kelsen, P., Ma, Q.: The visual contract language: abstract modelling of software systems visually, formally and modularly. Tech. Report TR-LASSY-10-03, Univ. of Luxembourg (2010), http:\/\/bit.ly\/9c5YwQ"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Diagrams 2010","author":"N. Am\u00e1lio","year":"2010","unstructured":"Am\u00e1lio, N., Kelsen, P.: VCL, a visual language for modelling software systems formally. In: Diagrams 2010. LNCS. Springer, Heidelberg (2010)"},{"key":"22_CR14","unstructured":"Am\u00e1lio, N., Kelsen, P.: The abstract syntax of structural VCL. Tech. Report TR-LASSY-09-02, Univ. of Luxembourg (2009), http:\/\/bit.ly\/4DHWky"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/11415787_16","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"N. Am\u00e1lio","year":"2005","unstructured":"Am\u00e1lio, N., Polack, F., Stepney, S.: An object-oriented structuring for Z based on views. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 262\u2013278. Springer, Heidelberg (2005)"},{"key":"22_CR16","unstructured":"Amalio, N.: ZOO specification of VCL model describing structural aspects of simple bank case study (2010), http:\/\/bit.ly\/4yBrsW"},{"issue":"2","key":"22_CR17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"T.R.G. Green","year":"1996","unstructured":"Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a \u2018cognitive dimensions\u2019 framework. J. of Visual Languages and Computing\u00a07(2), 131\u2013174 (1996)","journal-title":"J. of Visual Languages and Computing"},{"key":"22_CR18","unstructured":"Am\u00e1lio, N., Ma, Q., Glodt, C., Kelsen, P.V.: specification of the car-crash crisis management system. Tech. Report TR-LASSY-09-03, University of Luxembourg (2009), http:\/\/vcl.gforge.uni.lu\/doc\/vcl-cccms.pdf"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-30482-1_35","volume-title":"Formal Methods and Software Engineering","author":"N. Am\u00e1lio","year":"2004","unstructured":"Am\u00e1lio, N., Stepney, S., Polack, F.: Formal proof from UML models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 418\u2013433. Springer, Heidelberg (2004)"},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"Proc. of OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object-oriented methods. In: Proc. of OOPSLA 1997, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2000","unstructured":"Fish, A., Flower, J., House, J.: The semantics of augmented constraint diagrams. J. of Visual Languages and Computing\u00a016, 541\u2013573 (2000)","journal-title":"J. of Visual Languages and Computing"},{"key":"22_CR22","first-page":"23","volume":"152","author":"K. Ehrig","year":"2006","unstructured":"Ehrig, K., Winkelmann, J.: Model transformation from visual OCL to OCL using graph transformation. ENTCS\u00a0152, 23\u201337 (2006)","journal-title":"ENTCS"},{"key":"22_CR23","unstructured":"Giese, H., Klein, F.: Beyond story patterns: Story decision diagrams. In: Proc. of Fujaba Days 2006, pp. 2\u20139 (2006)"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45441-1_20","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"P. Bottoni","year":"2001","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A visualisation of OCL using collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 257\u2013271. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13051-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T21:35:29Z","timestamp":1559165729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13051-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642130502","9783642130519"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13051-9_22","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2010]]}}}