A Precise Specification For The Modelling Of Collaborations

Main Article Content

Fernando Valles Barajas

Abstract

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

Downloads

Download data is not yet available.

Article Details

How to Cite
Barajas, F. V. (2010). A Precise Specification For The Modelling Of Collaborations. Malaysian Journal of Computer Science, 23(1), 18–36. Retrieved from https://juku.um.edu.my/index.php/MJCS/article/view/6383
Section
Articles