IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models

Author(s): Deng Zhao ; Walid Gaaloul ; Wenbo Zhang ; Chunsheng Zhu ; Zhangbing Zhou
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Electronic): 2169-3536
DOI: 10.1109/ACCESS.2018.2874937
Regular:

Service-based business processes are typically used for achieving business goals through the execution of a set of activities. These activities are usually implemented upon mobile devices in terms... View More

Advertisement