Information about my research activities

The main subject of my research activites is the creation of a methodology for modeling of virtual corporations for construction of large enterprise systems.

Publications

  • [2007,inproceedings] bibtex
    P. G. A. H. S. Zambrovski, "Enterprise Application Deployment: A model driven approach," in Software Engineering 2007 – Beitr䧥 zu den Workshops, Hamburg, Germany, 2007.
    @inproceedings{GHZ2007,
      author = {Peter Golibrzuch; Alexander Holbreich; Simon Zambrovski},
      title = {Enterprise Application Deployment: A model driven approach},
      booktitle = {Software Engineering 2007 - Beiträge zu den Workshops},
      address = {Hamburg, Germany},
      day = {29},
      month = Mar, year = {2007},
      }
  • [2006,inproceedings] bibtex Go to document
    B. G. F. V. S. Zambrovski, "Business Activities in an Industrial Context," in Proceedings of the International Conference on Logistics and Supply Chain Management 2006, Hong Kong, 2006.
    @inproceedings{GVZ2006,
      author = {Boris Gruschko; Friedrich Vogt; Simon Zambrovski},
      title = {Business Activities in an Industrial Context},
      booktitle = {Proceedings of the International Conference on Logistics and Supply Chain Management 2006},
      address = {Hong Kong},
      day = {5-7},
      month = Jan, year = {2006},
      url = {http://www.ti5.tu-harburg.de/publication/2006/Paper/HongKong-LT-LSCM2006.pdf}
    }
  • [2005,inproceedings] bibtex Go to document
    B. G. F. V. S. Zambrovski, "Enabling the usage of formal methods by creation of convenient tools," in 2nd International Workshop on Web Services and Formal Methods, Versailles, France, 2005.
    @inproceedings{GVZ2005,
      author = {Boris Gruschko; Friedrich Vogt; Simon Zambrovski},
      title = {Enabling the usage of formal methods by creation of convenient tools},
      booktitle = {2nd International Workshop on Web Services and Formal Methods},
      address = {Versailles, France},
      day = {1-3},
      month = Sep, year = {2005},
      url = {http://www.ti5.tu-harburg.de/publication/2005/Paper/WSFM05-TLATools.pdf},
      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.}
    }
  • [2005,inproceedings] bibtex Go to document
    P. F. A. G. B. G. F. V. S. Zambrovski, "Implementing Web Service Protocols in SOA: WS-Coordination and WS-Business Activity," in Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005), Mnchen, 2005.
    @inproceedings{VZGFG2005,
      author = {Peter Furness; Alastair Green; Boris Gruschko; Friedrich Vogt; Simon Zambrovski},
      title = {Implementing Web Service Protocols in SOA: WS-Coordination and WS-Business Activity},
      booktitle = {Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005)},
      address = {München},
      day = {19-22},
      month = Jul, year = {2005},
      url = {http://www.ti5.tu-harburg.de/publication/2005/Paper/IEEE_WSCO_BA.pdf},
      abstract = {Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols_ participants. Implementation of such protocols is an error-prone process, firstly because of the lack of precision and completeness of the standards, and secondly because of erroneous transformation of semantics from the specification to the final implementation. Applying the TLA+ paradigm we first consider the protocol on an abstract level. Safety properties taken from real world scenarios are compared to the facilities of the protocol. As result, we identified some limitation of applicability of the WS-BA protocol to abstract application use cases, modelled from the real world scenarios. These limitations are an omission of possible activities seen in the real world. Further, WS-C and WS-BA make assumptions about the internal structures of the participants, violating SOA paradigm. The former error could be detected by the use of formal methods. The latter can be circumvented by a sophisticated implementation strategy. The proposed strategy of implementing WS-Coordination and WS-BusinessActivity allows non-intrusive integration of the transactional framework, considering SOA requirements. This paper describes the results of analysis and some design decisions taken during the proof-of-concept implementation of WS-C and WS-BA frameworks.}
    }

Diploma Thesis

  • [2005,mastersthesis] bibtex Go to document
    S. Zambrovski, "Protocol engineering for the management process in a product lifecycle," Master’s Dissertation , Hamburg, Germany, 2005.
    @mastersthesis{ZAMBROVSKI2005,
      author = {Simon Zambrovski},
      title = {Protocol engineering for the management process in a product lifecycle},
      type = {Diploma Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jun, year = {2005},
      url = {/wp-contents/uploads/reports/2005_thesis_zambrovski.pdf}
    }

Project Work

  • [2004,techreport] bibtex Go to document
    S. Zambrovski, "Entwurfskonzepte und Implementierungsstrategien fr das WS-BusinessActivity Framework," , Hamburg, Germany, Project Work , 2004.
    @techreport{ZAMBROVSKI2004,
      author = {Simon Zambrovski},
      title = {Entwurfskonzepte und Implementierungsstrategien für das WS-BusinessActivity Framework},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jul, year = {2004},
      url = {http://www.ti5.tu-harburg.de/publication/2004/Thesis/zambrovski04/wst.pdf}
    }