Enterprise Modelling using Algebraic Graph Transformation - Extended Version

An analysis of today's situation at Credit
Suisse has shown severe problems, because it is based
on current best practices and ad-hoc modelling techniques to handle important aspects of security, risk and
compliance. Based on this analysis we propose in this
paper a new enterprise model which allows the construction, integration, transformation and evaluation of
di erent organizational models in a big decentralized
organization like Credit Suisse. The main idea of the
new model framework is to provide small decentralized
models and intra-model evaluation techniques to handle services, processes and rules separately for the business and IT universe on one hand and for human-centric
and machine-centric concepts on the other hand. Furthermore, the new framework provides inter-modelling
techniques based on algebraic graph transformation to
establish the connection between di erent kinds of models and to allow integration of the decentralized models.
In order to check for security, risk and compliance in
a suitable way, our models and techniques are based on
di erent kinds of formal methods. In this paper, we show
that algebraic graph transformation techniques are useful not only for intra-modelling { using graph grammars
for visual languages and graph constraints for requirements { but also for inter-modelling { using triple graph
grammars for model transformation and integration.
Altogether, we present the overall idea of our new
model framework and show how to solve speci c problems concerning intra- and inter-modelling as rst steps.
This should give evidence that our framework can also
?
This work is partially supported by Credit Suisse (Luxembourg) S.A., 56, Grand Rue BP 40, L-1660 Luxembourg,
Telephone: +352 46 00 11-1, Fax: +352 46 32 70
handle important other requirements for enterprise modelling in a big decentralized organization like Credit Suisse.