Extending object-oriented systems with roles
ACM Transactions on Information Systems (TOIS)
Using role components in implement collaboration-based designs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Role model designs and implementations with aspect-oriented programming
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software—Practice & Experience - Research Articles
A Model for Temporal relations between Object Roles
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
In this paper, we advocate a use case based methodology for development of object oriented systems which give primacy to roles instead of class. We present an algorithm to synthesize partial collaborations between roles to obtain classes and interaction between them. It realizes temporal relations between roles by defining anonymous roles and its collaboration with other roles. During synthesis, the algorithm checks for the correctness of the partial collaborations with respect to contracts for events, and of synthesized collaboration with respect to pre, post and invariant conditions of the use case. A prototype tool has been implemented using AspectJ and GROOVE simulator to test the feasibility of the methodology