{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:26:33Z","timestamp":1730280393286,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/kse.2019.8919341","type":"proceedings-article","created":{"date-parts":[[2019,12,6]],"date-time":"2019-12-06T10:26:17Z","timestamp":1575627977000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model"],"prefix":"10.1109","author":[{"given":"Nguyen Thanh","family":"Tuan","sequence":"first","affiliation":[]},{"given":"Le Thanh","family":"Nhan","sequence":"additional","affiliation":[]},{"given":"Hoanh Thi","family":"Thanh Ha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref11","article-title":"The Definition of Standard ML","author":"milner","year":"2018","journal-title":"The Definition of Standard ML"},{"key":"ref12","first-page":"179","article-title":"Relational transducers for electronic commerce","author":"abiteboul","year":"2003"},{"journal-title":"Designing Database Applications with Objects and Rules?The IDEA Methodology","year":"1997","author":"ceri","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8656-6"},{"key":"ref15","first-page":"643","article-title":"Push technology personalization through event correlation","author":"adi","year":"2000","journal-title":"VLDB"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s007780100039","article-title":"Active rules for XML: A new paradigm for E-services","volume":"10","author":"bonifati","year":"2001","journal-title":"The VLDB J ournal"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00226-8"},{"key":"ref18","first-page":"162","article-title":"Efficient Matching for Web-Based Publish\/Subscribe Systems","author":"pereira","year":"2006"},{"journal-title":"Microsoft Application Architecture Guide 2 nd Edition (Patterns Practices)","year":"2008","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.20532\/cit.2016.1002787"},{"journal-title":"RESTful petri net execution","year":"2009","author":"decker","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_5"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1109\/TKDE.2004.20","volume":"16","author":"bae","year":"2004","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"ref8","article-title":"A Rule-Based Language for Integrating Business Processes and Business Rules","volume":"14178","author":"pham","year":"2015"},{"key":"ref7","first-page":"1","article-title":"ECA Rule and Colored Petri Nets Based Workflow Modeling Research","volume":"60633060","author":"guo-xiang","year":"2010","journal-title":"Management and Service Science (MASS) 2010 International Conference on"},{"journal-title":"Petri Nets in Software Engineeringetgen","year":"2004","author":"denaro","key":"ref2"},{"key":"ref1","first-page":"62","article-title":"Petri nets in software engineering","author":"gold","year":"2004","journal-title":"Petri Nets Applications and Relationships to Other Models of Concurrency"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2016.7550824"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/11896548_67"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_28"},{"journal-title":"A tool for editing simulating and analyzing Colored Petri nets","year":"0","key":"ref21"}],"event":{"name":"2019 11th International Conference on Knowledge and Systems Engineering (KSE)","start":{"date-parts":[[2019,10,24]]},"location":"Da Nang, Vietnam","end":{"date-parts":[[2019,10,26]]}},"container-title":["2019 11th International Conference on Knowledge and Systems Engineering (KSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8909968\/8919259\/08919341.pdf?arnumber=8919341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:09:34Z","timestamp":1657854574000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8919341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/kse.2019.8919341","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}