✦ LIBER ✦

[Lecture Notes in Business Information Processing] Specification and Verification of Declarative Open Interaction Models Volume 56 || The ConDec Language

✍ Scribed by Montali, Marco

Book ID: 121707163
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 419 KB
Category: Article
ISBN: 3642145388
DOI: 10.1007/978-3-642-14538-4_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 43 || Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability

✍ Rinderle-Ma, Stefanie; Sadiq, Shazia; Leymann, Frank 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 243 KB

Business process management (BPM) constitutes one of the most exciting - search areas in computer science and the BPM Conference together with its workshops provides a distinct platform for presenting the latest research and showing future directions in this area. These proceedings contain the ?nal

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 100 || Reusing a Declarative Specification to Check the Conformance of Different CIGs

✍ Daniel, Florian; Barkaoui, Kamel; Dustdar, Schahram 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 342 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Business Process Management Workshops Volume 17 || On the Alignment of Business Models and Process Models

✍ Ardagna, Danilo; Mecella, Massimo; Yang, Jian 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 363 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Business Process Model and Notation Volume 95 || Towards Understanding Process Modeling – The Case of the BPM Academic Initiative

✍ Dijkman, Remco; Hofstetter, Jörg; Koehler, Jana 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Enterprise, Business-Process and Information Systems Modeling Volume 175 || Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models

✍ Bider, Ilia; Gaaloul, Khaled; Krogstie, John; Nurcan, Selmin; Proper, Henderik A 📂 Article 📅 2014 🏛 Springer Berlin Heidelberg ⚖ 385 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] The Practice of Enterprise Modeling Volume 92 || Modeling an Agile Enterprise: Reconciling Systems and Process Thinking

✍ Johannesson, Paul; Krogstie, John; Opdahl, Andreas L. 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 422 KB

This volume constitutes the proceedings of the 4th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, held in Oslo, Norway, during November 2-3, 2011. The conference series is a dedicated forum where the use of enterprise modeling (EM) in practice is addressed by bringing togethe