A Precise Specification For The Modelling Of Collaborations

摘要: A collaboration represents a set of entities that work together to achieve common goal. Collaborations are useful specify how elements collaborate realize method, class or use case. also for representing design patterns, which represented in UML as parameterized collaborations. This paper contains two complementary models modeling collaborations; one model is graphical and specifies only basic constraints the other textual further cannot be specified model. Both these were built using Alloy, is: 1) language uses first order logic relational systems 2) methodology helps designers making 3) an analyzer detects inconsistencies design.