Analysis and Re-Engineering of Web Services
暂无分享,去创建一个
[1] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[2] W.M.P. van der Aalst,et al. Structural characterizations of sound workflow nets , 1996 .
[3] Karl D. Gottschalk. Web services architecture overview: The next stage of evolution for e-business , 2000 .
[4] Wolfgang Reisig,et al. Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.
[5] Wil M. P. van der Aalst,et al. Modeling and Analyzing Interorganizational Workflows , 1998, ACSD.
[6] Satish R. Thatte,et al. SOAP: Simple Object Access Protocol , 1999 .
[7] A. Martens. Verteilte Gesch?aftsprozesse-Modellierung und Verifikation mit Hilfe von Web Services , 2004 .
[8] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[9] Wolfgang Reisig,et al. Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.
[10] Axel Martens. On Compatibility of Web Services , 2003 .
[11] Hanêne Ben-Abdallah,et al. Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts , 1997, TACAS.
[12] Wil M.P. van der Aalst,et al. A class of Petri nets for modeling and analyzing business processes , 1995 .
[13] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..