{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:51:44Z","timestamp":1742968304719,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_14","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"215-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Linear Logic to Verify Requirement Scenarios in Composite Web Service"],"prefix":"10.1007","author":[{"given":"K\u00eania Santos","family":"de Oliveira","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"14_CR1","unstructured":"Basten, A.A.: In Terms of Nets: System Design with Petri Nets and Process Algebra. Eindhoven University of Technology (1998)"},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1002\/9780470611647","volume-title":"Petri Nets: Fundamental Models, Verification and Applications","author":"M Diaz","year":"2009","unstructured":"Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. Wiley-IEEE Press, Reading, Massachusetts (2009)"},{"key":"14_CR3","volume-title":"Service-Oriented Architecture Concepts, Technology, and Design","author":"T Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture Concepts, Technology, and Design. Prentice Hall, Upper Saddle River (2005)"},{"key":"14_CR4","volume-title":"SOA Principles of Service Design","author":"T Erl","year":"2009","unstructured":"Erl, T.: SOA Principles of Service Design. Prentice Hall, Upper Saddle River (2009)"},{"key":"14_CR5","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987). Elsevier Science Publishers Ltd"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.jss.2013.10.006","volume":"88","author":"A Goknil","year":"2014","unstructured":"Goknil, A., Kurtev, I., Van Den Berg, K.: Generation and validation of traces between requirements and architecture based on formal trace semantics. J. Syst. Softw. 88, 112\u2013137 (2014). Elsevier","journal-title":"J. Syst. Softw."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Klai, K., Ochi, H., Tata, S.: Formal abstraction and compatibility checking of web services. In: IEEE 20th International Conference on Web Services, pp. 163\u2013170. IEEE (2013)","DOI":"10.1109\/ICWS.2013.31"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19\u201333. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31984-9_3"},{"key":"14_CR9","unstructured":"Nghiem, A.: IT Web Services: A Roadmap for the Enterprise. Prentice Hall Professional Technical Reference (2002)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Papazoglou, M.P.: Service-oriented computing: concepts, characteristics and directions. In: Fourth International Conference on Web Information Systems Engineering, pp. 03\u201312. IEEE Computer Society Press (2003)","DOI":"10.1109\/WISE.2003.1254461"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol. 104, pp. 167\u2013183. Springer, Heidelberg (1981). https:\/\/doi.org\/10.1007\/BFb0017309"},{"key":"14_CR12","unstructured":"Passos, L.M.S.: A Metodology based on Linear Logic for Interorganizational Workflow Processes Analysis. Ph.D. Dissertation, Federal Univerty of Uberl\u00e2ndia (2016)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Passos, L.M.S., Julia, S.: Deadlock-freeness scenarios detection in web service composition. In: 12th International Conference on Information Technology - New Generations, pp. 780\u2013783. IEEE (2015)","DOI":"10.1109\/ITNG.2015.141"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Passos, L.M.S., Julia, S.: Linear Logic as a Tool for Qualitative and Quantitative Analysis of Work OW Processes. Int. J. Artif. Intell. Tools 25, 1650008\u201301-25 (2016). World Scientifc Publishing Company","DOI":"10.1142\/S0218213016500081"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Riviere, N., Pradin-Chezalviel, B., Valette, R.: Reachability and temporal conflicts in t-time Petri nets. In: 9th International Workshop on Petri Nets and Performance Models, pp. 229\u2013238. IEEE (2001)","DOI":"10.1109\/PNPM.2001.953372"},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R Valette","year":"1979","unstructured":"Valette, R.: Analysis of Petri nets by stepwise refinements. J. Comput. Syst. Sci. 18, 35\u201346 (1979). Elsevier","journal-title":"J. Comput. Syst. Sci."},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"RJ Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43, 555\u2013600 (1996). ACM","journal-title":"J. ACM"},{"key":"14_CR18","unstructured":"Xiong, P., Fan, Y., Zhou, M.: A Petri net approach to analysis and composition of web services. IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans 40, 376\u2013387 (2010). IEEE"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T20:37:09Z","timestamp":1570307829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}