A Library of OCL Specification Patterns for Behavioral Specification of Software Components

摘要

One important aspect in building trusted information systems is the precise specification of systems and system parts. This applies even more for information systems built from COTS components. To specify behavioral aspects of software components the UML Object Constraint Language (OCL) is well suited. One current problem in component specifications comes from the fact that editing OCL constraints manually is time consuming and error-prone. To simplify constraint definition we propose to use specification patterns for which OCL constraints can be generated automatically. In this paper we outline this solution proposal and present a library of reusable OCL specification patterns.