The advent of cloud computing allows the provision of several commodities" as-a-service".
For enterprise systems, a particularly interesting business model is the offer of configurable …

We detail the design, implementation, and an initial evaluation of a virtual reality education
and entertainment (edutainment) application called Virtual Environment Interactions (VEnvI) …

Workflow management systems (WFMSs) have attracted a lot of interest both in academia
and the business community. A workflow consists of a collection of tasks that are organized …

Cloud computing is an emerging computing paradigm where computing resources are
provided as services over Internet while residing in a large data center. Even though it …

Workflow technology is often employed by organizations to automate their day-to-day
business processes. The primary advantage of adopting workflow technology is to separate …

A key problem in the deployment of large-scale, reliable cloud computing concerns the
difficulty to certify the compliance of business processes operating in the cloud. Standard …

Despite the correct deployment of access control mechanisms, information leaks can persist
and threaten the reliability of business process execution. This paper presents an automated …

Workflow fragments are partitions of workflow model, and workflow model fragmentation is to
partition a workflow model into fragments, which can be manipulated by multiple workflow …

The internet and related technologies have made multidomain collaborations a reality.
Collaboration enables domains to effectively share resources; however it introduces several …

We present an automated and efficient approach for the verification of information flow
control for business process models. Building on the concept of Place-based Non …