{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:09:07Z","timestamp":1784351347739,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642160851","type":"print"},{"value":"9783642160868","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16086-8_5","type":"book-chapter","created":{"date-parts":[[2010,9,17]],"date-time":"2010-09-17T10:54:40Z","timestamp":1284720880000},"page":"151-199","source":"Crossref","is-referenced-by-count":5,"title":["Using VCL as an Aspect-Oriented Approach to Requirements Modelling"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Am\u00e1lio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qin","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Glodt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"12","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM\u00a015(12), 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1049\/ip-sen:20040920","volume":"151","author":"R. France","year":"2004","unstructured":"France, R., Ray, I., Ghosh, S.: Aspect-oriented approach to early design modelling. IEE Proc. Softw.\u00a0151(4), 173\u2013185 (2004)","journal-title":"IEE Proc. Softw."},{"key":"5_CR3","series-title":"LNBIP","volume-title":"EMMSAD 2010","author":"N. Am\u00e1lio","year":"1977","unstructured":"Am\u00e1lio, N., Kelsen, P., Ma, Q.: Specifying structural properties and their constraints formally, visually and modularly using VCL. In: EMMSAD 2010. LNBIP, vol.\u00a050, Springer, Heidelberg (1977)"},{"key":"5_CR4","series-title":"LNAI","first-page":"282","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: Jamnik, M. (ed.) Diagrams 2010. LNCS (LNAI), vol.\u00a06170, pp. 282\u2013284. Springer, Heidelberg (2010)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N., Kelsen, P., Ma, Q.: The visual contract language: abstract modelling of software systems visually, formally and modularly. Technical Report TR-LASSY-10-03, LASSY, Univ. of Luxembourg (2010), http:\/\/vcl.gforge.uni.lu\/doc\/vcl-tech-rep.pdf","DOI":"10.1007\/978-3-642-14600-8_29"},{"issue":"10","key":"5_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"5_CR7","volume-title":"The Z notation: A reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z notation: A reference manual. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 262\u2013278. Springer, Heidelberg (2005)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, 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":"5_CR10","doi-asserted-by":"crossref","unstructured":"Am\u00e1lio, N., Polack, F., Stepney, S.: UML+Z: Augmenting UML with Z. In: Abrias, H., Frappier, M. (eds.) Software Specification Methods. ISTE (2006)","DOI":"10.1002\/9780470612514"},{"key":"5_CR11","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":"5_CR12","first-page":"1","volume":"7","author":"J. Kienzle","year":"2010","unstructured":"Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis management systems: a case study for aspect-oriented modeling. Transactions on Aspect-Oriented Software Development\u00a07, 1\u201322 (2010)","journal-title":"Transactions on Aspect-Oriented Software Development"},{"key":"5_CR13","volume-title":"Applying UML and patterns","author":"C. Larman","year":"2002","unstructured":"Larman, C.: Applying UML and patterns. Prentice-Hall, Englewood Cliffs (2002)"},{"key":"5_CR14","unstructured":"Am\u00e1lio, N., Ma, Q., Glodt, C., Kelsen, P.: VCL specification of the car-crash crisis management system. Technical Report TR-LASSY-09-03, LASSY, Univ. of Luxembourg (2009), http:\/\/vcl.gforge.uni.lu\/doc\/vcl-cccms.pdf"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer\u00a029(2) (1996)","DOI":"10.1109\/2.485845"},{"key":"5_CR16","volume-title":"Design Patterns: Elements of reusable object-oriented software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of reusable object-oriented software. Addison-Wesley, Reading (1994)"},{"key":"5_CR17","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 Sciece\u00a011, 65\u201399 (1987)","journal-title":"Cognitive Sciece"},{"key":"5_CR18","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":"5_CR19","first-page":"85","volume-title":"AOSD 2007","author":"I.N.L.B. Wilke Havings","year":"2007","unstructured":"Wilke Havings, I.N.L.B., Aksit, M.: A graph-based approach to modeling and detecting composition conflicts related to introductions. In: AOSD 2007, pp. 85\u201395. ACM Press, New York (2007)"},{"key":"5_CR20","volume-title":"Objects, Components and Frameworks with UML: the Catalysis approach","author":"D. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, Components and Frameworks with UML: the Catalysis approach. Addison-Wesley, Reading (1998)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In: IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 63\u201370 (2005)","DOI":"10.1109\/VLHCC.2005.35"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11841883_24","volume-title":"Graph Transformations","author":"G. Engels","year":"2006","unstructured":"Engels, G., Lohmann, M., Sauer, S., Heckel, R.: Model-driven monitoring: an application of graph transformation for design by contract. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 336\u2013350. Springer, Heidelberg (2006)"},{"issue":"2","key":"5_CR23","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10009-006-0020-z","volume":"9","author":"R. Heckel","year":"2007","unstructured":"Heckel, R., Lohmann, M.: Model-driven development of reactive information systems: from graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer\u00a09(2), 193\u2013207 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5_CR24","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":"5_CR25","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flowe, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR26","first-page":"87","volume":"259","author":"J. Howse","year":"2009","unstructured":"Howse, J., Schuman, S., Stapleton, G.: Diagrammatic formal specification of a configuration control platform. ENTCS\u00a0259, 87\u2013104 (2009)","journal-title":"ENTCS"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/11687061_3","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"R. Reddy","year":"2006","unstructured":"Reddy, R., Ghosh, S., France, R., Straw, G., Bieman, J.M., et al.: Directives for composing aspect-oriented design class models. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 75\u2013105. Springer, Heidelberg (2006)"},{"issue":"4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1049\/ip-sen:20040921","volume":"151","author":"J. Whittle","year":"2004","unstructured":"Whittle, J., Ara\u00fajo, J.: Scenario modelling with aspects. IEE Proc. Softw.\u00a0151(4), 157\u2013171 (2004)","journal-title":"IEE Proc. Softw."},{"key":"5_CR29","volume-title":"AOSD 2009","author":"J. Kienzle","year":"2009","unstructured":"Kienzle, J., Abed, W.A., Klein, J.: Aspect-oriented multi-view modelling. In: AOSD 2009, IEEE, Los Alamitos (2009)"},{"issue":"1","key":"5_CR30","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"A. McNeile","year":"2006","unstructured":"McNeile, A., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Software and Systems Modelling\u00a05(1), 91\u2013107 (2006)","journal-title":"Software and Systems Modelling"},{"key":"5_CR31","volume-title":"AOM 2008","author":"A. McNeile","year":"2008","unstructured":"McNeile, A., Roubtsova, E.: CSP parallel composition of aspect models. In: AOM 2008, ACM Press, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16086-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T03:36:12Z","timestamp":1636515372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16086-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642160851","9783642160868"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16086-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}