𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A rigorous methodology for specification and verification of business processes

✍ Scribed by Cristian Masalagiu; Wei-Ngan Chin; Ştefan Andrei; Vasile Alaiba

Publisher
Springer
Year
2009
Tongue
English
Weight
494 KB
Volume
21
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A handbook-based methodology for redesig
A handbook-based methodology for redesigning business processes
✍ Mark Klein; Claudio Petti 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 442 KB

## Abstract This paper presents a structured methodology, based on the use of a Handbook of process models, for redesigning business processes. The methodology is illustrated using examples from the agri‐food supply chain domain. We discuss the strengths and weaknesses of this approach, and identif

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verification—a case study
✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

A Tool For Specification And Verificatio
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems
✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 184 KB

We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-age