{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:52:43Z","timestamp":1725486763561},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729006"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72901-3_10","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T11:45:55Z","timestamp":1182858355000},"page":"130-143","source":"Crossref","is-referenced-by-count":1,"title":["Constraints Modeling for (Profiled) UML Models"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Lagarde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Object Management Group (OMG): Unified Modeling Language: Superstructure, ptc\/06-04-02 (April 2006)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Stein, D., Hanenberg, S., Unland, R.: A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. Lecture Notes in Computer Science: Model Driven Architecture (2005)","DOI":"10.1007\/11538097_6"},{"key":"10_CR3","unstructured":"Marcus, A., Ivan, P.: Difference and Union of Models. Technical Report 527, TUCS (April 2003)"},{"key":"10_CR4","unstructured":"Lin, Y., Zhang, J., Gray, J.: Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. Best Practices for model Driven Software Development OOPSLA\/GPCE Workshop (2004)"},{"key":"10_CR5","unstructured":"Object Management Group (OMG): MOF 2.0 Query\/Views\/Transformations, ptc\/05-11-01 (2005)"},{"key":"10_CR6","unstructured":"Simmonds, D., France, R., Ghosh, S.: Using Directives to Implement Model Transformations. In: From MDD to Experiments and Illustrations. Hardback (2006)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 06), pp. 1188\u20131195. chapter Model transformation (MT 2006) (2006)","DOI":"10.1145\/1141277.1141561"},{"key":"10_CR8","unstructured":"Wang, W.: Evaluation of UML Model Transformation Tools. Master\u2019s thesis, OOLS. University of Vienna, Business Informatics Group (2005)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Kalnins, A., Celms, E., Sostaks, A.: Simple and Efficient Implementation of Pattern Matching in MOLA Tool. In: Proceedings of the 7th International Baltic Conference on Databases and Information Systems (Baltic 92006) pp. 159\u2013167 (July 2006)","DOI":"10.1109\/DBIS.2006.1678491"},{"key":"10_CR10","unstructured":"Object Management Group (OMG): UML Profile for Schedulability, Performance, and Time, ptc\/05-01-02 (January 2005)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"R.F. Paige","year":"2005","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.: Refinement via Consistency Checking in MDA. Electronic Notes in Theoretical Computer Science\u00a0137, 151\u2013161 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR12","unstructured":"Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: UML and platform-based design. Technical report (2003)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. Goessler","year":"2005","unstructured":"Goessler, G., Sifakis, J.: Composition for Component-Based Modeling. Science of Computer Programming\u00a055, 161\u2013183 (2005)","journal-title":"Science of Computer Programming"},{"key":"10_CR14","series-title":"NATO Science Series: Mathematics, Physics, and Chemistry","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software-intensive Systems","author":"L. Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based Design. In: Broy, M., Gruenbauer, J., Harel, D., Hoare, C.A.R. (eds.) Engineering Theories of Software-intensive Systems. NATO Science Series: Mathematics, Physics, and Chemistry, vol.\u00a0195, pp. 83\u2013104. Springer, Heidelberg (2005)"},{"key":"10_CR15","unstructured":"Eclipse Modeling Framework Technology, \n                  \n                    http:\/\/www.eclipse.org\/emft"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture- Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72901-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:07:33Z","timestamp":1605762453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72901-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729006"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72901-3_10","relation":{},"subject":[]}}