One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

Adaptive Case Management deals with processes that are not predefined or repeatable, but depend on evolving circumstances and decisions regarding a particular situation. While case management is often considered as different from conventional business process management, in reality they cannot be strictly separated. A structured business process can contain parts which deal with non-routine cas...

Purpose Business process modelling integrates and visualizes relevant information essential for managing day-to-day business operations. It plays a critical role in the design execution of transformations. Recognizing modelling, large number languages, methods techniques have been developed, each offering diverse advantages having inherent limitations. Traditional popular approaches focus on ex...

Purpose Despite corporate communications having an immense impact on success, there is a lack of dedicated techniques for their management and visualization. A potential strategy to apply business process (BPM) approach with model notation (BPMN) modeling techniques. Design/methodology/approach The goal this study was gain empirical insights into the cognitive effectiveness BPMN-based modeling....

In today's data-driven environments, ensuring workflow efficiency and data security are crucial across various processes. The purpose of this study is to introduce a cloud framework based on Business Process Modeling Notation (BPMN) for assessing overheating risk in residential buildings. provides comprehensive approach, utilizing BPMN modeling effectively evaluate optimize assessment. By promo...

To solve interoperability problem from semantic level, we propose to contribute to orchestration of the business processes to implement a mediation based on Enterprise Service Bus (ESB). We show how to take advantage of the forthcoming version of Business Process Modeling Notation 2.0 (BPMN 2.0) of the Object Management Group (OMG) within the framework of a Services Oriented Architecture (SOA) ...

Service-Oriented Architecture (SOA) is an architectural paradigm for the conception and construction of information systems. Service Oriented Architecture Modeling Language (SoaML) provides a standard way to architect and model SOA solutions using the Unified Modelling Language (UML). The SOA analysis and design disciplines of software development based on scenarios now take a broader approach ...

Choreography diagrams have been introduced in the Business Process Model and Notation language 2.0 (BPMN 2.0), one among the most used languages for modelling and analyzing business processes in industry, in order to provide a view on the interaction between participants. Besides the intuitive definition of choreographies as interfaces among participants, the BPMN 2.0 specifications also define...

In this paper, we propose to model the transportation process of containers in the Nord-Pas de Calais Region (France). Based on the BPMN (Business Process Modeling Notation) approach, it allows deriving a comprehensive vision of the process and a friendly-user interface of the logistics chain for the analysis and the decision making. Furthermore, ACTIF (Aide à la Conception de systèmes de Trans...

Both business processes and business rules are changing over time. In addition, when business process models try to capture all details, they are complex and need to deal with variability according to context. Manual adaptation of process models takes time and is error-prone. We address these issues through explicit separation of process models (represented in BPMN) and specifications of busine...