Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-18011
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1801/

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

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

pdf-Format:
Dokument 1.pdf (174 KB)
Print-on-Demand:

Kurzfassung auf Englisch

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 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.

Freie Schlagwörter (Deutsch): OCL , Object Constraint Language , Programmiersprache
Freie Schlagwörter (Englisch): OCL , Object Constraint Language , programming language
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 09/03
ISBN/ISSN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 11.03.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja