In this paper we introduce a formal framework enriched with temporal constraints to describe multi-party business protocols for service networks. We extend this ...
In this paper we introduce a formal framework enriched with temporal constraints to describe multi- party business protocols for service networks. We extend ...
In this paper we introduce a formal framework enriched with temporal constraints to describe multiparty business protocols for service networks. We extend this ...
Abstract. Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asyn-.
Sound multi-party business protocols for service networks
research.tilburguniversity.edu › sound-m...
Sound multi-party business protocols for service networks ; Pages, 302-316 ; Volume, 5364 ; ISBN (Print), 9783540896470 ; Publication status, Published - 2008 ; Name ...
In this paper we introduce a formal framework enriched with temporal constraints to describe multi-party business protocols for service networks. We extend this ...
Sound Multi-party Business Protocols for Service Networks · List of references · Publications that cite this publication.
Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that ...
In this paper we introduce a formal framework enriched with temporal constraints to describe multi-party business protocols for service networks. We extend this ...
Apr 20, 2016 · In this paper we introduce a formal framework enriched with temporal constraints to describe multiparty business protocols for service networks.