NDLI: Abstract state machine nets: closing the gap between business process models and their implementation

Please wait, while we are loading the content...

Abstract state machine nets: closing the gap between business process models and their implementation

Articulation of subject-oriented business process models

Next step recommendation and prediction based on process mining in adaptive case management

Leveraging CMMN for ACM: examining the applicability of a new OMG standard for adaptive case management

Subject-oriented plural method meets BPMN: a case study

Reuse of models in S-BPM process specifications

Towards the automated business process building by means of type theory

Tool-based checking of business process models

Business process management in small- and medium-sized enterprises: an empirical study

When process managers act as requirements engineers: a template-based proposal using workflow models to derive innovative IT requirements

Engines supporting the subject-oriented paradigm

Adaptive open innovation: solution approach and tool support

Modeling for change via component-based decomposition and ASM refinement

An exploratory study on role-based collaborative business process modeling approaches

Towards context-aware processes in people-centered factories of the future

Enhancing process compliance in complex product developments: insights from an international manufacturer

Towards an open, curious S-BPM community: eliciting stakeholder needs

Resource management and authorization for cloud services

An ASM model for the procure to pay case study

CSPm models for the ATM case study

Comparison of the subject-oriented and the Petri net based approach for business process automation

Abstract state machine nets: closing the gap between business process models and their implementation

Content Provider	ACM Digital Library
Author	Börger, Egon Fleischmann, Albert
Abstract	The gap between on the one side the users' understanding of Business Process Models (BPMs) and on the other side the run behavior of model implementations is still with us. We introduce Abstract State Machine Nets (ASM Nets) whose component ASMs can be defined using a simple combination of textual (data-oriented) and intuitive graphical (control-flow oriented) yet semantically rigorously defined descriptive means. This allows the BP experts to design BPMs whose underlying ASM Nets constitute a reliable precise contract---a contract which guarantees the BP domain experts that the application-domain focussed understanding of the BPMs they design is also a correct understanding of the code behavior provided by the implementation of the models by software experts. This paves the way for the development of certifiably correct BPMs and their implementations. To illustrate one practical and one conceptual application of the concept we a) instantiate ASM Nets to model the behavioral meaning of the graphical and textual notations used in the commercial S-BPM tool suite with its focus on communication (service interaction) and b) show that applying the rigorous ASM refinement concept to ASM Nets supports IBM's Guard-Stage-Milestone approach to adaptive case management by an accurate conceptual foundation.
Starting Page	1
Ending Page	10
Page Count	10
File Format	PDF
ISBN	9781450333122
DOI	10.1145/2723839.2723840
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-04-23
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Egon Börger (Pisa) Closing the Gap between Business Process Models and their Implementation Towards Certified BPMs

Abstract closing the gap between asic and custom: an.

Discovering business rules from business process models

An Open S-BPM Runtime Environment Based on Abstract State Machines

A gap between Business Process Intelligence and redesign process

Making products usable: closing the gap between what products can do and what users know how to do with them

The E-Strategy Case: Closing the Gap Between Strategy Formulation and Strategy Implementation

Composing Web-service-like abstract state machines (ASMs (2007)

Bridging the gap between business process models and use-case models

Abstract state machine nets: closing the gap between business process models and their implementation

Similar Documents

Egon Börger (Pisa) Closing the Gap between Business Process Models and their Implementation Towards Certified BPMs

Abstract closing the gap between asic and custom: an.

Discovering business rules from business process models

An Open S-BPM Runtime Environment Based on Abstract State Machines

A gap between Business Process Intelligence and redesign process

Making products usable: closing the gap between what products can do and what users know how to do with them

The E-Strategy Case: Closing the Gap Between Strategy Formulation and Strategy Implementation

Composing Web-service-like abstract state machines (ASMs (2007)

Bridging the gap between business process models and use-case models

Abstract state machine nets: closing the gap between business process models and their implementation