{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T06:08:22Z","timestamp":1725775702748},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.5220\/0006290202540262","type":"proceedings-article","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T08:13:52Z","timestamp":1495527232000},"page":"254-262","source":"Crossref","is-referenced-by-count":3,"title":["Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound"],"prefix":"10.5220","author":[{"given":"K\u00eania Santos de","family":"Oliveira","sequence":"first","affiliation":[{"name":"Federal University of Uberl\u00e2ndia, Brazil"}]},{"given":"Vin\u00edcius","family":"Ferreira de Oliveira","sequence":"first","affiliation":[{"name":"Federal University of Uberl\u00e2ndia, Brazil"}]},{"given":"St\u00e9phane","family":"Julia","sequence":"first","affiliation":[{"name":"Federal University of Uberl\u00e2ndia, Brazil"}]}],"member":"3171","event":{"name":"19th International Conference on Enterprise Information Systems","start":{"date-parts":[[2017,4,26]]},"location":"Porto, Portugal","end":{"date-parts":[[2017,4,29]]}},"container-title":["Proceedings of the 19th International Conference on Enterprise Information Systems"],"original-title":["Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound"],"deposited":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T08:14:27Z","timestamp":1495527267000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0006290202540262"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0006290202540262","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}