Abstract | ||
---|---|---|
In the present paper we assess both the safety properties and the response-time profile of a subscription service which provides Medical assistance to drivers who are injured in vehicular collisions. We use both timed and untimed process calculi cooperatively to perforin the required analysis. The formal analysis tools used are hosted on a high-level modelling platform with support for scripting and orchestration which enables users to build custom analysis processes from the general-purpose analysers which are hosted as services on the platform. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-88479-8_14 | Communications in Computer and Information Science |
Field | DocType | Volume |
Analysis tools,Software engineering,Computer science,Response time,Activity diagram,Service composition,Process calculus,Orchestration (computing),Scripting language,Automotive industry | Conference | 17 |
ISSN | Citations | PageRank |
1865-0929 | 2 | 0.38 |
References | Authors | |
13 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ashok Argent-Katwala | 1 | 15 | 3.07 |
Allan Clark | 2 | 259 | 13.74 |
Howard Foster | 3 | 629 | 48.12 |
Stephen Gilmore | 4 | 2 | 0.38 |
Philip Mayer | 5 | 234 | 15.64 |
mirco tribastone | 6 | 518 | 43.87 |