Paper Info
Title
Expressing global priorities by best-matching
Abstract
The relative expressive power of global priorities against the local priorities induced by a best-matching communication paradigm is investigated. Two specific languages are taken as referential cases: FAP and COWS. FAP is a finite fragment of asynchronous CCS with explicit priorities. COWS is a process calculus with naming that was specifically devised for modelling the orchestration of web services and where best-matching serves the purpose of giving precedence to service instances over service definitions. Two main results are shown, one on the negative and the other on the positive side. First, we prove the impossibility of encoding FAP into COWS if the translation has to meet a few specific and reasonable requirements. Second, we define an encoding of FAP into COWS that does not respect the above requirements. We show however that it still possesses desirable properties.
Year
DOI
Venue
2012
10.1145/2245276.2232022
SAC
Keywords
Field
DocType
best-matching communication paradigm,asynchronous ccs,explicit priority,specific language,encoding fap,desirable property,web service,global priority,service definition,finite fragment,process calculi,specification language,process calculus,expressive power
Asynchronous communication,Programming language,Computer science,Impossibility,Web service,Process calculus,Expressive power,Orchestration (computing),Encoding (memory)
Conference
Citations 
PageRank 
References 
0
0.34
10
Authors
2
Name
Order
Citations
PageRank
Igor Cappello121.07
Paola Quaglia235627.06