Name
Abstract | ||
|---|---|---|
Monitoring is a promising technique to detect erroneous behavior of a composite service at run-time, which is to complement static verification and validation techniques. One of the most important aspects of monitoring approach is that the specification of the properties without losing expressive power should be as simple as possible, facilitating the developers to represent the properties of the composite service. Consequently, we prefer to use Modal Sequence Diagrams that are the modal extension of UML 2.0 Sequence Diagrams as our property specification. Modal Sequence Diagrams are not only simple enough but also have powerful expressive power. We first define the formal syntax and semantics of Modal Sequence Diagrams, and measure the expressiveness based on Property Specification Patterns. Then, a novel framework is proposed to monitor temporal properties of the composite service with Modal Sequence Diagrams. Finally, a series of experiments based on On-the-Job Assistant case study have been conducted to validate our approach. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/APSEC.2009.65 | APSEC |
Keywords | Field | DocType |
static validation technique,uml 2.0 sequence diagrams,web services,expressive power,universal modal sequence diagrams,erroneous behavior,sequence diagrams,static verification technique,sequences,formal semantics,composite service,powerful expressive power,modal extension,property specification patterns,on-the-job assistant case study,temporal logic,modal sequence diagrams,monitoring composite services,unified modeling language,run-time error,property specification,program verification,composite services monitoring,formal syntax,system monitoring,sequence diagram,verification and validation,algorithm design and analysis,data mining,automata | Sequence diagram,Programming language,Unified Modeling Language,Verification and validation,Computer science,Automaton,System monitoring,Theoretical computer science,Formal grammar,Temporal logic,Modal | Conference |
ISSN | ISBN | Citations |
1530-1362 | 978-0-7695-3909-6 | 4 |
PageRank | References | Authors |
0.51 | 14 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wenrui Li | 1 | 58 | 8.98 |
| Zhijian Wang | 2 | 4 | 0.51 |