Checking Realizability of a Timed Business Processes Choreography

Manuel I. Capel

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Checking Realizability of a Timed Business Processes Choreography

Topics: Business Process Management and Web Services

In Proceedings of the 7th International Conference on Cloud Computing and Services Science CLOSER - Volume 1, 441-448, 2017 , Porto, Portugal

Author: Manuel I. Capel

Affiliation: Granada University, Spain

Keyword(s): Business Process Management, Business Process as a Service, BPMN, Process Modeling, Temporal Constraints and Dependencies, Temporal Semantics.

Abstract: A business process (BP) can be understood as a set of related, structured, interacting services acting as peers, according to an intended choreography that is capable of giving complex functionality to customers. Several authors have made progress in solving the ”choreography realization” problem. The research work carried out in this paper amounts to analyzing and automatically checking the realizability of the defined choreography for services that communicate through messages in a general, distributed, and highly parallel system.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.224.64.226

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

I. Capel, M. (2017). Checking Realizability of a Timed Business Processes Choreography. In Proceedings of the 7th International Conference on Cloud Computing and Services Science - CLOSER; ISBN 978-989-758-243-1; ISSN 2184-5042, SciTePress, pages 441-448. DOI: 10.5220/0006300404410448

@conference{closer17,
author={Manuel {I. Capel}.},
title={Checking Realizability of a Timed Business Processes Choreography},
booktitle={Proceedings of the 7th International Conference on Cloud Computing and Services Science - CLOSER},
year={2017},
pages={441-448},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006300404410448},
isbn={978-989-758-243-1},
issn={2184-5042},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Cloud Computing and Services Science - CLOSER
TI - Checking Realizability of a Timed Business Processes Choreography
SN - 978-989-758-243-1
IS - 2184-5042
AU - I. Capel, M.
PY - 2017
SP - 441
EP - 448
DO - 10.5220/0006300404410448
PB - SciTePress