The Internet of Things (IoT) enables a variety smart applications, including home, manufacturing, and city. By enhancing Business Process Management Systems with IoT capabilities, the execution monitoring business processes can be significantly improved. Providing holistic support for modeling, executing IoT-driven processes, however, constitutes challenge. Existing process modeling languages, ...

The Internet of Things enables to connect the physical world digital business processes (BP) and allows a BP (1) consider real-world data take more informed decisions, (2) automate and/or improve tasks, (3) adapt itself execution environment. We refer these as IoT-enhanced BPs. Although numerous researchers have studied this subject, there are still some challenges be faced. For instance, need ...

We review the various arguments which have been advanced for and against the use of executable speciications. Examples are given of the problems which may arise in applying this technique and of the beneets which may accrue. A case study is reported in which execution is used to validate the published speciication of a commercially available package. We conclude that there are circumstances whe...

Most theoretical work is based on the PRAM-model which has a block of shared memory and executes in a synchronous lock-step mode. Real hardware usually executes asynchronously and uses local memory and message passing. The recent LogP-model reeects these architectural properties. We show that for a practically important subclass of PRAM-programs it is possible to transform them into LogP-progra...

The declarative language Picat has recently entered the scene of constraint logic programming, in particular thanks to the efficiency of its planning library that exploits a clever implementation of tabling, inherithed in part from B-Prolog. Planning benchmarks, used in competitions, are defined in the language PDDL and this implied that Picat users were forced to reimplement those models withi...