Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Building systems from commerical components
Building systems from commerical components
Computer
Making Components Contract Aware
Computer
IEEE Software
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Specification-Based Retrieval Strategies for Module Reuse
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Specification of Customizable Business Components
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Software Component Specification: A Study in Perspective of Component Selection and Reuse
ICCBSS '06 Proceedings of the Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems
Drawing Preconditions of Operation Contracts from Conceptual Schemas
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Using inheritance in a metadata based approach to data quality assessment
Proceedings of the first international workshop on Model driven service engineering and data quality and security
Software architecture constraints as customizable, reusable and composable entities
ECSA'10 Proceedings of the 4th European conference on Software architecture
Component-based specification of software architecture constraints
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
A method for data-flow analysis of business components
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An extensible metadata framework for data quality assessment of composite structures
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
On the use of an internal DSL for enriching EMF models
Proceedings of the 12th Workshop on OCL and Textual Modelling
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
| Hi-index | 0.01 |
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.