{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:03:21Z","timestamp":1746504201727,"version":"3.40.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116167"},{"type":"electronic","value":"9783319116174"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11617-4_16","type":"book-chapter","created":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T09:53:49Z","timestamp":1414144429000},"page":"225-238","source":"Crossref","is-referenced-by-count":5,"title":["A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics"],"prefix":"10.1007","author":[{"given":"Blazo","family":"Nastov","sequence":"first","affiliation":[]},{"given":"Vincent","family":"Chapurlat","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Dony","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Pfister","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"INCOSE, Systems Engineering Vision 2020, INCOSE-TP-2004 (September 2007)"},{"key":"16_CR2","unstructured":"ISO\/IEC, ISO\/IEC 1528: Systems and software engineering - System life cycle processes, vol. 2008(1), p. 5. IEEE (2008)"},{"key":"16_CR3","first-page":"1","volume":"25","author":"J.A. Estefan","year":"2008","unstructured":"Estefan, J.A.: Survey of Model-Based Systems Engineering (MBSE) Methodologies 2. Differentiating Methodologies from Processes, Methods, and Lifecycle Models. Jet Propuls\u00a025, 1\u201370 (2008)","journal-title":"Jet Propuls"},{"key":"16_CR4","unstructured":"BKCASE Project, System Engineering Book of Knowledge, SEBoK v1.2., http:\/\/www.sebokwiki.org\/"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Kent, S.: Model Driven Engineering. In: Integr. Form. Methods, pp. 286\u2013298 (2002)","DOI":"10.1007\/3-540-47884-1_16"},{"key":"16_CR6","unstructured":"Pfister, F., Chapurlat, V., Marianne, H., Nebut, C.: A light-weight annotation-based solution to design Domain Specific Graphical Modeling Languages. In: Proceedings of Modelling Foundations and Applications - 9th European Conference (2013)"},{"key":"16_CR7","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, p. 744. Addison-Wesley Professional (2008)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Pontisso, N., Chemouil, D.: TOPCASED Combining Formal Methods with Model-Driven Engineering. In: 21st IEEE\/ACM Int. Conf. Autom. Softw. Eng. (2006)","DOI":"10.1109\/ASE.2006.68"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-18023-1_5","volume-title":"GTTSE 2009","author":"J.-M. J\u00e9z\u00e9quel","year":"2011","unstructured":"J\u00e9z\u00e9quel, J.-M., Barais, O., Fleurey, F.: Model driven language engineering with Kermeta. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 201\u2013221. Springer, Heidelberg (2011)"},{"key":"16_CR10","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture, p. 416. Addison-Wesley Professional (2002)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Combemale, B., Cr\u00e9gut, X., Pantel, M.: A Design Pattern for Executable DSML. In: The 19th Asia-Pacific Software Engineering Conference (APSEC), pp. 282\u2013287 (2012)","DOI":"10.1109\/APSEC.2012.79"},{"key":"16_CR12","unstructured":"DoD, Systems Engineering Fundamentals. Def. Acquis. Univ. Press (2001)"},{"key":"16_CR13","unstructured":"Combemale, B.: Approche de m\u00e9tamod\u00e9lisation pour la simulation et la v\u00e9rification de mod\u00e8le \u2013 Application \u00e0 l\u2019ing\u00e9nierie des proc\u00e9d\u00e9s. Phd - INPT (2008) (in French)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J.: ATL: a QVT-like transformation language. In: Companion to 21st ACM SIGPLA, pp. 719\u2013720 (2006)","DOI":"10.1145\/1176617.1176691"},{"key":"16_CR15","unstructured":"OMG, MOF Core specification, v2.4.1 (2013), http:\/\/www.omg.org\/spec\/MOF\/2.4.1\/PDF\/"},{"key":"16_CR16","unstructured":"OMG, OCL: Object Constraint Language, v2.4 (2014), http:\/\/www.omg.org\/spec\/OCL\/2.4"},{"key":"16_CR17","unstructured":"Seidner, C.: EFFBDs Verification: Model checking in Systems Engineering. Pdh University of Nantes (2009) (in French)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Chapurlat, V., Braesch, C.: Verification, validation, qualification and certification of enterprise models: Statements and opportunities. Comput. Ind., 711\u2013721 (2008)","DOI":"10.1016\/j.compind.2007.12.018"},{"key":"16_CR19","unstructured":"Haskins, C., Forsberg, K., Krueger, M.: Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. In: Systems Engineering. INCOSE (International Council on Systems Engineering) (August 2011)"},{"key":"16_CR20","unstructured":"Chesnut, H.: Systems Engineering Methods. Wiley & Sons (1967)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Aizier, B., Chapurlat, V., Lisy-Destrez, S., Prun, D., Seidner, C., Wippler, J.-L.: xFFBD: towards a formal yet functional modeling language for system designers. In: 22nd Annual INCOSE International Symposium (2012)","DOI":"10.1002\/j.2334-5837.2012.tb01329.x"},{"key":"16_CR22","series-title":"LNBIP","first-page":"286","volume-title":"ICEIS 2007","author":"B. Combemale","year":"2008","unstructured":"Combemale, B., Cregut, X., Garoche, P.-L., Thirioux, X., Vernadat, F.: A Property-Driven Approach to Formal Verification of Process Models. In: Filipe, J., Cordeiro, J., Cardoso, J. (eds.) ICEIS 2007. LNBIP, vol.\u00a012, pp. 286\u2013300. Springer, Heidelberg (2008)"},{"key":"16_CR23","unstructured":"IEC 60848, Specification language GRAFCET for sequential function charts. 2nd edn. (2000)"},{"key":"16_CR24","unstructured":"Dasgupta, P.: A roadmap for formal property verification. Springer (2010)"},{"issue":"5","key":"16_CR25","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1016\/j.compind.2013.03.002","volume":"64","author":"V. Chapurlat","year":"2013","unstructured":"Chapurlat, V.: UPSL-SE: A model verification framework for Systems Engineering. Comput. Ind.\u00a064(5), 581\u2013597 (2013)","journal-title":"Comput. Ind."}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11617-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T12:45:54Z","timestamp":1746449154000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11617-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116167","9783319116174"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11617-4_16","relation":{},"subject":[],"published":{"date-parts":[[2015]]}}}