{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:51:30Z","timestamp":1753440690973,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360886"},{"type":"electronic","value":"9783642360893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36089-3_19","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:13:00Z","timestamp":1357780380000},"page":"332-351","source":"Crossref","is-referenced-by-count":7,"title":["On the Reusable Specification of Non-functional Properties in DSLs"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Taylor, R.N., Gall, H., Medvidovic, N. (eds.) Proc. 33rd Int\u2019l Conf. on Software Engineering (ICSE 2011), pp. 471\u2013480. ACM (2011)","DOI":"10.1145\/1985793.1985858"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10270-009-0136-1","volume":"9","author":"Z. Hemel","year":"2010","unstructured":"Hemel, Z., Kats, L.C.L., Groenewegen, D.M., Visser, E.: Code generation by model transformation: A case study in transformation modularity. Software and Systems Modelling\u00a09(3), 375\u2013402 (2010); Published on-line first at www.springerlink.com","journal-title":"Software and Systems Modelling"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"19_CR4","volume-title":"Proc. 2010 Spring Simulation Multiconference (SpringSim 2010)","author":"J. Troya","year":"2010","unstructured":"Troya, J., Rivera, J.E., Vallecillo, A.: Simulating domain specific visual models by observation. In: Proc. 2010 Spring Simulation Multiconference (SpringSim 2010), pp. 128:1\u2013128:8. ACM, New York (2010)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2009, pp. 51\u201355. IEEE (2009)","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10270-009-0115-6","volume":"9","author":"S. Zschaler","year":"2009","unstructured":"Zschaler, S.: Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof. Software and Systems Modelling (SoSyM)\u00a09, 161\u2013201 (2009)","journal-title":"Software and Systems Modelling (SoSyM)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"S. Katz","year":"2006","unstructured":"Katz, S.: Aspect Categories and Classes of Temporal Properties. In: Rashid, A., Ak\u015fit, M. (eds.) Transactions on AOSD I. LNCS, vol.\u00a03880, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Orejas, F., Zschaler, S.: Behaviour protection in modular rule-based system specifications (submitted for publication, 2012)","DOI":"10.1007\/978-3-642-37635-1_2"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-) modeling. Software and Systems Modeling\u00a05, 369\u2013385 (2006)","journal-title":"Software and Systems Modeling"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-02674-4_3","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Tisi","year":"2009","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the Use of Higher-Order Model Transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a01. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"issue":"1","key":"19_CR13","first-page":"135","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae\u00a074(1), 135\u2013166 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"19_CR15","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2005)"},{"issue":"5","key":"19_CR16","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM ToPLaS\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM ToPLaS"},{"issue":"7","key":"19_CR17","first-page":"180","volume":"25","author":"S. Lack","year":"2011","unstructured":"Lack, S.: An embedding theorem for adhesive categories. Theory and Applications of Categories\u00a025(7), 180\u2013188 (2011)","journal-title":"Theory and Applications of Categories"},{"issue":"1-2","key":"19_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"19_CR19","unstructured":"Atenea: Reusable Specification of Observers (2012), http:\/\/atenea.lcc.uma.es\/index.php\/Main_Page\/Resources\/ReusableObservers"},{"key":"19_CR20","unstructured":"Frolund, S., Koistinen, J.: QML: A language for quality of service specification. Technical Report HPL-98-10, Hewlett-Packard Laboratories (1998)"},{"key":"19_CR21","unstructured":"Aagedal, J.\u00d8.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)"},{"key":"19_CR22","unstructured":"R\u00f6ttger, S., Zschaler, S.: CQML\u2009+\u2009: Enhancements to CQML. In: Bruel, J.M. (ed.) Proc. 1st Int\u2019l Workshop on Quality of Service in Component-Based Software Engineering, pp. 43\u201356 (June 2003)"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Proc. 26th Int\u2019l Conf. on Software Engineering (ICSE 2004), pp. 179\u2013188. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317440"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Bravenboer, M., Visser, E.: Concrete syntax for objects: Domain-specific language embedding and assimilation without restrictions. In: Proc. 19th Annual ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), pp. 365\u2013383. ACM Press (2004)","DOI":"10.1145\/1028976.1029007"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-00434-6_6","volume-title":"Software Language Engineering","author":"M. Bravenboer","year":"2009","unstructured":"Bravenboer, M., Visser, E.: Parse Table Composition Separate Compilation and Binary Extensibility of Grammars. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 74\u201394. Springer, Heidelberg (2009)"},{"issue":"5","key":"19_CR26","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10009-010-0142-1","volume":"12","author":"H. Krahn","year":"2010","unstructured":"Krahn, H., Rumpe, B., V\u00f6lkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int\u2019l Journal on Software Tools for Technology Transfer (STTT)\u00a012(5), 353\u2013372 (2010)","journal-title":"Int\u2019l Journal on Software Tools for Technology Transfer (STTT)"},{"key":"19_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-12107-4_19","volume-title":"Software Language Engineering","author":"C. Wende","year":"2010","unstructured":"Wende, C., Thieme, N., Zschaler, S.: A Role-Based Approach towards Modular Language Engineering. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 254\u2013273. Springer, Heidelberg (2010)"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Carton, A., Driver, C., Jackson, A., Clarke, S.: Model-driven Theme\/UML. Transactions on Aspect-Oriented Software Development (2008)","DOI":"10.1007\/978-3-642-03764-1_7"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Abed, W.A., Klein, J.: Aspect-oriented multi-view modeling. In: Proc. 8th ACM Int\u2019l Conf. on Aspect-Oriented Software Development (AOSD 2009), pp. 87\u201398. ACM (2009)","DOI":"10.1145\/1509239.1509252"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-03764-1_2","volume-title":"Transactions on Aspect-Oriented Software Development VI","author":"F. Heidenreich","year":"2009","unstructured":"Heidenreich, F., Henriksson, J., Johannes, J., Zschaler, S.: On Language-Independent Model Modularisation. In: Katz, S., Ossher, H., France, R., J\u00e9z\u00e9quel, J.-M. (eds.) Transactions on AOSD VI. LNCS, vol.\u00a05560, pp. 39\u201382. Springer, Heidelberg (2009)"},{"key":"19_CR31","unstructured":"Harrison, W.H., Ossher, H.L., Tarr, P.L.: Asymmetrically vs. symmetrically organized paradigms for software composition. Technical Report RC22685, IBM Research (2002)"},{"key":"19_CR32","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":"Y.R. Reddy","year":"2006","unstructured":"Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for Composing Aspect-Oriented Design Class Models. In: Rashid, A., Ak\u015fit, M. (eds.) Transactions on AOSD I. LNCS, vol.\u00a03880, pp. 75\u2013105. Springer, Heidelberg (2006)"},{"key":"19_CR33","unstructured":"Kleppe, A.G.: 1st European workshop on composition of model transformations (CMT 2006). Technical Report TR-CTIT-06-34, Centre for Telematics and Information Technology, University of Twente (June 2006)"},{"key":"19_CR34","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Mah\u00e9, V., Barais, O., Baudry, B., J\u00e9z\u00e9quel, J.M.: Reusable model transformations. Software and Systems Modeling (SoSyM), 1\u201315 (2010)","DOI":"10.1007\/s10270-010-0181-9"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36089-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:44:29Z","timestamp":1745945069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36089-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360886","9783642360893"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36089-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}