✦ LIBER ✦

Modelling and model checking suspendible business processes via statechart diagrams and CSP

✍ Scribed by W.L. Yeung; K.R.P.H. Leung; Ji Wang; Wei Dong

Book ID: 108261873
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 718 KB
Volume: 65
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.08.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular semantics for a UML statechart d

Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking

✍ Stefania Gnesi; Diego Latella; Mieke Massink 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Model checking for design and assurance

Model checking for design and assurance of e-Business processes

✍ Bonnie Brinton Anderson; James V. Hansen; Paul Benjamin Lowry; Scott L. Summers 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 298 KB

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Security Validation of Business Processes via Model-Checking

✍ Erlingsson, Úlfar; Wieringa, Roel; Zannone, Nicola 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 381 KB

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in Madrid, Italy, in February 2011. The 18 revised full papers presented together with 3 idea papers were carefully reviewed and selected from 63 submissio

[Lecture Notes in Computer Science] Busi

[Lecture Notes in Computer Science] Business Process Management Volume 7481 || Aligning Event Logs and Declarative Process Models for Conformance Checking

✍ Barros, Alistair; Gal, Avigdor; Kindler, Ekkart 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 637 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Perspectives in Business Informatics Research Volume 64 || Modeling and Formally Checking Workflow Properties Using UML and OCL

✍ Forbrig, Peter; Günther, Horst 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 305 KB

The conference series BIR (Business Informatics Research) was established 10 years ago in Rostock as an initiative of researchers from Swedish and German universities. The objective was to create a global forum where researchers in business informatics, seniors as well as juniors, could meet, collab

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Conceptual Modeling – Challenges and Opportunities Volume 5232 || Towards Obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models

✍ Song, Il-Yeol; Piattini, Mario; Chen, Yi-Ping Phoebe; Hartmann, Sven; Grandi, Fa 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 224 KB