{"id":29189,"date":"2022-03-25T10:07:47","date_gmt":"2022-03-25T09:07:47","guid":{"rendered":"https:\/\/cesam.community\/?p=29189"},"modified":"2022-11-14T10:43:55","modified_gmt":"2022-11-14T09:43:55","slug":"verification-of-bpmn-models","status":"publish","type":"post","link":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/","title":{"rendered":"Verification of BPMN Models"},"content":{"rendered":"

Abstract:
\n<\/strong>Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model. This notation is used by the French Army as well as its main suppliers to describe the interactions between participants involved in a mission. It is therefore important the models are correct.<\/p>\n

The VeriMoB project is a research project financed by the DGA (Direction G\u00e9n\u00e9rale de l\u2019Armement) in collaboration with Eurocontrol and Airbus DS who provided some real use cases. The project aims at developing a tool that will help users to verify their BPMN models. This tool covers three main aspects: a static verification, an interactive execution, an automatic exploration of the possible scenarios. This paper will present the results from this project.<\/p>\n

Speaker:<\/strong> Emmanuel Gaudin & Mihal Brumbulli<\/strong>, Pragmadev<\/p>\n<\/div><\/div><\/div><\/div>

last article<\/h2>
An Excel-based Systems-Engineering Tool for Knowledge Sharing and Collaboration across the Enterprise<\/a>
This presentation include case studies from NASA JPL in the US and Nissan in Japan....<\/div>Continue reading<\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>

To scroll through the slides use the toolbar at the bottom of the presentation.<\/em><\/span><\/p>\n<\/div>

[pdf-embedder url=\u00a0\u00bbhttps:\/\/cesam.community\/wp-content\/uploads\/2022\/03\/CSDM19Verification_of_BPMN_models.pdf\u00a0\u00bb]<\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"

Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model. This notation is used by the French Army as well as its main suppliers to describe the interactions between participants involved in a mission.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[225],"tags":[181],"yoast_head":"\nVerification of BPMN Models<\/title>\n<meta name=\"description\" content=\"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Verification of BPMN Models\" \/>\n<meta property=\"og:description\" content=\"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\" \/>\n<meta property=\"og:site_name\" content=\"Cesam Community\" \/>\n<meta property=\"article:published_time\" content=\"2022-03-25T09:07:47+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2022-11-14T09:43:55+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@cesamcommunity\" \/>\n<meta name=\"twitter:site\" content=\"@cesamcommunity\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505\"},\"headline\":\"Verification of BPMN Models\",\"datePublished\":\"2022-03-25T09:07:47+00:00\",\"dateModified\":\"2022-11-14T09:43:55+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\"},\"wordCount\":383,\"publisher\":{\"@id\":\"https:\/\/cesam.community\/fr\/#organization\"},\"keywords\":[\"Presentation\"],\"articleSection\":[\"CSD&M 2019 Paris\"],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\",\"url\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\",\"name\":\"Verification of BPMN Models\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/#website\"},\"datePublished\":\"2022-03-25T09:07:47+00:00\",\"dateModified\":\"2022-11-14T09:43:55+00:00\",\"description\":\"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...\",\"breadcrumb\":{\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/cesam.community\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CSD&M 2019 Paris\",\"item\":\"https:\/\/cesam.community\/fr\/category\/csdm-2019\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Verification of BPMN Models\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/cesam.community\/fr\/#website\",\"url\":\"https:\/\/cesam.community\/fr\/\",\"name\":\"Cesam Community\",\"description\":\"La communaut\u00e9 CESAM\",\"publisher\":{\"@id\":\"https:\/\/cesam.community\/fr\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/cesam.community\/fr\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/cesam.community\/fr\/#organization\",\"name\":\"CESAM Community\",\"url\":\"https:\/\/cesam.community\/fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png\",\"contentUrl\":\"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png\",\"width\":7310,\"height\":1018,\"caption\":\"CESAM Community\"},\"image\":{\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/x.com\/cesamcommunity\",\"https:\/\/www.linkedin.com\/company\/community-cesam\/about\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505\",\"name\":\"admin\",\"sameAs\":[\"https:\/\/cesam.community\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Verification of BPMN Models","description":"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/","og_locale":"fr_FR","og_type":"article","og_title":"Verification of BPMN Models","og_description":"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...","og_url":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/","og_site_name":"Cesam Community","article_published_time":"2022-03-25T09:07:47+00:00","article_modified_time":"2022-11-14T09:43:55+00:00","author":"admin","twitter_card":"summary_large_image","twitter_creator":"@cesamcommunity","twitter_site":"@cesamcommunity","twitter_misc":{"\u00c9crit par":"admin","Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#article","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/"},"author":{"name":"admin","@id":"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505"},"headline":"Verification of BPMN Models","datePublished":"2022-03-25T09:07:47+00:00","dateModified":"2022-11-14T09:43:55+00:00","mainEntityOfPage":{"@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/"},"wordCount":383,"publisher":{"@id":"https:\/\/cesam.community\/fr\/#organization"},"keywords":["Presentation"],"articleSection":["CSD&M 2019 Paris"],"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/","url":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/","name":"Verification of BPMN Models","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/#website"},"datePublished":"2022-03-25T09:07:47+00:00","dateModified":"2022-11-14T09:43:55+00:00","description":"Business Process Model Notation (BPMN) is part of NAF and allows describing the behavior of the different participants in the model...","breadcrumb":{"@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cesam.community\/fr\/2022\/03\/25\/verification-of-bpmn-models\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/cesam.community\/fr\/"},{"@type":"ListItem","position":2,"name":"CSD&M 2019 Paris","item":"https:\/\/cesam.community\/fr\/category\/csdm-2019\/"},{"@type":"ListItem","position":3,"name":"Verification of BPMN Models"}]},{"@type":"WebSite","@id":"https:\/\/cesam.community\/fr\/#website","url":"https:\/\/cesam.community\/fr\/","name":"Cesam Community","description":"La communaut\u00e9 CESAM","publisher":{"@id":"https:\/\/cesam.community\/fr\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cesam.community\/fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/cesam.community\/fr\/#organization","name":"CESAM Community","url":"https:\/\/cesam.community\/fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/","url":"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png","contentUrl":"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png","width":7310,"height":1018,"caption":"CESAM Community"},"image":{"@id":"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/cesamcommunity","https:\/\/www.linkedin.com\/company\/community-cesam\/about\/"]},{"@type":"Person","@id":"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505","name":"admin","sameAs":["https:\/\/cesam.community"]}]}},"_links":{"self":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/29189"}],"collection":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/comments?post=29189"}],"version-history":[{"count":4,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/29189\/revisions"}],"predecessor-version":[{"id":32353,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/29189\/revisions\/32353"}],"wp:attachment":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/media?parent=29189"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/categories?post=29189"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/tags?post=29189"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}