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

AI-based process model analysis has attracted more and more interest. Model quality is
crucial for such research. At present, inter-organizational business process (IOBP) has been …

The article sets the task of syntactical analysis of monomials of context-free languages
taking into account the order of application of productions in the process of outputting …

The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the
dominant standard to describe Web Services (WS) orchestration approach. It is a rich and …

Résumé L'orchestration des services Web décrite par le Web Service-Business Process
Execution Language (WS-BPEL), fait désormais partie intégrante du Web moderne, comme …

The information flow in an executable process refers to the transfer of information between
the process variables and how this transfer affects important security properties such as data …