{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:43:22Z","timestamp":1770299002950,"version":"3.49.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319112442","type":"print"},{"value":"9783319112459","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11245-9_1","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T04:35:11Z","timestamp":1409978111000},"page":"1-20","source":"Crossref","is-referenced-by-count":21,"title":["ProMoBox: A Framework for Generating Domain-Specific Property Languages"],"prefix":"10.1007","author":[{"given":"Bart","family":"Meyers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romuald","family":"Deshayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levi","family":"Lucio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Syriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Gray, J., Tolvanen, J.P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-specific modeling. In: Handbook of Dynamic System Modeling (2007)","DOI":"10.1201\/9781420010855.pt2"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: ICSE (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"1_CR3","unstructured":"Risoldi, M.: A Methodology For The Development Of Complex Domain Specific Languages. PhD thesis, University of Geneva (2010)"},{"key":"1_CR4","first-page":"541","volume":"11","author":"W. Visser","year":"2012","unstructured":"Visser, W., Dwyer, M., Whalen, M.: The hidden models of model checking. SoSym\u00a011, 541\u2013555 (2012)","journal-title":"SoSym"},{"key":"1_CR5","unstructured":"Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Wimmer, M., Vangheluwe, H.: The ProMoBox approach to language modelling. Technical Report SOCS-TR-2014.3, School of Computer Science, McGill University (2014)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Meyers, B., Wimmer, M., Vangheluwe, H.: Towards domain-specific property languages: The ProMoBox approach. In: DSM (2013)","DOI":"10.1145\/2541928.2541936"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: ICSE (1999)","DOI":"10.1145\/302405.302672"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-12261-3_23","volume-title":"Models in Software Engineering","author":"T. K\u00fchne","year":"2010","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 240\u2013255. Springer, Heidelberg (2010)"},{"key":"1_CR9","unstructured":"Syriani, E.: A Multi-Paradigm Foundation for Model Transformation Language Engineering. PhD thesis, McGill University Montreal, Canada (2011)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: A Visual Specification Language for Model-to-Model Transformations. In: VL\/HCC (2010)","DOI":"10.1109\/VLHCC.2010.25"},{"key":"1_CR11","first-page":"5","volume":"20","author":"E. Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., et al.: Automated verification of model transformations based on visual contracts. ASE\u00a020, 5\u201346 (2013)","journal-title":"ASE"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. TSE\u00a023, 279\u2013295 (1997)","journal-title":"TSE"},{"key":"1_CR13","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Mierlo, S.V., Ergin, H.: AToMPM: A Web-based Modeling Environment. In: MoDELS Demonstrations (2013)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Lin, Y., Gray, J., Jouault, F.: DSMDiff: A Differentiation Tool for Domain-Specific Models. European Journal of Information Systems\u00a016 (2007)","DOI":"10.1057\/palgrave.ejis.3000685"},{"key":"1_CR15","unstructured":"Cimatti, A., Mover, S., Tonetta, S.: Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems. In: FMCAD (2011)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","first-page":"298","volume-title":"SDL 2005: Model Driven","author":"X. Li","year":"2005","unstructured":"Li, X., Hu, J., Bu, L., Zhao, J., Zheng, G.: Consistency Checking of Concurrent Models for Scenario-Based Specifications. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol.\u00a03530, pp. 298\u2013312. Springer, Heidelberg (2005)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1109\/TSE.2008.104","volume":"35","author":"P. Pelliccione","year":"2008","unstructured":"Pelliccione, P., Inverardi, P., Muccini, H.: CHARMY: A Framework for Designing and Verifying Architectural Specifications. TSE\u00a035, 325\u2013346 (2008)","journal-title":"TSE"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-30473-6_12","volume-title":"Tests and Proofs","author":"P. Brosch","year":"2012","unstructured":"Brosch, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., Wimmer, M.: Towards Scenario-Based Testing of UML Diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 149\u2013155. Springer, Heidelberg (2012)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-69489-2_6","volume-title":"Models in Software Engineering","author":"A. Knapp","year":"2007","unstructured":"Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 42\u201351. Springer, Heidelberg (2007)"},{"key":"1_CR20","first-page":"357","volume":"55","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS\u00a055, 357\u2013369 (2001)","journal-title":"ENTCS"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00434-6_5","volume-title":"Software Language Engineering","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 54\u201373. Springer, Heidelberg (2009)"},{"key":"1_CR22","unstructured":"Gabmeyer, S., Kaufmann, P., Seidl, M.: A classification of model checking-based verification approaches for software models. In: VOLT (2013)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-39866-0_35","volume-title":"Perspectives of System Informatics","author":"P. Ziemann","year":"2004","unstructured":"Ziemann, P., Gogolla, M.: OCL Extended with Temporal Logic. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 351\u2013357. Springer, Heidelberg (2004)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-36089-3_6","volume-title":"Software Language Engineering","author":"B. Kanso","year":"2013","unstructured":"Kanso, B., Taha, S.: Temporal Constraint Support for OCL. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 83\u2013103. Springer, Heidelberg (2013)"},{"key":"1_CR25","unstructured":"Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL Model Checking. In: OCL Workshop (2013)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-34032-1_34","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"F. Zalila","year":"2012","unstructured":"Zalila, F., Cr\u00e9gut, X., Pantel, M.: Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 329\u2013343. Springer, Heidelberg (2012)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A Design Pattern to Build Executable DSMLs and Associated V&V Tools. In: APSEC (2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-71289-3_16","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Klein","year":"2007","unstructured":"Klein, F., Giese, H.: Joint structural and temporal property specification using timed story scenario diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 185\u2013199. Springer, Heidelberg (2007)"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-33296-8_8","volume-title":"Formal Methods: Foundations and Applications","author":"S.A. Costa Cavalheiro da","year":"2012","unstructured":"da Costa Cavalheiro, S.A., Foss, L., Ribeiro, L.: Specification Patterns for Properties over Reachable States of Graph Grammars. In: Gheyi, R., Naumann, D. (eds.) SBMF 2012. LNCS, vol.\u00a07498, pp. 83\u201398. Springer, Heidelberg (2012)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Deshayes, R., Palanque, P.A., Mens, T.: A generic framework for executable gestural interaction models. In: VL\/HCC (2013)","DOI":"10.1109\/VLHCC.2013.6645240"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11245-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:55:30Z","timestamp":1558972530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11245-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112442","9783319112459"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11245-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}