Search Results

In the blockchain environment, smart contracts are computer programs that run on the blockchain platform. However, the development of smart contracts is a major challenge for developers, since blockchain platforms are still evolving. Owing to the ...

The public’s health depends on a reliable drug supply chain. Recently, the number of drug counterfeit has increased drastically, resulting in thousands of victims suffering from poisoning and/or treatment failures, which have resulted in new ...

With the speed rise of heterogeneous Blockchain (BC) platforms, interoperability became a critical area of research barrer for a variety of use cases, ranging from supply chain to healthcare. Consequently, a number of BC interoperability solutions ...

This paper presents an approach for fragmenting business processes over 2 types of complementary platforms referred to as cloud resources and edge resources. Fragmentation caters to the separate needs and requirements of business processes’ ...

Currently, constant innovations in service-oriented architectures lead to extending the Cloud services with promising solutions such as Fog computing. As the Cloud-Fog environment still remains in its infancy stage, several issues remain among the ...

Collaborative Inter-Organisational Business Processes (IOBPs) are a major step in automating and supporting collaborations of organisations. In this context, collaborative IOBP are usually constrained by hard timing requirements. This paper ...

Globalization pressure on organizations calls for new approaches to survive, grow, and compete. An approach is to allow inter-organizational business processes (IOBP) collaboration where each partner would expose its public know-how without ...

Internet of Things (IoT) comprises a plethora of networks of things that could be exemplified with devices like sensors and actuators. Although IoT is expected to play a major role in the development and provisioning of smart applications, things ...

The COVID-19 pandemic is sweeping across the world and causing widespread death and disruption. To this effect, nations have struggled to use technologies to detect and to monitor COVID-19 cases and related information. Unfortunately, both inconsistent ...

Blockchain is an emergent technology which enables the execution of collaborative business processes while ensuring trust by replacing central authority with cryptographic proof and distributed consensus. Thus, Blockchain technology can be used to ...

Cyber‐physical systems (CPSs) are characterized by a multitude of physical and software. Particularly time‐related properties are of paramount importance and they can impact the behaviour of these systems. Designing and verifying CPS while tackling time‐...

One key perspective when dealing with business process management is time. All business experts agree upon the fact that time is a key resource for processes within organisations. Indeed, time managing is an effective cost reduction strategy and thus ...

Formal specification and verification support of time-related constraints constitute fundamental challenges for any Business Process Management (BPM) system. Reluctantly, the literature on the subject of formal specification and verification of advanced ...

Temporal constraints are one cornerstone of process specification and verification in the whole process lifecycle. Nevertheless, in the existing research approaches, little consideration has been given to the subject of verification of advanced temporal ...

Business-to-business (B2B) e-commerce market is expected to expand rapidly in coming years. In this context, organizations tend to rely more on business process management (BPM) to streamline their operations. The business process field is influenced by ...

Nowadays, the OMG standard business process model and notation BPMN is gaining widespread use in the business world. In this context, several underlying issues must be considered. In this paper, we are particularly interested in the problem of getting ...