Ackermann, JörgTurowski, KlausZaha, Johannes Maria2019-08-272019-08-2720053-88579-399-7https://dl.gi.de/handle/20.500.12116/24947Compositional plug-and-play-like reuse of black-box components requires sophisticated techniques to specify the components. One current problem in specifying behavioral aspects 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. As a first step we identify a list of patterns that frequently occur in behavioral specifications. These patterns are described in detail using a special description scheme and specification examples.enComponent Based Software EngineeringSoftware Component SpecificationBehavioral SpecificationSpecification PatternsText/Conference Paper1617-5468