We describe the COMPASS Modelling Language (CML), which is used to model large-scale Systems of Systems and the contracts that bind them together. The language can be used to document the interfaces to constituent systems using formal, precise, and verifiable specifications including preconditions, postconditions, and invariants. The semantics of CML directly supports the use of these contracts for all language constructs, including the use of communication channels, parallel processes, and processes that run forever. Every process construct in CML has an associated contract, allowing clients and suppliers to check that the implementations of constituent systems conform to their interface specifications.
CITATION STYLE
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Foster, S., & Larsen, P. G. (2014). Contracts in CML. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803, pp. 54–73). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_5
Mendeley helps you to discover research relevant for your work.