{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T20:49:23Z","timestamp":1725828563069},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319237268"},{"type":"electronic","value":"9783319237275"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23727-5_27","type":"book-chapter","created":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T05:02:05Z","timestamp":1441170125000},"page":"322-338","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Translation of Architecture Constraint Specifications into Components"],"prefix":"10.1007","author":[{"given":"Sahar","family":"Kallel","sequence":"first","affiliation":[]},{"given":"Bastien","family":"Tramoni","sequence":"additional","affiliation":[]},{"given":"Chouki","family":"Tibermacine","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Dony","sequence":"additional","affiliation":[]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,22]]},"reference":[{"key":"27_CR1","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-21470-7_10","volume-title":"Modelling Foundations and Applications","author":"IS Bajwa","year":"2011","unstructured":"Bajwa, I.S., Lee, M.G.: Transformation rules for translating business rules to OCL constraints. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 132\u2013143. Springer, Heidelberg (2011)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Blewitt, A., Bundy, A., Stark, I.: Automatic verification of design patterns in java. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2005), pp. 224\u2013232. ACM (2005)","DOI":"10.1145\/1101908.1101943"},{"key":"27_CR3","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture. On Patterns and Pattern Languages, vol. 5. Wiley, April 2007"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Umltocsp: a tool for the formal verification of uml\/ocl models using constraint programming. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 547\u2013548. ACM (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"27_CR5","unstructured":"Chappell, D.: Enterprise Service Bus: Theory in Practice. O\u2019Reilly Media (2004)"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/978-3-642-04425-0_53","volume-title":"Model Driven Engineering Languages and Systems","author":"J Chimiak-Opoka","year":"2009","unstructured":"Chimiak-Opoka, J.: OCLLib, OCLUnit, OCLDoc: pragmatic extensions for the object constraint language. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 665\u2013669. Springer, Heidelberg (2009)"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/iet-sen.2008.0022","volume":"2","author":"A Correa","year":"2009","unstructured":"Correa, A., Werner, C., Barros, M.: Refactoring to improve the understandability of specifications written in object constraint language. IET Software 2, 69\u201390 (2009)","journal-title":"IET Software"},{"key":"27_CR8","unstructured":"Demuth, B.: The dresden OCL toolkit and its role in information systems development. In: ISD 2004 (2004)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Eichberg, M., Kloppenburg, S., Klose, K., Mezini, M.: Defining and continuous checking of structural program dependencies. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008). ACM (2008)","DOI":"10.1145\/1368088.1368142"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Favaro, J.: What price reusability?: a case study. In: ACM SIGAda Ada Letters, vol. 11. ACM (1991)","DOI":"10.1145\/112629.112643"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Ferdjoukh, A., Baert, A.-E., Chateau, A., Coletta, R., Nebut, C.: A CSP approach for metamodel instantiation. In: IEEE Internationnal Conference on Tools with Artificial Intelligence, ICTAI 2013, pp. 1044\u20131051 (2013)","DOI":"10.1109\/ICTAI.2013.156"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Frakes, W., Terry, C.: Software reuse: metrics and models. ACM Computing Surveys (CSUR) 28 (1996)","DOI":"10.1145\/234528.234531"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Gaffney, J.E., Durek, T.A.: Software reuse key to enhanced productivity: some quantitative models. Information and Software Technology 31(5) (1989)","DOI":"10.1016\/0950-5849(89)90005-0"},{"key":"27_CR14","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, October 1994"},{"key":"27_CR15","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press (2000)"},{"key":"27_CR16","unstructured":"OMG: Object Management Group. Object constraint language (ocl), v2.4, specification: Omg document formal\/2014-02-03, February 2014. \n                      http:\/\/www.omg.org\/spec\/OCL\/2.4\/"},{"key":"27_CR17","unstructured":"Hassam, K., Sadou, S., Fleurquin, R., et al.: Adapting OCL constraints after a refactoring of their model using an mde process. In: BElgian-NEtherlands software eVOLution seminar (BENEVOL 2010), pp. 16\u201327 (2010)"},{"issue":"6","key":"27_CR18","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/TSE.2006.60","volume":"32","author":"D Hou","year":"2006","unstructured":"Hou, D., Hoover, H.J.: Using scl to specify and check design intent in source code. IEEE Transactions on Software Engineering 32(6), 404\u2013423 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Klarlund, N., Koistinen, J., Schwartzbach, M.I.: Formal design constraints. In: Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, San Jose, CA, USA, pp. 370\u2013383. ACM Press (1996)","DOI":"10.1145\/236338.236376"},{"key":"27_CR20","unstructured":"Lattix. \n                      http:\/\/lattix.com\/"},{"key":"27_CR21","unstructured":"Meyer, B.: Touch of Class. Springer, June 2013"},{"key":"27_CR22","unstructured":"Monroe, R.T.: Capturing software architecture design expertise with armani. Technical report, School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA (2001)"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Petre, M.: Uml in practice. In: Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), pp. 722\u2013731. IEEE Press, May 2013","DOI":"10.1109\/ICSE.2013.6606618"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Reimann, J., Wilke, C., Demuth, B., Muck, M., A\u00dfmann, U.: Tool supported OCL refactoring catalogue. In: Proceedings of the 12th Workshop on OCL and Textual Modelling, pp. 7\u201312. ACM (2012)","DOI":"10.1145\/2428516.2428518"},{"key":"27_CR25","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall (1996)"},{"key":"27_CR26","unstructured":"Sonar. \n                      http:\/\/www.sonarqube.org\/"},{"issue":"3","key":"27_CR27","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/322139.322143","volume":"26","author":"K-C Tai","year":"1997","unstructured":"Tai, K.-C.: The tree-to-tree correction problem. Journal of the ACM 26(3), 422\u2013433 (1997)","journal-title":"Journal of the ACM"},{"key":"27_CR28","volume-title":"Software Architecture 2, chapter Architecture Constraints","author":"C Tibermacine","year":"2014","unstructured":"Tibermacine, C.: Software Architecture 2, chapter Architecture Constraints. John Wiley and Sons, New York (2014)"},{"key":"27_CR29","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/11783565_21","volume-title":"Component-Based Software Engineering","author":"C Tibermacine","year":"2006","unstructured":"Tibermacine, C., Fleurquin, R., Sadou, S.: On-demand quality-oriented assistance in component-based software evolution. In: Gorton, I., Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 294\u2013309. Springer, Heidelberg (2006)"},{"key":"27_CR30","doi-asserted-by":"crossref","unstructured":"Tibermacine, C., Fleurquin, R., Sadou, S.: Simplifying transformations of architectural constraints. In: Proceedings of the ACM Symposium on Applied Computing (SAC 2006), Track on Model Transformation, Dijon, France. ACM Press. April 2006","DOI":"10.1145\/1141277.1141568"},{"key":"27_CR31","doi-asserted-by":"crossref","unstructured":"Tibermacine, C., Sadou, S., Dony, C., Fabresse, L.: Component-based specification of software architecture constraints. In: Proceedings of the 14th ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2011). ACM (2011)","DOI":"10.1145\/2000229.2000235"},{"key":"27_CR32","unstructured":"That, T.M.T., Tibermacine, C., Sadou, S.: Catalogue of architectural patterns characterized by constraint components, Version 1.0. Technical report, July 2013, 53p"},{"key":"27_CR33","doi-asserted-by":"crossref","unstructured":"Zdun, U., Avgeriou, P.: A catalog of architectural primitives for modeling architectural patterns. Information and Software Technology 50(9) (2008)","DOI":"10.1016\/j.infsof.2007.09.003"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23727-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T16:06:29Z","timestamp":1559232389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23727-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319237268","9783319237275"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23727-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}