WIKINDX

TZI Literaturverzeichnis

WIKINDX Resources

Book Article: ID no. (ISBN etc.):  ISBN~0-262-16189-3 BibTeX citation key:  Gogolla{2004}a
M. Gogolla and P. Ziemann, "Checking BART Test Scenarios with UML's Object Constraint Language" in Formal Methods for Embedded Distributed Systems~- How to master the complexity, F. Kordon and M. Lemoine, Eds. Kluwer, 2004, p. 133–170.
Added by: Mirco Kuhlmann 2010-12-15 15:54:43
 B 
Categories: AG-Gogolla
Creators: Gogolla, Kordon, Lemoine, Ziemann
Publisher: {Kluwer}
Collection: {Formal Methods for Embedded Distributed Systems~- How to master the complexity}

Number of views:  422
Popularity index:  18.68%

 
Abstract
{The Object Constraint Language~(OCL) is part of the Unified Modelling Language~(UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants and pre- and postconditions. This chapter explains the functionality of the UML Specification Environment USE, which allows to validate and verify UML and OCL descriptions. The paper shows that central safety properties of the BART system can be expressed with OCL. Test cases embodying central aspects of the BART system can be formulated within the USE system. It can be shown that the safety properties are satisfied by the test cases examined.}
Added by: Mirco Kuhlmann

 
wikindx      |     Total Resources:  3135     |     Database queries:  32     |     Script execution:  0.47464 secs