With the exponential growth of communication and information technologies, adaptation has
gained a significant attention as it becomes a key feature of service-based systems, allowing …

In order to build highly reliable composite service via Service Oriented Architecture (SOA) in
the Mobile Fog Computing environment, various fault tolerance strategies have been widely …

Due to the increasing scale and complexity of service‐oriented systems (SOSs)
understanding fault and its recovery mechanism is a tedious task so there is a strong …

REST APIs are being increasingly used in the industry including their application in safety-
critical domain and in the IoT world. They offer basic CRUD (create, retrieve, update and …

Event-B is a state-based formal method for modelling and verifying the consistency of
discrete systems. Event refinement structures (ERS) augment Event-B with hierarchical …

This research article proposes a novel approach called Distributed Reconfigurable B to
specify and verify distributed reconfigurable control systems using B method …

The rely-guarantee approach is a promising way for compositional verification of concurrent
reactive systems (CRSs), eg concurrent operating systems, interrupt-driven control systems …

The design of exception handling is a complex task requiring insight and domain expertise
to ensure that potential abnormal conditions are identified and a recovery process is …

Business process management (BPM) provides many benefits for a company including
productivity, efficiency, compliance, risk management, consistency, repeatability, and …

With advances in cloud computing and distributed systems, cloud-native applications
provide immense flexibility to developers in terms of building scaleable and efficient …