{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:34:11Z","timestamp":1725712451295},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336058"},{"type":"electronic","value":"9783642336065"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33606-5_7","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T14:28:22Z","timestamp":1358260102000},"page":"92-109","source":"Crossref","is-referenced-by-count":0,"title":["Hierarchical Process Verification in a Semi-trusted Environment"],"prefix":"10.1007","author":[{"given":"Ganna","family":"Monakova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst Van der","year":"1997","unstructured":"Van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"6","key":"7_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/MIS.2006.117","volume":"21","author":"B. Beckert","year":"2006","unstructured":"Beckert, B., et al.: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems\u00a021(6), 71\u201381 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR3","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Handbook of Satisfiability","author":"A. Biere","year":"2009","unstructured":"Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol.\u00a0185. IOS Press, Amsterdam (2009)"},{"key":"7_CR4","unstructured":"van Breugel, F., Koshkina, M.: Models and Verification of BPEL (2006), \n                    \n                      http:\/\/www.cse.yorku.ca\/~franck\/research\/drafts\/tutorial.pdf"},{"key":"7_CR5","unstructured":"Fadlisyah, M.: Using the \u03c0-calculus for modeling and verifying processes on web services. Master\u2019s thesis, Insitute for Theoretical Computer Science, Dresden University of Technology (2004)"},{"key":"7_CR6","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: 12th International Workshop on Abstract State Machines, pp. 131\u2013151 (March 2005)"},{"key":"7_CR7","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: A Model-Based Approach to Engineering Web Service Compositions and Choreography in Test and Analysis of Web Services. In: Baresi, L., Di Nitto, E. (eds.), ch.\u00a071-91, pp. 72\u201391. Springer-Verlag Berlin and Heidelberg GmbH & Co. (2007)"},{"key":"7_CR8","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: JURIX, pp. 37\u201348 (2005)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-75183-0_20","volume-title":"Business Process Management","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral Constraints for Services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 271\u2013287. Springer, Heidelberg (2007)"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchia","year":"2007","unstructured":"Lucchia, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR13","unstructured":"Microsoft Research. Z3 an efficient theorem prover, \n                    \n                      http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3\/"},{"key":"7_CR14","unstructured":"Monakova, G., et al.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC (2009)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Monakova, G., Leymann, F.: Workflow art: A framework for multidimensional workflow analysis. In: Enterprise Information Systems (2012)","DOI":"10.1080\/17517575.2012.688220"},{"issue":"2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Nelson, G., Oppen, D.: Simplification by Cooperating Decision Procedures. ACM Transactions on Programming Languages and Systems\u00a01(2), 245\u2013257 (1979)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR17","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0 (2007)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2012"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33606-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:23:01Z","timestamp":1558315381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33606-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336058","9783642336065"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33606-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}