Abstract | ||
---|---|---|
In this paper we propose an approach to derive the formal semantics of WS-BPEL processes compositionally using Reo and constraint automata. We map each WS-BPEL process into a Reo circuit and then construct the corresponding constraint automaton which shows the behavior of the process. The constraint automaton can be used for analyzing the process behavior. Our work covers the core part of the WS-BPEL language including basic and structured activities, correlation sets, variables, and links. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-79230-7_8 | WS-FM |
Keywords | Field | DocType |
web service interaction,core part,process behavior,reo circuit,constraint automaton,correlation set,structured activity,coordination language reo,formal semantics,corresponding constraint automaton,ws-bpel process,ws-bpel language,web service | Principle of compositionality,Constraint automaton,Programming language,Computer science,Automaton,Theoretical computer science,Web service,Reo Coordination Language,Coordination language,Semantics of logic | Conference |
Volume | ISSN | ISBN |
4937 | 0302-9743 | 3-540-79229-5 |
Citations | PageRank | References |
12 | 0.59 | 18 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Samira Tasharofi | 1 | 93 | 5.15 |
Mohsen Vakilian | 2 | 162 | 7.62 |
Roshanak Zilouchian Moghaddam | 3 | 53 | 4.18 |
Marjan Sirjani | 4 | 915 | 57.77 |