{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:47Z","timestamp":1725749447016},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_33","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T15:40:59Z","timestamp":1379605259000},"page":"538-554","source":"Crossref","is-referenced-by-count":1,"title":["Validation of Derived Features and Well-Formedness Constraints in DSLs"],"prefix":"10.1007","author":[{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","unstructured":"The Eclipse Project: Eclipse Modeling Framework, http:\/\/www.eclipse.org\/emf"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Willink, E.D.: An extensible OCL virtual machine and code generator. In: Proc. of the 12th Workshop on OCL and Textual Modelling, pp. 13\u201318. ACM (2012)","DOI":"10.1145\/2428516.2428519"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-16145-2_6","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Bergmann","year":"2010","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental Evaluation of Model Queries over EMF Models. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 76\u201390. Springer, Heidelberg (2010)"},{"key":"33_CR4","unstructured":"ARINC - Aeronautical Radio, Incorporated: A653 - Avionics Application Software Standard Interface"},{"key":"33_CR5","unstructured":"AUTOSAR Consortium: The AUTOSAR Standard, http:\/\/www.autosar.org\/"},{"key":"33_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura De","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"33_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-31491-9_10","volume-title":"Modelling Foundations and Applications","author":"I. R\u00e1th","year":"2012","unstructured":"R\u00e1th, I., Heged\u00fcs, \u00c1., Varr\u00f3, D.: Derived features for EMF by integrating advanced model queries. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 102\u2013117. Springer, Heidelberg (2012)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-33666-9_10","volume-title":"Model Driven Engineering Languages and Systems","author":"\u00c1. Heged\u00fcs","year":"2012","unstructured":"Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: Query-driven soft interconnection of EMF models. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 134\u2013150. Springer, Heidelberg (2012)"},{"key":"33_CR9","unstructured":"Piskac, R., de Moura, L., Bjorner, N.: Deciding effectively propositional logic with equality, Microsoft Research, MSR-TR-2008-181 Technical Report (2008)"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G. Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for emf models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 167\u2013182. Springer, Heidelberg (2011)"},{"key":"33_CR11","unstructured":"SAE - Radio Technical Commission for Aeronautic: Architecture Analysis & Design Language (AADL) v2, AS-5506A, SAE International (2009)"},{"key":"33_CR12","unstructured":"Mathworks: Matlab Simulink - Simulation and Model-Based Design, http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"33_CR13","unstructured":"The Object Management Group: Object Constraint Language, v2.0 (May 2006), http:\/\/www.omg.org\/spec\/OCL\/2.0\/"},{"key":"33_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-30476-7_2","volume-title":"Theory and Practice of Model Transformations","author":"S. Sen","year":"2012","unstructured":"Sen, S., Mottu, J.M., Tisi, M., Cabot, J.: Using models of partial knowledge to test model transformations. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol.\u00a07307, pp. 24\u201339. Springer, Heidelberg (2012)"},{"key":"33_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-642-24485-8_48","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2011","unstructured":"Jackson, E.K., Tiham, Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 653\u2013667. Springer, Heidelberg (2011)"},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-31491-9_19","volume-title":"Modelling Foundations and Applications","author":"F. B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Cabot, J.: Lightweight string reasoning for OCL. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 244\u2013258. Springer, Heidelberg (2012)"},{"key":"33_CR17","unstructured":"Semer\u00e1th, O.: Validation of Domain Specific Languages, Technical Report (2013), https:\/\/incquery.net\/publications\/dslvalid"},{"key":"33_CR18","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"issue":"4","key":"33_CR19","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model.\u00a04(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"key":"33_CR20","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1145\/1321631.1321737","volume-title":"Proc. of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007)","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: Proc. of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), pp. 547\u2013548. ACM, New York (2007)"},{"key":"33_CR21","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: First international conference on software testing verification and validation. In: Verification of UML\/OCL Class Diagrams using Constraint Programming, pp. 73\u201380. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"1","key":"33_CR22","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model.\u00a09(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"33_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-34281-3_16","volume-title":"Formal Methods and Software Engineering","author":"F. B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 198\u2013213. Springer, Heidelberg (2012)"},{"key":"33_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M. Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol.\u00a06705, pp. 290\u2013306. Springer, Heidelberg (2011)"},{"key":"33_CR25","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML\/OCL models using boolean satisfiability. In: Design, Automation and Test in Europe (DATE 2010), pp. 1341\u20131344. IEEE (2010)","DOI":"10.1109\/DATE.2010.5457017"},{"key":"33_CR26","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the Object Constraint Language into first-order predicate logic. In: Proc of the VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark (2002)"},{"key":"33_CR27","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Checking unsatisfiability for OCL constraints. ECEASST 24 (2009)"},{"key":"33_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: Finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng.\u00a073, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"key":"33_CR29","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL tool (2007), http:\/\/www.brucker.ch\/"},{"key":"33_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-02138-1_10","volume-title":"Formal Techniques for Distributed Systems","author":"H. Gr\u00f6nniger","year":"2009","unstructured":"Gr\u00f6nniger, H., Ringert, J.O., Rumpe, B.: System model-based definition of modeling language semantics. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 152\u2013166. Springer, Heidelberg (2009)"},{"key":"33_CR31","unstructured":"Clavel, M., Egea, M.: The ITP\/OCL tool (2008), http:\/\/maude.sip.ucm.es\/itp\/ocl\/"},{"key":"33_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-33666-9_28","volume-title":"Model Driven Engineering Languages and Systems","author":"F. B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J.: On verifying ATL transformations using \u2018off-the-shelf\u2019 SMT solvers. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 432\u2013448. Springer, Heidelberg (2012)"},{"key":"33_CR33","first-page":"159","volume":"211","author":"J. Winkelmann","year":"2008","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. ENTCS\u00a0211, 159\u2013170 (2008), Proc. of the 5th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006) (2006)","journal-title":"ENTCS"},{"issue":"3","key":"33_CR34","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/s10270-009-0129-0","volume":"9","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: A UML\/OCL framework for the analysis of graph transformation rules. Softw. Syst. Model.\u00a09(3), 335\u2013357 (2010)","journal-title":"Softw. Syst. Model."},{"key":"33_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-16145-2_10","volume-title":"Model Driven Engineering Languages and Systems","author":"L. L\u00facio","year":"2010","unstructured":"L\u00facio, L., Barroca, B., Amaral, V.: A technique for automatic validation of model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 136\u2013150. Springer, Heidelberg (2010)"},{"key":"33_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-31491-9_5","volume-title":"Modelling Foundations and Applications","author":"M. Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: Strengthening SAT-based validation of UML\/OCL models by representing collections as relations. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 32\u201348. Springer, Heidelberg (2012)"},{"key":"33_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-33666-9_26","volume-title":"Model Driven Engineering Languages and Systems","author":"E.K. Jackson","year":"2012","unstructured":"Jackson, E.K., Schulte, W., Bj\u00f8rner, N.: Detecting specification errors in declarative languages with constraints. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 399\u2013414. Springer, Heidelberg (2012)"}],"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-41533-3_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:59:52Z","timestamp":1688493592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}