{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T12:54:27Z","timestamp":1779108867022,"version":"3.51.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319211503","type":"print"},{"value":"9783319211510","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21151-0_7","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T03:07:07Z","timestamp":1437016027000},"page":"92-107","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["AspectOCL: Extending OCL for Crosscutting Constraints"],"prefix":"10.1007","author":[{"given":"Muhammad Uzair","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Numra","family":"Arshad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hafsa","family":"Umar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"7_CR1","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-driven software development: technology, engineering, management. John Wiley & Sons (2013)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume":"1","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synthesis Lectures on Software Engineering 1, 1\u2013182 (2012)","journal-title":"Synthesis Lectures on Software Engineering"},{"key":"7_CR3","unstructured":"Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With Uml (Addison-Wesley Object Technology Series) (1998)"},{"key":"7_CR4","unstructured":"Specification, O.M.G.A.: Object Constraint Language (May 2006)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-319-11743-0_16","volume-title":"System Analysis and Modeling: Models and Reusability","author":"S Ali","year":"2014","unstructured":"Ali, S., Yue, T., Zohaib Iqbal, M., Panesar-Walawege, R.K.: Insights on the use of OCL in diverse industrial applications. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 223\u2013238. Springer, Heidelberg (2014)"},{"issue":"10","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: Generating Test Data from OCL Constraints with Search Techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/383845.383864","volume":"44","author":"J Gray","year":"2001","unstructured":"Gray, J., Bapty, T., Neema, S., Tuck, J.: Handling crosscutting constraints in domain-specific modeling. Communications of the ACM 44, 87\u201393 (2001)","journal-title":"Communications of the ACM"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2005.10.020","volume":"152","author":"L Lengyel","year":"2006","unstructured":"Lengyel, L., Levendovszky, T., Mezei, G., Forstner, B., Charaf, H.: Metamodel-based model transformation with aspect-oriented constraints. Electronic Notes in Theoretical Computer Science 152, 111\u2013123 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/383845.383862","volume":"44","author":"GC Murphy","year":"2001","unstructured":"Murphy, G.C., Walker, R.J., Baniassad, E.L.A., Robillard, M.P., Lai, A., Kersten, M.A.: Does aspect-oriented programming work? Communications of the ACM 44, 75\u201377 (2001)","journal-title":"Communications of the ACM"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"1189","DOI":"10.1007\/s10270-012-0293-5","volume":"13","author":"S Ali","year":"2014","unstructured":"Ali, S., Yue, T., Briand, L.C.: Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines? Software & Systems Modeling, Springer 13(3), 1189\u20131221 (2014)","journal-title":"Software & Systems Modeling, Springer"},{"key":"7_CR11","unstructured":"Clarke, S., Baniassad, E.: Aspect-oriented analysis and design. Addison-Wesley Professional (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Laddad, R.: AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications (2003)","DOI":"10.1109\/MS.2003.1241372"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/383845.383853","volume":"44","author":"T Elrad","year":"2001","unstructured":"Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented programming: Introduction. Communications of the ACM 44, 29\u201332 (2001)","journal-title":"Communications of the ACM"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Mguni, K., Ayalew, Y.: An Assessment of Maintainability of an Aspect-Oriented System. International Scholarly Research Notices (2013)","DOI":"10.1155\/2013\/121692"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s10270-011-0206-z","volume":"11","author":"S Ali","year":"2012","unstructured":"Ali, S., Briand, L.C., Hemmati, H.: Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems. Software and Systems Modeling 11(4), 633\u2013670 (2012)","journal-title":"Software and Systems Modeling"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Khan, M.U., Iqbal, M.Z., Ali, S.: A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. In: 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 557\u2013560. IEEE (2014)","DOI":"10.1109\/ICSME.2014.94"},{"key":"7_CR17","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., Georg, G., Ghosh, S.: Aspect-oriented approach to early design modelling. IEE Proceedings-Software 151, 173\u2013185 (2004)","journal-title":"IEE Proceedings-Software"},{"key":"7_CR18","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Pearson Education (2008)"},{"key":"7_CR19","unstructured":"Wilson, B.: EU-Rent Car Rentals Case Study. Model Systems & Brian Wilson Associates (1994)"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-28830-2_4","volume-title":"Software Language Engineering","author":"R Tairas","year":"2012","unstructured":"Tairas, R., Cabot, J.: Cloning in DSLs: experiments with OCL. In: Sloane, A., A\u00dfmann, U. (eds.) SLE 2011. LNCS, vol. 6940, pp. 60\u201376. Springer, Heidelberg (2012)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-30982-3_3","volume-title":"Formal Methods for Model-Driven Engineering","author":"J Cabot","year":"2012","unstructured":"Cabot, J., Gogolla, M.: Object constraint language (OCL): a definitive guide. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 58\u201390. Springer, Heidelberg (2012)"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-007-0078-4","volume":"7","author":"D Costal","year":"2008","unstructured":"Costal, D., G\u00f3mez, C., Queralt, A., Ravent\u00f3s, R., Teniente, E.: Improving the definition of general constraints in UML. Softw Syst Model 7, 469\u2013486 (2008)","journal-title":"Softw Syst Model"},{"key":"7_CR23","unstructured":"http:\/\/eclipse.org\/Xtext\/"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1978802.1978807","volume":"43","author":"M Wimmer","year":"2011","unstructured":"Wimmer, M., Schauerhuber, A., Kappel, G., Retschitzegger, W., Schwinger, W., Kapsammer, E.: A survey on UML-based aspect-oriented design modeling. ACM Computing Surveys (CSUR) 43, 28 (2011)","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"7_CR25","unstructured":"Richters, M., Gogolla, M.: Aspect-oriented monitoring of UML and OCL constraints. In: AOSD Modeling With UML Workshop, 6th International Conference on the Unified Modeling Language (UML), San Francisco, USA. Citeseer (2003)"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-319-09195-2_4","volume-title":"Modelling Foundations and Applications","author":"W Dou","year":"2014","unstructured":"Dou, W., Bianculli, D., Briand, L.: OCLR: a more expressive, pattern-based temporal extension of OCL. In: Van Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 51\u2013166. Springer, Heidelberg (2014)"},{"key":"7_CR27","unstructured":"Hearnden, D., Raymond, K., Steel, J.: MQL: a powerful extension to OCL for MOF queries. In: Proceedings Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. pp. 264\u2013276. IEEE (2003)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-39013-5_2","volume-title":"Modelling Foundations and Applications","author":"H St\u00f6rrle","year":"2013","unstructured":"St\u00f6rrle, H.: MOCQL: a declarative language for ad-hoc model querying. In: Van Gorp, P., Ritter, T., Rose, L.M. (eds.) ECMFA 2013. LNCS, vol. 7949, pp. 3\u201319. Springer, Heidelberg (2013)"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/3-540-45669-4_10","volume-title":"Object Modeling with the OCL","author":"B Rumpe","year":"2002","unstructured":"Rumpe, B.: \u226a Java\u226b OCL Based on New Presentation of the OCL-Syntax. In: Clark, T., Warmer, J. (eds.) ECMFA 2013. LNCS, vol. 2263, pp. 189\u2013212. Springer, Heidelberg (2002)"},{"key":"7_CR30","unstructured":"Aldawud, O., Elrad, T., Bader, A.: UML profile for aspect-oriented software development. In: Proceedings of Third International Workshop on Aspect-Oriented Modeling. Citeseer (2003)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Usman, M., Iqbal, M.Z., Khan, M.U.: A model-driven approach to generate mobile applications for multiple platforms. In: 21st Asia-Pacific Software Engineering Conference (APSEC), pp. 111\u2013118 (2014)","DOI":"10.1109\/APSEC.2014.26"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-319-08789-4_2","volume-title":"Theory and Practice of Model Transformations","author":"AA Jilani","year":"2014","unstructured":"Jilani, A.A., Iqbal, M.Z., Khan, M.U.: A search based test data generation approach for model transformations. In: Di Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 17\u201324. Springer, Heidelberg (2014)"},{"key":"7_CR33","unstructured":"Frias, L., Queralt, A., Ramon, A.O.: EU-Rent car rentals specification (2003)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21151-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T18:31:11Z","timestamp":1674239471000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21151-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211503","9783319211510"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21151-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}