Compliance checking for requirement-oriented service workflow interoperations

IEEE Transactions on Industrial Informatics

Volumn 10, Issue 2, 2014, Pages 1469-1477

  Viriyasitavat, Wattana ^a   Xu, Li Da ^b   Viriyasitavat, Wantanee ^c  

^a CHULALONGKORN UNIVERSITY   (Thailand)

^b INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^c MAHIDOL UNIVERSITY   (Thailand)

Author keywords

Algorithm; compliance checking; Internet of Things (IoT); service; service collaboration; service composition; service identification; specification language; Workflow

Indexed keywords

ALGORITHMS; INTERNET; QUALITY OF SERVICE; SPECIFICATION LANGUAGES;

COMPLIANCE CHECKING; INTERNET OF THINGS (IOT); SERVICE; SERVICE COLLABORATION; SERVICE COMPOSITIONS; SERVICE IDENTIFICATION; WORKFLOW;

COMPLIANCE CONTROL;

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

References (28)

1. S. Li, L. Xu, and X. Wang, "Compressed sensing signal and data acquisition in wireless sensor networks and internet of things," IEEE Trans. Ind. Informat., vol. 9, no. 4, pp. 2177-2186, Nov. 2013.
2. W. He and L. Xu, "Integration of distributed enterprise applications: A survey," IEEE Trans. Ind. Informat., vol. 10, no. 1, pp. 35-42, Feb. 2014.
3. S. Fang, L. Xu, H. Pei, and Y. Liu, "An integrated approach to snowmelt flood forecasting in water resource management," IEEE Trans. Ind. Informat., vol. 10, no. 1, pp. 548-558, Feb. 2014.
4. L. Xu, "Information architecture for supply chain quality management," Int. J. Prod. Res., vol. 49, no. 1, pp. 183-198, 2011.
5. A. DAgostino, R. Serafini, and M. Ward-Warmedinger, Sectoral Explanations of Employment in Europe: The Role of Services, ECB Working Paper Series No. 625, European Central Bank, 2006.
6. L. Li, "Technology designed to combat fakes in the global supply chain," Bus. Horiz., vol. 56, no. 2, pp. 167-177, 2013.
7. W. Viriyasitavat and A. Martin, "Formalizing trust requirements and specification in service workflow environment," in Proc. ICEIS. Beijing, China, 2011, pp. 196-206.
8. W. Viriyasitavat and A. Martin, "In the relation of workflow and trust characteristics, and requirements in service workflows," Commun. Comput. Inf. Sci., vol. 251, pp. 492-506, 2011.
9. H. Panetto and J. Cecil, "Information systems for enterprise integration, interoperability and networking: Theory and applications," Enterp. Inf. Syst., vol. 7, no. 1, pp. 1-6, 2013.
10. R. Jardim-Goncalvesa, A. Grilob, C. Agostinhoa, F. Lampathakic, and Y. Charalabidisc, "Systematisation of interoperability body of knowledge: The foundation for enterprise interoperability as a science," Enterp. Inf. Syst., vol. 7, no. 1, pp. 7-32, 2013.
11. J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami, "Internet of Things (IoT): A vision, architectural elements, and future directions," Future Gener. Comput. Syst., vol. 29, no. 7, pp. 1645-1660, 2013.
12. Y. Liu, S. Muller, and K. Xu, "A static compliance-checking framework for business process models," IBM Syst. J., vol. 46, no. 2, pp. 335-361, 2007. (Pubitemid 46915268)
13. W. Viriyasitavat, L. Xu, and A. Martin, "SWSpec: The requirement specification language in service workflow environments," IEEE Trans. Ind. Informat., vol. 8, no. 3, pp. 631-638, Aug. 2012.
14. L. D. Xu, W. Viriyasitavat, P. Ruchikachorn, and A. Martin, "Using propositional logic for requirements verification of service workflow," IEEE Trans. Ind. Informat., vol. 8, no. 3, pp. 639-646, Jul. 2012.
15. W. Viriyasitavat and A. Martin, "Formal trust specification in service workflows," in Proc. IEEE/IFIP 8th Int. Conf. Embedded Ubiquitous Comput. Hong Kong, China, 2010, pp. 703-710.
16. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV 2: An OpenSource tool for symbolic model checking," LNCS, vol. 2404, pp. 359-364, 2002.
17. M. Huth and M. D. Ryan, Logic in Computer Science. Cambridge, U.K.: Cambridge Univ. Press, 2000.
18. E. M. Clarke and B. H. Schlingloff, "Model checking," in Handbook of AutomatedReasoning.NewYork,NY,USA:Elsevier, 2001, pp. 1635-1790.
19. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," LNCS, vol. 131, pp. 52-71, 1982.
20. E. A. Emerson and E. M. Clarke, "Using branching time logic to synthesize synchronization skeletons," Sci. Comput. Programm., vol. 2, no. 3, pp. 241-266, 1982. (Pubitemid 14566074)
21. J. P. Quielle and J. Sifakis, "Specification and verification of concurrent system in CESAR," LNCS, vol. 137, pp. 337-351, 1982. (Pubitemid 13564444)
22. G. Governatori, Z. Milosevic, and S. Sadiq, "Compliance checking between business processes and business contracts," in Proc. 10th IEEE Int. Enterp. Distr. Object Comput. Conf., 2006, pp. 221-232.
23. M. Blaze, J. Feigenbaum, and A. D. Keromytis, "KeyNote: Trust management for public-key infrastructures," LNCS, vol. 1550, pp. 59-63, 1999.
24. S. Kerrigan and K. H. Law, "Logic-based regulation complianceassistance," in Proc. 9th Int. Conf. Artif. Intell. Law. Edinburgh, Scotland, 2003, pp. 126-135.
25. H. Davulcu, M. Kifer, L. Pokorny, C. Ramakrishnan, I. Ramakrishnan, and S. Dawson, "Modeling, and analysis of interactions in virtual enterprises," in Proc. 9th Int. Workshop Res. Issues Data Eng.: Inf. Technol. Virt. Enterp. (RIDE-VE). Sydney, Australia, 1999, pp. 12-18.
26. M. Altunay, D. Brown, G. Byrd, and R. Dean, "Trust-based secure workflow path construction," LNCS, vol. 3826, pp. 382-395, 2005. (Pubitemid 43856199)
27. W. Viriyasitavat, "Modeling delegation in requirements-driven trust framework," in Proc. 2009 World Conf. Serv., pp. 522-529.
28. Y. Li, B. Cao, L. Xu, J. Yin, S. Deng, Y. Yin et al., "An efficient recommendation method for improving business process modeling," IEEE Trans. Ind. Informat., vol. 10, no. 1, pp. 502-513, Feb. 2014.