A Formal Framework for Multi-Party Business Protocols

Mancioppi, Michele

doi:10.2139/ssrn.1272903

Cited by 3 publications

(8 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Incognito states are "superstates" in orchestrations which resume states in the original choreography that are not discernible by the participant because of lack of information. The algorithm to extract the point of view of a participant from a choreography (and the creation of the incognito states) [1] is outside the scope of this paper.…”

Section: Multi-party Business Conversations In Service Networkmentioning

confidence: 99%

“…We use a graph-based representation which permits us to give an intuitive and simple semantics to the execution of runs, and which makes it easy to perform a mapping to timed automata, which enables model checking-based verification of temporal logic properties. Space constraints force us to be concise; the interested reader can find more details and examples in [1].…”

Section: Formal Exposition Of Business Protocolsmentioning

confidence: 99%

See 1 more Smart Citation

Sound Multi-party Business Protocols for Service Networks

Mancioppi

Carro

Heuvel

et al. 2008

Service-Oriented Computing – ICSOC 2007

Self Cite

View full text Add to dashboard Cite

Abstract. Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that typically transcend several organizations and span several geographical locations. At the communication level, service network business protocols can be flexible ranging from conventional inter-organizational point-to-point service interactions to fully blown dynamic multi-party interactions of global reach within which each participant may contribute its activities and services. In this paper we introduce a formal framework enriched with temporal constraints to describe multiparty business protocols for service networks. We extend this framework with the notion of multi-party business protocol soundness and show how it is possible to execute a multi-party protocol consistently in a completely distributed manner while guaranteeing eventual termination.

show abstract

Section: Multi-party Business Conversations In Service Networkmentioning

confidence: 99%

Section: Formal Exposition Of Business Protocolsmentioning

confidence: 99%

Sound Multi-party Business Protocols for Service Networks

Mancioppi

Carro

Heuvel

et al. 2008

Service-Oriented Computing – ICSOC 2007

Self Cite

View full text Add to dashboard Cite

show abstract

“…They are orchestration and choreography [3,4,15,20]. The means of describing orchestration and choreography are pivotal in Service-Oriented Computing (SOC) since each has its trade-offs [10,11].…”

Section: Introductionmentioning

confidence: 99%

“…It follows that orchestration can be viewed as projections on choreographies of the point of view of one single participant. Choreographies and orchestrations that explain the same conversation are connected [10].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A framework for the choreography of intelligent e-services

Ntshinga

Ojo

Ngassam³

2012

Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

View full text Add to dashboard Cite

In this paper a framework for the choreography of intelligent electronic services (e-services) that follows the ServiceOriented Architecture principle is presented. The composition abilities of intelligent e-services in the framework enable them to match a user's request for service consumption. The framework is based on a dynamic model of message querybased with casual knowledge-based expansion. A practical illustration of the application of the framework relies on a domain-specific e-service aggregation following an e-mentoring business scenario. The e-mentoring scenario is chosen in order to take advantage of the innovative features offered by the current World Wide Web, which has evolved into a provider of services.

show abstract

Choreography of Electronic-Mentoring Using Intelligent E-Services

Ntshinga¹

2016

EDULEARN Proceedings

View full text Add to dashboard Cite

A Formal Framework for Multi-Party Business Protocols

Cited by 3 publications

References 19 publications

Sound Multi-party Business Protocols for Service Networks

Sound Multi-party Business Protocols for Service Networks

A framework for the choreography of intelligent e-services

Choreography of Electronic-Mentoring Using Intelligent E-Services

Contact Info

Product

Resources

About