Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
An axiomatic basis for computer programming
Communications of the ACM
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Architecting web services
Design by contract, by example
Design by contract, by example
Business Rule Concepts
Learning DCOM
Java RMI
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Computer
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
Comments on "Formal Methods Application: An Empirical Tale of Software Development"
IEEE Transactions on Software Engineering
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
IEEE Transactions on Software Engineering
Grid Computing: The Savvy Manager's Guide
Grid Computing: The Savvy Manager's Guide
Software fault avoidance issues
Ubiquity
An agent based platform for task distribution in virtual environments
Journal of Systems Architecture: the EUROMICRO Journal
Middleware mechanisms for supporting multimodal interactions in smart environments
Computer Communications
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
An architecture for component-based design of representative-based clustering algorithms
Data & Knowledge Engineering
A feature-oriented approach to platform-specific modelling of coarse-grained components
International Journal of Computer Applications in Technology
Hi-index | 0.02 |
This paper deals with the modeling, automatic implementation and runtime verification 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 methodology and a set of tools that enable developers both to model component constraints and to generate automatically component skeletons that already implement such constraints. The methodology has been extended to support implementation even in case of legacy components.