Title | ||
---|---|---|
WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart |
Abstract | ||
---|---|---|
Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Due to the autonomous attribute of each basic service, validation of composite services must be extended from design time to run-time. In this paper, we describe a novel tool chain called WS-PSC Monitor to monitor temporal and timing properties in composite service based on graphical specification property sequence chart and timed property sequence chart. The tool chain provides a completely graphical front-end which can make software designers do not have to deal with any particular textual and logical formalism. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16612-9_39 | RV |
Keywords | Field | DocType |
ws-psc monitor,property sequence chart,composite service,web service composition,tool chain,graphical specification property sequence,timing property,basic service,novel tool chain,graphical front-end,front end,software design | Web service composition,Structure chart,Computer science,Graphical specification,Basic service,Real-time computing,Software,Chart,Formalism (philosophy),Composite services | Conference |
Volume | ISSN | ISBN |
6418 | 0302-9743 | 3-642-16611-3 |
Citations | PageRank | References |
8 | 0.48 | 8 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pengcheng Zhang | 1 | 153 | 10.70 |
Zhiyong Su | 2 | 30 | 5.83 |
Yuelong Zhu | 3 | 24 | 4.53 |
Wenrui Li | 4 | 58 | 8.98 |
Bixin Li | 5 | 439 | 51.11 |