The reviews and analysis of the state-of-the-art service workflow specification languages

Journal of Industrial Information Integration

Volumn 8, Issue , 2017, Pages 1-7

  Viriyasitavat, Wattana ^a   Martin, Andrew ^b  

^a CHULALONGKORN UNIVERSITY   (Thailand)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Business processes; CTL; Logic; Service; Specification language; Workflow

Indexed keywords

COMMERCE; COMPETITION; REQUIREMENTS ENGINEERING; SPECIFICATIONS; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

BUSINESS ENVIRONMENTS; BUSINESS PROCESS; CTL; LOGIC; MARKET ENVIRONMENT; SERVICE; SERVICE-WORKFLOW; STATE OF THE ART; WORK-FLOWS; WORKFLOW SPECIFICATION;

SPECIFICATION LANGUAGES;

EID: 85034996735     PISSN: 2452414X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jii.2017.07.002     Document Type: Review

References (35)

1. Bi, Z.M., Wang, G., Xu, L.D., Thompson, M., Mir, R., Nyikos, J., Mane, A., Witte, C., Sidwell, C., IoT-based system for communication and coordination of football robot team. Internet Res. 27:2 (2017), 162–181.
2. Cochran, D., Kim, Y.-S., Foley, J., Bi, Z.M., Use of the manufacturing system design decomposition for comparative analysis and effective design of production systems. Int. J. of Prod. Res. 55:3 (2017), 870–890.
3. Cochran, D., Hendricks, S., Barnes, J., Bi, Z.M., Extension of manufacturing system design decomposition to implement manufacturing systems that are sustainable. ASME J. Manuf. Sci. Eng. 138 (2016), 101006–101010.
4. Wang, L.X., Wang, L., Bi, Z.M., Li, Y.Y., Xu, Y., Cloud compu-ting in human resource management (HRM) system for small and medium enterprises (SMEs). Int. J. Adv. Manuf. Technol. 84:1 (2016), 485–496.
5. Lin, C., Lu, S., Fei, X., Chebotko, A., Pai, D., Lai, Z., Fotouhi, F., Hua, J., A reference architecture for scientific workflow management systems and the view SOA solution. IEEE Trans. Services Comput. 2:1 (2009), 79–92.
6. Zhang, J., Kuc, D., Lu, S., Confucius: a tool supporting collaborative scientific workflow composition. IEEE Trans. Services Comput. 7:1 (2014), 2–17.
7. Moser, O., Rosenberg, F., Dustdar, S., Domain-specific service selection for composite services. IEEE Trans. Software Eng. 38:July–August (4) (2012), 828–843.
8. Yen, I.-L., Ma, H., Bastani, F.B., Mei, H., QoS-reconfigurable web services and compositions for high-assurance systems. Computer 41:8 (2008), 48–55.
9. Huemer, C., Liegl, P., Schuster, R., Werthner, H., Zapletal, M., Inter-organizational systems: from business values over business processes to deployment. Proceedings of IEEE Second International Conference on Digital Ecosystems and Technologies, 2008, 294–299.
10. Viriyasitavat, W., Xu, L., Martin, A., SWSpec: The requirement specification language in service workflow environments. IEEE Trans. Ind. Informat. 8:3 (2012), 631–638.
11. Viriyasitavat, W., Xu, L.D., Viriyasitavat, W., A new approach for compliance checking in service workflows. IEEE Trans. Ind. Inf. 10:May (2) (2014), 1452–1460.
12. Viriyasitavat, W., Xu, L.D., Viriyasitavat, W., Compliance checking for requirement-oriented service workflow interoperations. IEEE Trans. Ind. Inf. 10:May (2) (2014), 1469–1477.
13. Anderson, K.M., Anderson, A., Wadhwani, N., Bartolo, L.M., Metis: lightweight, flexible, and web-based workflow services for digital libraries. Proceedings of the 2003 Joint Conference on Digital Libraries (JCDL'03), 27-31 May, 2003.
14. Cardoso, J., Miller, J., Sheth, A., Arnold, J., Modeling quality of service for workflows and web service processes. Web Semantics J. 1:3 (2004), 281–308.
15. Deelman, E., Vahi, K., Rynge, M., Juve, G., Mayani, R., da Silva, R.F., Pegasus in the cloud: science automation through workflow technologies. IEEE Internet Comput. 20:1 (2016), 70–78.
16. Espinoza, A., Penya, Y., Nieves, J.C., Ortega, M., Pena, A., Podriguez, D., Supporting business workflows in smart grids: an intelligent nodes-based approach. IEEE Trans. Ind. Inf. 9:3 (2013), 1384–1397.
17. Viriyasitavat, W., Martin, A., A survey of trust in workflows and relevant contexts. IEEE Commun. Surv. Tut. 14:3 (2012), 911–940 Third Quarter.
18. Viriyasitavat, W., Multi-criteria selection for services selection in service workflow. J. Ind. Inf. Integration 1 (2016), 20–25.
19. Georgakopoulos, D., Hornick, M., Sheth, A., An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases, Sprinker 3:2 (1995), 119–153.
20. Viriyasitavat, W., Martin, A., In the relation of workflow and trust characteristics, and requirements in service workflows. Commun. Comput. Inf. Sci. 251 (2011), 492–506.
21. Viriyasitavat, W., Martin, A., Formalizing trust requirements and specification in service workflow environment. Proceedings ICEIS, Beijing, China, 2011, 196–206.
22. Nyanchama, M., Osborn, S., The role graph model and conflict of interest. ACM Transaction on Information System Security, 1999.
23. Jaeger, T., Tidswell, J.E., Practical safety in flexible access control models. ACM Trans. Inf. Syst. Secur. 4:2 (2001), 158–190.
24. Kuntze, N., Schutte, J., Securing decentralized workflows in ambient environments. Proceedings of IEEE/IFIP International Conference on Embedded and Ubiquitous Computing EUC 2008, vol. 2, 2008, 361–366.
25. Falcone, R., Pezzulo, G., Castelfranchi, C., A fuzzy approach to a belief-based trust computation. Lecture Notes on Artificial Intelligence, vol. 2631, 2003, 73–86.
26. Hsieh, F-S., Lin, J.-B., A self-adaptation scheme for workflow management in multi-agent systems. J. Intell. Manuf., 2013, 1–18.
27. Koestler, A., The Ghost in the Machine. London: Hutchinson. 1990, Penguin Group Reprint edition.
28. Viriyasitavat, W., A Framework of Trust in Service Workflows., 2013, Department of Computer Science, University of Ox-ford, Oxford.
29. van der Aalst, W.M.P., The application of petri nets toword kflow management. J. Circuits Syst. Comput. 8:1 (1998), 21–66.
30. S. Feja, S. Witt, A. Speck, BAM: a requirements validation and verification framework for business process models, Proceedings of the 2011 11th International Conference on Quality Software, July 13-14, 2011, p. 186–191.
31. Feja, Fotsch, D., Model checking with graphical validation rules. 15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008), Belfast, NI, GB. IEEE Computer Society, 2008, 117–125.
32. Davulcu, H., Kifer, M., Pokorny, L., Ramakrishnan, C.R., Ramakrishnan, I.V., Dawson, S., Modeling and Analysis of Interactions in Virtual Enterprises. 1999, RIDE.
33. D. Bianculli, C. Ghezzi, P. San Pietro, The tale of SOLOIST: a specification language for service compositions interactions. In Păsăreanu, C.S., Salaün, G. (eds.), FACS 2012. LNCS, vol. 7684. Springer, Heidelberg.
34. Josuttis, N., SOA in Practice: The Art of Distributed System Design. 2007, O'Reilly, Media, Inc.
35. Papazoglou, M.P., The challenges of service evolution. Proceedings of CAiSE 2008, LNCS, vol. 5074, 2008, Springer, 1115.