FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik
Prof. Dr. Elfriede Fehr und Dr. Dirk Draheim laden ein:
A Model Driven Approach to Analysis of Systems Dr. Behzad Bordbar, School of Computer Science, University of
Birmingham
Model Driven Architecture aims to promote the role of models.
MDA is often attributed to code generation and implementation; where a Platform Independent Model (PIM) capturing a high-level view of the system is transformed into a Platform Specific Model (PSM), which specifies the system in a particular implementation technology, platform and paradigm. MDA can also be used to facilitate analysis of systems in which the correctness is of primary concern. We shall present a method of transformation of platform independent models, captured in UML class diagrams and Object Constraint Languages (OCL) to Alloy models, which can be analyzed by the Alloy analyzer. The presented approach is implemented in a tool called UML2Alloy, which has been used successfully in analysis of examples of reactive systems and enterprise web applications.
Ort: Takustr. 9, SR 049 Zeit: Fr, 11.11.2005, 14 Uhr c.t., Kaffee/Tee ab 13.45 im Raum 137
[ home ] [ up ] | webmaster@inf.fu-berlin.de |