|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 92 | Wil M. P. van der Aalst, Maja Pesic |
DecSerFlow: Towards a Truly Declarative Service Flow Language.  |
WS-FM  |
2006 |
DBLP DOI BibTeX RDF |
Service flows, web services, temporal logic, workflow management, flexibility |
| 79 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
Verification of Choreographies During Execution Using the Reactive Event Calculus. |
WS-FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 79 | Wil M. P. van der Aalst, Maja Pesic |
Specifying and Monitoring Service Flows: Making Web Services Process-Aware. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 39 | Malik Khalfallah, Parisa Ghodous |
P-DecSerFlow: A Conceptual Framework to Model Services Interactions for Standardized Service Oriented Architecture. |
SCC |
2021 |
DBLP DOI BibTeX RDF |
|
| 39 | Yutian Sun, Jianwen Su |
Conformance for DecSerFlow Constraints. |
ICSOC |
2014 |
DBLP DOI BibTeX RDF |
|
| 39 | Wil M. P. van der Aalst, Maja Pesic |
DecSerFlow: Towards a Truly Declarative Service Flow Language. |
The Role of Business Processes in Service Oriented Architectures |
2006 |
DBLP BibTeX RDF |
|
| 36 | Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari |
Inducing Declarative Logic-Based Models from Labeled Traces. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
Topics Process mining, DecSerFlow, Careflow, Logic Programming, Process verification and validation |
| 26 | Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone |
-Tropos. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license