print page

Simon Zambrovski

Picture of Simon Zambrovski
Simon Zambrovski
e-mail

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{\"a}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.