{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:54:16Z","timestamp":1729652056807,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/sefm.2010.27","type":"proceedings-article","created":{"date-parts":[[2010,11,23]],"date-time":"2010-11-23T15:30:30Z","timestamp":1290526230000},"page":"135-144","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Model for Work Flows"],"prefix":"10.1109","author":[{"given":"Christian","family":"Leuxner","sequence":"first","affiliation":[]},{"given":"Wassiou","family":"Sitou","sequence":"additional","affiliation":[]},{"given":"Bernd","family":"Spanfelner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Technische Universita?t Mu?nchen Institut F U?r Informatik Techreport","article-title":"Modeling work flows for building contextaware applications","year":"2009","author":"leuxner","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030132"},{"journal-title":"GCSP A Graphical Tool for Designing CSP Systems","year":"2004","author":"jovanovic","key":"18"},{"key":"15","first-page":"712","article-title":"Precise modelling of compensating business transactions and its application to BPEL","volume":"11","author":"butler","year":"2005","journal-title":"Journal of Universal Computer Science"},{"journal-title":"Handbook of Process Algebra","year":"2001","author":"bergstra","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"14","article-title":"Web services business process execution language version 2.0","volume":"11","author":"alves","year":"2007","journal-title":"OASIS Standard"},{"journal-title":"Semantics and Verification of UML Activity Diagrams for Workflow Modelling","year":"2002","author":"eshuis","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.046"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.019"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"2","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","article-title":"Masaccio: A formal model for embedded components","author":"henzinger","year":"2000","journal-title":"TCS'00 Proceedings of the International Conference IFIP on Theoretical Computer Science Exploring New Frontiers of Theoretical Informatics"},{"journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement","year":"2001","author":"broy","key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022460"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2"},{"key":"5","first-page":"122","article-title":"Consistent graphical specification of distributed systems","author":"huber","year":"1997","journal-title":"International Symposium of Formal Methods Europe FME"},{"key":"4","first-page":"219","article-title":"An introduction to input\/output automata","volume":"2","author":"lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(00)00292-7"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"}],"event":{"name":"2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)","start":{"date-parts":[[2010,9,13]]},"location":"Pisa, Italy","end":{"date-parts":[[2010,9,18]]}},"container-title":["2010 8th IEEE International Conference on Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5635422\/5637151\/05637421.pdf?arnumber=5637421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:28:16Z","timestamp":1497875296000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5637421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sefm.2010.27","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}