Abstract
OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation pre- and postconditions, class invariants) of such models. The applicability and utility of OCL can be assessed by applying it to realistic applications and by investigating its capabilities both in terms of language characteristics and tool support. With this in mind, in this paper we model functional requirements for the Mondex Smart Card Application using UML Diagrams, demonstrate how system invariants as well as operation re- and post-conditions are specified in OCL, and explore the degree to which OCL tool support can be used to create and validate these models. Moreover, we discuss how these pre- and post-conditions can be validated, in part by discussing how test cases can be selected from the OCL specifications created.
| Original language | English |
|---|---|
| Title of host publication | MODELS IN SOFTWARE ENGINEERING |
| Editors | H Giese |
| Place of Publication | BERLIN |
| Publisher | Springer |
| Pages | 194-205 |
| Number of pages | 12 |
| Volume | 5002 LNCS |
| ISBN (Print) | 978-3-540-69069-6 |
| Publication status | Published - 2008 |
| Event | Workshop and Symposia on Models in Software Engineering - Nashville Duration: 30 Sept 2007 → 5 Oct 2007 |
Conference
| Conference | Workshop and Symposia on Models in Software Engineering |
|---|---|
| City | Nashville |
| Period | 30/09/07 → 5/10/07 |