Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …

The correctness of business process models is critical for IT system development. The
properties of business processes need to be analyzed when they are designed. In particular …

Explicitly introducing temporal variables increases the expressiveness of temporal process
models significantly while maintaining the ability to check dynamic controllability of process …

Time is an important aspect of business process management. Here we revisit the following
contributions of early workflow time management approaches: representation of temporal …

Cross-organizational business processes emerge from the cooperation of intra-
organizational business processes through exchange of messages. The involved parties …

Web services composition design, verification and monitoring are active and widely studied
research directions. Little work however has been done in integrating these related …

Patients' limited knowledge about medications is a key factor in post-discharge adverse drug
events. This can be improved by providing optimal advice to patients in discharge …

Cross-organizational business processes emerge from the cooperation of intra-
organizational business processes exchanging messages. The cooperating processes …

Temporal Service Level Agreements (SLAs) are a distinguishing characteristics for offered
(composed) services: the weaker the restrictions, the broader the ranges of input …

The composition of web services frequently requires the adequate representation of
temporal requirements, temporal obligations, and temporal assumptions. Currently, the …