The Turing programming language
Communications of the ACM
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
UML toolkit
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
UML components: a simple process for specifying component-based software
UML components: a simple process for specifying component-based software
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-Oriented Software Construction
Object-Oriented Software Construction
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Computer
An Architecture and a Process for Implementing Distributed Collaborations
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Adding Business Rules and Constraints in Component Based Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Formal design and implementation of constraints in software components
Advances in Engineering Software
Hi-index | 0.00 |
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in modeling distributed systems as long as business rules implementation, design-by-contract practice, and fault-tolerance requirements are concerned. Nevertheless, component developers are not sufficiently supported by existing tools to model and implement such features. In this paper, we propose a set of tools that enable developers both to model component constraints and to automatically generate component skeletons that already implement such constraints.