Abstract | ||
---|---|---|
Managing transactions is a key issue in Service Oriented Computing where particular relevance is given to the so called Long Running Transactions (LRT). Here, we show how to apply a formal approach to the specification and refactoring of LRT. Specifically, we consider a methodology arising on process calculi and show how it can be applied to a case study. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15640-3_21 | TGC |
Keywords | Field | DocType |
service oriented computing,process calculi | Model transformation,Software engineering,Computer science,Theoretical computer science,Process calculus,Code refactoring,Database,Business Process Model and Notation,Service-oriented architecture | Conference |
Volume | ISSN | ISBN |
6084 | 0302-9743 | 3-642-15639-8 |
Citations | PageRank | References |
1 | 0.35 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gianluigi Ferrari | 1 | 1690 | 139.36 |
Roberto Guanciale | 2 | 89 | 11.17 |
Daniele Strollo | 3 | 84 | 6.17 |
Emilio Tuosto | 4 | 499 | 42.62 |