Auflistung nach Schlagwort "Behavioral Specification"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragFrequently occurring patterns in behavioral specification of software components(Component-oriented enterprise applications, Proceedings of the conference on component-oriented enterprise applications (COEA 2005), 2005) Ackermann, JörgCompositional 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.