Simon Zambrovski
Simon Zambrovski
Publications
Peter Golibrzuch, Alexander Holbreich and Simon Zambrovski. Enterprise Application Deployment: A model driven
approach. In Software Engineering 2007 - Beiträge zu den
Workshops, March 2007. Hamburg, Germany.
@InProceedings{Telematik_GHZ_2007_EnterpriseAppDeplyment,
author = {Peter Golibrzuch and Alexander Holbreich and Simon Zambrovski},
title = {Enterprise Application Deployment: A model driven
approach},
booktitle = {Software Engineering 2007 - Beiträge zu den
Workshops},
day = {29},
month = mar,
year = 2007,
location = {Hamburg, Germany},
}
Boris Gruschko, Friedrich H. Vogt and Simon Zambrovski. Business Activities in an Industrial Context. In Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06), January 2006. Hong Kong.
@InProceedings{Telematik_GVZ_2006_BusinessActivity,
author = {Boris Gruschko and Friedrich H. Vogt and Simon Zambrovski},
title = {Business Activities in an Industrial Context},
booktitle = {Proceedings of the International Conference on
Logistics and Supply Chain Management (LSCM'06)},
day = {5-7},
month = jan,
year = 2006,
location = {Hong Kong},
}
Abstract:
In this paper we show an approach to business
activity modelling, with
emphasis on
identification of Services,
messages being exchanged between them, collaboration
scenarios
and
coordination protocols to be considered for the fulfilment of those
scenarios. The
modelling technique has been developed during business
process analysis at
Lufthansa
Technik AG. An airframe related
components overhaul process has been
researched, in order
to advise the
concerned department, on application of loosely coupled
systems. The
analysis
provides a basis for the inception of a SOA-based system, for
the handling of
airframe related
components. The presented technique is
not limited to the aerospace industry,
but constitutes
a generic
approach to Service-Oriented Modelling. The main focus of
this
technique is the
transformation from traditional, activity-based
model, towards a model based upon
message
exchange between the
participating Services. Further transition leads to the
identification of
collaboration patterns involved in the business
activity. Given those patterns it
is possible, to
prove the
applicability of standardized coordination protocols to the
particular collaboration.
We derive a methodology for structural
approach to the management of
business activities in
SOA context, based
on our experience gathered during the described
analysis.
Boris Gruschko, Friedrich H. Vogt and Simon Zambrovski. Enabling the usage of formal methods by creation of
convenient tools. In Proceedings of the 2nd International Workshop on
Web Services and Formal Methods (WSFM'05), September 2005. Versailles, France.
@InProceedings{Telematik_GVZ_2005_TLAEclipse,
author = {Boris Gruschko and Friedrich H. Vogt and Simon Zambrovski},
title = {Enabling the usage of formal methods by creation of
convenient tools},
booktitle = {Proceedings of the 2nd International Workshop on
Web Services and Formal Methods (WSFM'05)},
day = {1-3},
month = sep,
year = 2005,
location = {Versailles, France},
}
Abstract:
Creation of formal specifications is being considered
a relief
for the difficulties of inception and construction of
distributed
systems.
Numerous formal methods exist for the purpose of
description of distributed
systems and protocols. The creation of
formal specifications
for these systems lacks the extensive support by
tools vendors. This
results
in lack of sophisticated tools, which help
the developer to overcome
the initial training investment, shallowing
the learning curve. Thus,
the
development of formal specification for
the systems under construction
stays an expensive undertaking, which
lacks the immediate results,
important
for the overall acceptance of
formal methods by the industry. In
this paper we describe a plugin for
the Eclipse IDE, developed to
simplify
the task of authoring formal
specifications in the TLA+ environment.
This plugin provides features,
expected from an IDE for a common
programming language, such as syntax
highlighting, autocompletion and
execution assistance.
The complete list of publications is available separately.