{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:44:03Z","timestamp":1748583843428},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_4","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T09:52:04Z","timestamp":1254304324000},"page":"32-46","source":"Crossref","is-referenced-by-count":48,"title":["Meta-model Pruning"],"prefix":"10.1007","author":[{"given":"Sagar","family":"Sen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naouel","family":"Moha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"OMG: UML 2.0 Specfication, http:\/\/www.omg.org\/spec\/UML\/2.0\/","key":"4_CR1"},{"issue":"2","key":"4_CR2","first-page":"5","volume":"5","author":"L. Fuentes-Fern\u00e1ndez","year":"2004","unstructured":"Fuentes-Fern\u00e1ndez, L., Vallecillo-Moreno, A.: An introduction to uml profiles. UPGRADE, European Journal for the Informatics Professional\u00a05(2), 5\u201313 (2004)","journal-title":"UPGRADE, European Journal for the Informatics Professional"},{"unstructured":"OMG: UML Profile Catalog, http:\/\/www.omg.org\/technology\/documents\/profile_catalog.htm","key":"4_CR3"},{"issue":"6","key":"4_CR4","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not.\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"unstructured":"Solberg, A., France, R., Reddy, R.: Navigating the metamuddle. In: Proceedings of the 4th Workshop in Software Model Engineering, Montego Bay, Jamaica (2005)","key":"4_CR5"},{"unstructured":"Niaz, I.A., Tanaka, J.: Code generation from uml statecharts. In: Proc. 7 th IASTED International Conf. on Software Engineering and Application (SEA 2003), Marina Del Rey, pp. 315\u2013321 (2003)","key":"4_CR6"},{"doi-asserted-by":"crossref","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM (2009)","key":"4_CR7","DOI":"10.1145\/1743546.1743583"},{"doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: ACM\/IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)","key":"4_CR8","DOI":"10.1109\/ICST.2008.62"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","volume-title":"ICMT 2009","author":"S. Sen","year":"2009","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 148\u2013164. Springer, Heidelberg (2009)"},{"unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley Professional, Reading","key":"4_CR10"},{"doi-asserted-by":"crossref","unstructured":"Phan, T.H., Gerard, S., Terrier, F.: Real-time system modeling with accord\/uml methodology: illustration through an automotive case study. In: Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL 2003, pp. 51\u201370 (2004)","key":"4_CR11","DOI":"10.1007\/1-4020-7991-5_4"},{"key":"4_CR12","series-title":"The Eclipse Series","volume-title":"Eclipse Modeling Framework","author":"B. Frank","year":"2004","unstructured":"Frank, B.: Eclipse Modeling Framework. The Eclipse Series, vol.\u00a01. Addison-Wesley, Reading (2004)"},{"unstructured":"Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Cr\u00e9gut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. In: Embedded Real Time Software (ERTS), Toulouse, February-May (2006)","key":"4_CR13"},{"issue":"5","key":"4_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Softw.\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"unstructured":"OMG: The Object Constraint Language Specification 2.0, OMG Document: ad\/03- 01-07 (2007)","key":"4_CR15"},{"doi-asserted-by":"crossref","unstructured":"Lagarde, F., Terrier, F., Andr\u00e9, C., G\u00e9rard, S.: Extending ocl to ensure model transformations, pp. 126\u2013136 (2007)","key":"4_CR16","DOI":"10.1007\/978-3-540-76292-8_15"},{"unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (October 2005)","key":"4_CR17"},{"unstructured":"Limited, X.: Language driven development and xmf-mosaic. Whitepaper (2005)","key":"4_CR18"},{"unstructured":"Inc., A.: http:\/\/www.adaptive.com\/","key":"4_CR19"},{"doi-asserted-by":"crossref","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Towards dependable model transformations: Qualifying input test data. Journal of Software and Systems Modeling, SoSyM (2007)","key":"4_CR20","DOI":"10.1007\/s10270-007-0074-8"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.A. Muller","year":"2005","unstructured":"Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"unstructured":"OMG: Mof 2.0 core specification. Technical Report formal\/06-01-01, OMG (April 2006) OMG Available Specification","key":"4_CR22"},{"unstructured":"Sen, S.: Meta-model pruning kermeta implementation, https:\/\/www.irisa.fr\/triskell\/softwares-fr\/protos\/metamodelpruner\/","key":"4_CR23"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J. Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.M.: On model typing. Journal of Software and Systems Modeling (SoSyM)\u00a06(4), 401\u2013414 (2007)","journal-title":"Journal of Software and Systems Modeling (SoSyM)"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S1571-0661(04)80066-5","volume":"20","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Vanderwaart, J.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Electronic Notes in Theoretical Computer Science\u00a020, 50\u201375 (1999)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Steel, J.: Typage de mod\u00e8les. PhD thesis, Universit\u00e9 de Rennes 1 (April 2007)","key":"4_CR26"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04425-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:01:19Z","timestamp":1558566079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}