NDLI: Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness

Content Provider	IEEE Xplore Digital Library
Author	Knuplesch, D. Pryss, R. Reichert, M.
Copyright Year	2012
Description	Author affiliation: Inst. of Databases & Inf. Syst., Ulm Univ., Ulm, Germany (Knuplesch, D.; Pryss, R.; Reichert, M.)
Abstract	IT support for distributed and collaborative workflows as well as related interactions between business partners are becoming increasingly important. For modeling such partner interactions as flow of message exchanges, different top-down approaches, covered under the term interaction modeling, are provided. Like for workflow models, correctness constitutes a fundamental challenge for interaction models; e.g., to ensure the boundedness and absence of deadlocks and lifelocks. Due to their distributed execution, in addition, interaction models should be message-deterministic and realizable, i.e., the same conversation (i.e. sequence of messages) should always lead to the same result, and it should be ensured that partners always have enough information about the messages they must or may send in a given context. So far, most existing approaches have addressed correctness of interaction models without explicitly considering the data exchanged through messages and used for routing decisions. However, data support is crucial for collaborative workflows and interaction models respectively. This paper enriches interaction models with the data perspective. In particular, it defines the behavior of data-aware interaction models based on Data-Aware Interaction Nets, which use elements of both Interaction Petri Nets and Workflow Nets with Data. Finally, formal correctness criteria for Data-Aware Interaction Nets are derived, guaranteeing the boundedness and absence of deadlocks and lifelocks, and ensuring message-determinism as well as realizability.
Starting Page	223
Ending Page	232
File Size	1795434
Page Count	10
File Format	PDF
ISBN	9781467327404
DOI	10.4108/icst.collaboratecom.2012.250443
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-10-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	ICST
Subject Keyword	Hospitals Artificial neural networks Receivers System recovery Data models Positron emission tomography
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

M.: Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness

Results from neural networks for recovery of PET triple coincidences

Time discrimination techniques using artificial neural networks for positron emission tomography

Syntax and Semantics of Workflows That Include Passbacks

Neural estimation of kinetic rate constants from dynamic PET-scans

The relational mind

An intelligent system for pet tumour detection and quantification

Time Discrimination Techniques Using Artificial Neural Networks for Positron Emission Tomography

SPADnet network modeling, simulation and emulation

Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness

Similar Documents

M.: Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness

Results from neural networks for recovery of PET triple coincidences

Time discrimination techniques using artificial neural networks for positron emission tomography

Syntax and Semantics of Workflows That Include Passbacks

Neural estimation of kinetic rate constants from dynamic PET-scans

The relational mind

An intelligent system for pet tumour detection and quantification

Time Discrimination Techniques Using Artificial Neural Networks for Positron Emission Tomography

SPADnet network modeling, simulation and emulation

Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness