SWSpec: The requirements specification language in service workflow environments

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 3, 2012, Pages 631-638

  Viriyasitavat, Wattana ^a,b   Xu, Li Da ^c   Martin, Andrew ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b CHULALONGKORN UNIVERSITY   (Thailand)

^c INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Enterprise systems; service; service industry; service industry informatics; specification language; workflow

Indexed keywords

ENTERPRISE SYSTEM; INFORMATICS; SERVICE; SERVICE INDUSTRIES; WORKFLOW;

ELECTRICAL ENGINEERING; INDUSTRY;

SPECIFICATION LANGUAGES;

EID: 84864571593     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2011.2182519     Document Type: Article

References (27)

1. L. Xu, "Enterprise systems: State-of-the-art and future trends," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 630-640, Nov. 2011.
2. G. Candido, A. W. Colombo, J. Barata, and F. Jammes, "Service- oriented infrastructure to support the deployment of evolvable production systems," IEEE Trans. Ind. Informat., vol. 7, no. 4, pp. 759-767, Nov. 2011.
3. T. Cucinotta, A. Mancina, G. F. Anastasi, G. Lipari, L. Mangeruca, R. Checcozzo, and F. Rusina, "A real-time service-oriented architecture for industrial automation," IEEE Trans. Ind. Informat., vol. 5, no. 3, pp. 267-277, Aug. 2009.
4. I. Estevez-Ayres, P. Basanta-Val, M. Garcia-Valls, J. A. Fisteus, and L. Almeida, "QoS-aware real-time composition algorithms for service-based applications," IEEE Trans. Ind. Informat., vol. 5, no. 3, pp. 278-288, Aug. 2009.
5. Z. Gong, M. Muyeba, and J. Guo, "Business information query expansion through semantic network," Enterprise Inform. Syst., vol. 4, no. 1, pp. 1-22, 2010.
6. R. Mietzner, F. Leymann, and T. Unger, "Horizontal and vertical combination of multi-tenancy patterns in service-oriented application," Enterprise Inform. Syst., vol. 5, no. 1, pp. 59-77, 2011.
7. K. Kakousis, N. Paspallis, and G. Papadopoulos, "A survey of software adaptation in mobile and ubiquitous computing," Enterprise Inform. Syst., vol. 4, no. 4, pp. 355-389, 2010.
8. K. Wang, X. Bai, J. Li, and C. Ding, "A service-based framework for pharmacogenomics data integration," Enterprise Inform. Syst., vol. 4, no. 3, pp. 225-245, 2010.
9. D. Liu, R. Deters, and W. Zhang, "Architectural design for resilience," Enterprise Inform. Syst., vol. 4, no. 2, pp. 137-152, 2010.
10. V. Vathanophas and L. Stuart, "Enterprise resource planning: Technology acceptance in Thai universities," Enterprise Inform. Syst., vol. 3, no. 2, pp. 133-158, 2009.
11. T. Fei, Z. Dongming, H. Yefa, and Z. Zude, "Resource service composition and its optimal-selection based on particle swarm optimization in manufacturing grid system," IEEE Trans. Ind. Informat., vol. 4, no. 4, pp. 315-327, Nov. 2008.
12. S. Ali, B. Soh, and T. Torabi, "A novel approach toward integration of rules into business processes using an agent-oriented framework," IEEE Trans. Ind. Informat., vol. 2, no. 3, pp. 145-154, Aug. 2006.
13. W. M. P. Van der Aalst, "Petri-net-based workflow management software," in Proc. NFS Workshop on Workflow and Process Autom. Inform. Syst., 1996, pp. 114-118.
14. M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, "An automated framework for formal verification of timed continuous Petri nets," IEEE Trans. Ind. Informat., vol. 6, no. 3, pp. 460-471, Aug. 2010.
15. C. Seidner and O. H. Roux, "Formal methods for systems engineering behavior models," IEEE Trans. Ind. Informat., vol. 4, no. 4, pp. 280-291, Nov. 2008.
16. M. L. Rosa, A. H. M. T. Hofstede, P. Wohed, H. A. Reijers, J. Mendling, and W. M. P. Van der Aalst, "Managing process model complexity via concrete syntax modifications," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 255-265, May 2011.
17. W. M. P. Van der Aalst and K. M. Van Hee, Workflow Management: Models, Methods, and Systems. Cambridge, MA: MIT Press, 2002.
18. W. Viriyasitavat, "Modeling delegation in requirements-driven trust framework," in IEEE Congr. Services-I, pp. 522-529, 2009.
19. J. Ma, K. Wang, and L. Xu, "Modeling and analysis of workflow for lean supply chains," Enterprise Inform. Syst., vol. 5, no.4, pp. 423-447, 2011.
20. T. Yu, C. Luo, H. Kai-Tao, and J. Ning, "SRN: An extended Petri-net-based workflow model for web service composition," in Proc. IEEE Int. Conf. Web Services ed: IEEE Comput. Soc., 2004, pp. 591-591.
21. W. M. P. Van der Aalst, A. H. M. T. Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow patterns: On the expressive power of (Petri-net-based) workflow languages," J. Distrib. Parallel Databases, Springer, vol. 14, no. 1, pp. 5-51, 2003.
22. W. M. P. Van der Aalst, Three Good Reasons for Using a Petri-Net-Based Workflow Management System, ser. Engineering and Computer Science, T. Wakayama, S. Kannapan, C. M. Khoong, S. Navathe, and J. Yates, Eds. Norwell, MA: Kluwer, 1998, vol. 428, Information and Process Integration in Enterprises: Rethinking Documents, ch. 10, pp. 161-182.
23. T. Basten, "Terms of nets: System design with petri nets and process algebra," Ph.D. dissertation, Eindhoven Univ. Technol., Eindhoven, The Netherlands, 1998.
24. W. M. P. Van der Aalst, Pi Calculus Versus Petri Nets: Let us Eat "Humble Pie" Rather Than Further Inflate the "Pi Hype".: , 2004.
25. S. Bernardi, J. Campos, and J. Merseguer, "Timing-failure risk assessment of UML design using time Petri Net bound techniques," IEEE Trans. Ind. Informat., vol. 7, no. 1, pp. 90-104, 2011.
26. K. Salimifard and M. Wright, "Petri net-based modeling of workflow systems: An overview," Eur. J. Oper. Res., vol. 134, pp. 664-676, 2001.
27. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite state concurrent system using temporal logic specifications," ACM Transaction on Programming Languages and System, vol. 8, no. 2, pp. 244-263, 1986.