000000501 001__ 501
000000501 005__ 20180317094244.0
000000501 037__ $$aCONF
000000501 245__ $$aPrecise Graphical Representation of Roles in Requirements Engineering
000000501 269__ $$a2003
000000501 260__ $$c2003
000000501 336__ $$aConference Papers
000000501 520__ $$aModeling complex systems can not be done without considering a system from multiple views. Using multiple views improves model understandability. However the analysis of models that integrate multiple views is difficult. In many cases a model can be evaluated only after its implementation. In our work we describe a visual modeling framework that allows for the evaluation of multiview models. We give an overview of our framework using a small case study of a Simple Music Management System. For each view in our framework we specify a separate role of the system. The whole system is specified as a composition of smaller roles. Each role, as well as the whole model of a system, can be evaluated by means of the analysis of possible instance diagrams (examples) that can be generated automatically. Instance diagrams are generated based on the formalization of visual models using the Alloy modeling language.
000000501 700__ $$0241120$$aBalabko, Pavel$$g118299
000000501 700__ $$0241922$$aWegmann, Alain$$g112464
000000501 7112_ $$aEMSISE`03$$cGeneva
000000501 773__ $$tEMSISE`03
000000501 8564_ $$s359537$$uhttps://infoscience.epfl.ch/record/501/files/BalabkoW03B.pdf$$zn/a
000000501 909CO $$ooai:infoscience.tind.io:501$$pIC$$pconf
000000501 909C0 $$0252193$$pLAMS$$xU10412
000000501 937__ $$aLAMS-CONF-2003-005
000000501 970__ $$a680/LCA
000000501 973__ $$aEPFL$$sPUBLISHED
000000501 980__ $$aCONF