✦ LIBER ✦

Business Process Modelling and Design — A Formal Model and Methodology

✍ Scribed by M Koubarakis; D Plexousakis

Book ID: 110278707
Publisher: Springer
Year: 1999
Tongue: English
Weight: 112 KB
Volume: 17
Category: Article
ISSN: 1358-3948
DOI: 10.1023/a:1009686723414

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Formal Approach Enabling Risk-Aware Bu

A Formal Approach Enabling Risk-Aware Business Process Modeling and Simulation

✍ Tjoa, S.; Jakoubi, S.; Goluch, G.; Kitzler, G.; Goluch, S.; Quirchmayr, G. 📂 Article 📅 2011 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 597 KB

Symbolic modelling and design methodolog

Symbolic modelling and design methodology

✍ Delbert L. Kimbler; Bevlee A. Watford; Robert P. Davis 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 549 KB

[Lecture Notes in Business Information P

[Lecture Notes in Business Information Processing] Enterprise, Business-Process and Information Systems Modeling Volume 50 || A Business Process Metadata Model for a Process Model Repository

✍ Bider, Ilia; Halpin, Terry; Krogstie, John; Nurcan, Selmin; Proper, Erik; Schmid 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 469 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

Design and management of business models

Design and management of business models and processes in services science

✍ Yves Pigneur; Hannes Werthner 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 92 KB

Supporting the group creation of formal

Supporting the group creation of formal and informal graphics during business process modeling

✍ Mark Pendergast; Kregg Aytes; James D Lee 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 443 KB

Since the 1960s, research in systems analysis and design has been performed along two distinct tracts: the automation of software design, implementation, and verification; and the elicitation of high level systems requirements. Computer-aided software engineering, rapid prototyping, and more recentl