{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T23:10:55Z","timestamp":1778886655363,"version":"3.51.4"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/syscon.2016.7490662","type":"proceedings-article","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T00:13:15Z","timestamp":1466122395000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["Model-based operational-functional unified specification for mission systems"],"prefix":"10.1109","author":[{"given":"Yaniv","family":"Mordecai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov","family":"Dori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2013.766"},{"key":"ref31","first-page":"1","article-title":"OPCAT - An Object-Process CASE Tool for OPM-Based Conceptual Modelling","author":"dori","year":"2010","journal-title":"1st InternationalConference on Modelling and Management of Engineering Processes"},{"key":"ref30","first-page":"1","article-title":"A Project-Product Model-Based Approach to Planning Work Breakdown Structures of Complex System Projects","author":"sharon","year":"2014","journal-title":"Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/9781420088892.ch8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0953-5438(00)00023-0"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BFb0054168","article-title":"MESA: Support for Scenario-Based Design of Concurrent Systems","volume":"1384","author":"ben-abdallah","year":"2008","journal-title":"Lect Notes Comput Sci"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2000.839514"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455232"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"ref16","year":"2009","journal-title":"DoD Architecture Framework Version 2 02"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482450"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2013.tb03099.x"},{"key":"ref19","article-title":"Analysis and Representation of Computer Vision Systems By the Object-Process Methodology","author":"dori","year":"1994","journal-title":"Proc IAPR Workshop Mach Vis Appl"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0107085"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s12008-010-0107-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0051430"},{"key":"ref3","volume":"3","author":"booch","year":"1998","journal-title":"The Unified Modeling Language User Guide"},{"key":"ref6","article-title":"The role of use cases in requirements and analysis modeling","author":"gomaa","year":"2005","journal-title":"2nd Int Workshop on Use Case Modeling (WUsCaM-05) Use Cases in Model-Driven Software Engineering"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21240"},{"key":"ref5","article-title":"Use cases are more than System Operations","author":"heldal","year":"2005","journal-title":"2nd International Workshop on Use Case Modelling WUsCaM-2005"},{"key":"ref8","year":"2015","journal-title":"ISO\/PAS 19450 2015 Automation systems and integration - Object-Process Methodology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56209-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/3468.867861"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044481862-1\/50083-2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2007.900240"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-3295-5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2014.tb03161.x"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15865-0_7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2013.tb03083.x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2015.7116855"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/EEEI.2014.7005888"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SWSTE.2014.12"}],"event":{"name":"2016 Annual IEEE Systems Conference (SysCon)","location":"Orlando, FL, USA","start":{"date-parts":[[2016,4,18]]},"end":{"date-parts":[[2016,4,21]]}},"container-title":["2016 Annual IEEE Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7484073\/7490508\/07490662.pdf?arnumber=7490662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:31:39Z","timestamp":1498321899000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7490662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/syscon.2016.7490662","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}