{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:16Z","timestamp":1725487216045},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_11","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T11:50:47Z","timestamp":1184586647000},"page":"143-157","source":"Crossref","is-referenced-by-count":6,"title":["Verification of Vortex Workflows"],"prefix":"10.1007","author":[{"given":"Xiang","family":"Fu","sequence":"first","affiliation":[]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"11_CR1","unstructured":"A. Ailamaki, Y. Ioannidis, and M. Livny. Scientific workow management by database management. In Proc. Int. Conf. on Statistical and Scientific Database Management, 1998."},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/332740.332746","volume":"9","author":"T. Bultan","year":"2000","unstructured":"T. Bultan, R. Gerber, and C. League. Composite model checking: Verification with type-specific symbolic representations. ACM Transactions on Software Engineering and Methodology, 9(1):3\u201350, January 2000.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1145\/325478.325480","volume":"21","author":"T. Bultan","year":"1999","unstructured":"T. Bultan, R. Gerber, and W. Pugh. Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and Systems, 21(4):747\u2013789, July 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"11_CR4","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"W. Chan, R. J. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J. D. Reese. Model checking large software specifications. IEEE Transactions on Software Engineering, 24(7):498\u2013520, July 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Proc. Conf. on Computer Aided Verification, 2000.","DOI":"10.1007\/10722167_15"},{"key":"11_CR6","unstructured":"C. A. Ellis. Information control nets: A mathematical model of office information ow. In ACM Proc. Conf. Simulation, Modeling and Measurement of Computer Systems, pages 225\u2013240, August 1979."},{"key":"11_CR7","unstructured":"M. Garey and D. Johnson. Computers and Intractability A Guide to the theory of NP-Completeness. Freeman, 1979."},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workow management: From process modeling to workow automation infrastructure. Distributed and Parallel Databases, 3(2):119\u2013154, April 1995.","journal-title":"Distributed and Parallel Databases"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"S. Graf and H. Sa\u00efdi. Construction of abstract state graph with PVS. In Proc. Conf. on Computer Aided Verification, pages 72\u201383, 1997.","DOI":"10.1007\/3-540-63166-6_10"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"R. Hull, F. Llirbat, E. Simon, J. Su, G. Dong, B. Kumar, and G. Zhou. Declarative workows that support easy modification and dynamic browsing. In Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration, 1999.","DOI":"10.1145\/295665.295674"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"N. Krishnakumar and A. Sheth. Managing heterogeneous multi-systems tasks to support enterprise-wide operations. Distributed and Parallel Databases, 3(2), 1995.","DOI":"10.1007\/BF01277644"},{"issue":"5","key":"11_CR12","first-page":"534","volume":"47","author":"R. P. Kurshan","year":"2000","unstructured":"R. P. Kurshan. Program verification. Notices of the AMS, 47(5):534\u2013545, May 2000.","journal-title":"Notices of the AMS"},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"K. L. McMillan","year":"1993","unstructured":"K. L. McMillan. Symbolic model checking. Kluwer Academic Publishers, Massachusetts, 1993."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"C. Medeiros, G. Vossen, and M. Weske. Wasa: a workow-based architecture to support scientific database applications. In Proc. 6th DEXA Conference, 1995.","DOI":"10.1007\/BFb0049154"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"P. Muth, D. Wodtke, J. Weissenfels, G. Weikum, and A. Kotz-Dittrich. Enterprisewide workow management based on state and activity charts. In Proc. NATO Advanced Study Institute on Workow Management Systems and Interoperability, 1997.","DOI":"10.1007\/978-3-642-58908-9_13"},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Statica Analysis Symposium","author":"H. Sa\u00efdi","year":"2000","unstructured":"H. Sa\u00efdi. Model checking guided abstraction and analysis. In Proceedings of Statica Analysis Symposium, Lecture Notes in Computer Science. Springer, 2000."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"M. Schroeder. Verification of business processes for a correspondence handling center using CCS. In Proc. European Symp. on Validation and Verification of Knowledge Based Systems and Components, June 1999.","DOI":"10.1007\/978-1-4757-6916-6_17"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"W. M. P. van der Aalst and A. H. M. ter Hofstede. Verification of workow task structures: A Petri-net-based approach. Information Systems, 25(1), 2000.","DOI":"10.1016\/S0306-4379(00)00008-9"},{"key":"11_CR19","unstructured":"Workow management coalition. http:\/\/www.aiim.org\/wfmc , 2000."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:10:15Z","timestamp":1556665815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}