Author:
Hlaoui Yousra Bendaly,Ayari Salma,Ayed Leila Jemni Ben
Publisher
Springer International Publishing
Reference20 articles.
1. Vaz, C., Ferreira, C.: Towards automated verification of web services. arXiv preprint
arXiv:1111.2824
(2011)
2. Van Der Straeten, R., Jonckers, V., Mens, T.: A formal approach to model refactoring and model refinement. Softw. Syst. Model. 6(2), 139–162 (2007)
3. Cao, J., Zhao, H., Wang, J., Zhang, S., Li, M.: Verifying dynamic workflow change based on executable path. Int. J. Intell. Control Syst. 12(1), 37–44 (2007)
4. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems–a survey. Data Knowl. Eng. 50(1), 9–34 (2004)
5. Van Der Aalst, W.M., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011)