Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse

Emine G. Aydal; Richard F. Paige; Jim Woodcock

doi:10.1007/978-3-540-69073-3_21

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse

Emine G. Aydal, Richard F. Paige, Jim Woodcock

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

Abstract. OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation preand 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 pre- 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
Pages (from-to)	194-205
Number of pages	11
Journal	Lecture Notes in Computer Science
Volume	5002
DOIs	https://doi.org/10.1007/978-3-540-69073-3_21
Publication status	Published - 2008
Event	Workshop and Symposia on Models in Software Engineering - Nashville Duration: 30 Sept 2007 → 5 Oct 2007

Access to Document

10.1007/978-3-540-69073-3_21

http://portal.acm.org/citation.cfm?id=1423642

Cite this

@article{7d9c3dece59a403d935c9763d100cb7e,

title = "Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse",

abstract = "Abstract. OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation preand 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 pre- 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. ",

author = "Aydal, {Emine G.} and Paige, {Richard F.} and Jim Woodcock",

year = "2008",

doi = "10.1007/978-3-540-69073-3_21",

language = "English",

volume = "5002",

pages = "194--205",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "Workshop and Symposia on Models in Software Engineering ; Conference date: 30-09-2007 Through 05-10-2007",

}

TY - JOUR

T1 - Evaluation of OCL for Large-Scale Modelling

T2 - Workshop and Symposia on Models in Software Engineering

AU - Aydal, Emine G.

AU - Paige, Richard F.

AU - Woodcock, Jim

PY - 2008

Y1 - 2008

N2 - Abstract. OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation preand 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 pre- 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.

AB - Abstract. OCL is used to add rigour to UML/MOF models, and in particular can be used to express behavioural details (e.g., operation preand 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 pre- 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.

UR - http://www.scopus.com/inward/record.url?scp=47749128155&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-69073-3_21

DO - 10.1007/978-3-540-69073-3_21

M3 - Article

SN - 0302-9743

VL - 5002

SP - 194

EP - 205

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 30 September 2007 through 5 October 2007

ER -

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse

Abstract

Access to Document

Other files and links

Cite this