Abstract | ||
---|---|---|
We discuss the initial design for CML, the first formal language specifically designed for modelling and analysing Systems of Systems (SoSs). It is presented through the use of an example: an SoS of independent telephone exchanges. Its overall behaviour is first specified as a communicating process: a centralised telephone exchange. This description is then refined into a network of telephone exchanges, each handling a partition of the set of subscribers (telephone users). The refinement is motivated by a non-functional requirement to minimise the cabling required to connect geographically distributed subscribers, who are clustered. The exchanges remain as independent systems with respect to their local subscribers, whose service is unaffected by the loss of remote exchanges. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/SYSoSE.2012.6384144 | SoSE |
Keywords | Field | DocType |
evolution,formal languages,vdm,compass,semantics,sysml,architecture,specification,formal language,utp,speech,formal semantics,refinement,telephone exchanges | Formal language,Software engineering,Systems engineering,Telephone exchange,Computer science,System of systems,Telecommunication computing | Conference |
ISBN | Citations | PageRank |
978-1-4673-2974-3 | 36 | 1.55 |
References | Authors | |
1 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jim Woodcock | 1 | 534 | 77.08 |
Ana Cavalcanti | 2 | 668 | 59.95 |
John S. Fitzgerald | 3 | 421 | 41.71 |
Peter Gorm Larsen | 4 | 1015 | 99.82 |
Alvaro Miyazawa | 5 | 91 | 9.33 |
S. Perry | 6 | 36 | 1.55 |