Jan Sürmeli

Former research associate in the Theory of Programming group
Now postdoctoral researcher in the Process-Driven Architectures group.

Earlier publications

    2016

  • Triebel, Marvin, Sürmeli, Jan
    Homogeneous Equations of Algebraic Petri Nets
    volume abs/1606.05490 of CoRR abs/1606.05490, 2016
    close
  • Triebel, Marvin, Sürmeli, Jan
    Homogeneous Equations of Algebraic Petri Nets
    In 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Qu\'ebec City, Canada, volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016
    close
  • Triebel, Marvin, Sürmeli, Jan
    Characterizing Stable and Deriving Valid Inequalities of Petri Nets
    volume 146 of Fundam. Inform. 146 (1), 2016
    close
  • 2014

  • Prüfer, Robert, Sürmeli, Jan
    Introducing Configurability into Scenario-Based Specification of Business Processes
    In ZEUS, 2014
    close
  • 2013

  • Sürmeli, Jan, Triebel, Marvin
    Cost-optimizing compositions of services - analysis and synthesis
    Informatik-Berichte, Humboldt-Universität zu Berlin, 2013
    close
  • Sürmeli, Jan, Triebel, Marvin
    Synthesizing Cost-Minimal Partners for Services
    In Service-Oriented Computing, volume 8274 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013
    close
  • 2012

  • Sürmeli, Jan
    Synthesizing cost-minimal partners for services
    Informatik-Berichte, Humboldt-Universität zu Berlin, 2012
    close
  • Sürmeli, Jan
    Cost-minimal Adapters for Services
    In Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS-2012, Bamberg, Germany, February 23-24, 2012, 2012
    close
  • Sürmeli, Jan
    Service Discovery with Cost Thresholds
    In Proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012 September 6-7, 2012, Tallinn, Estonia, 2012
    close
  • 2011

  • Schuller, Dieter, Sürmeli, Jan
    Dienstgüte-basierte Service-Selektion für Zustandsbehaftete Services
    In Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, CEUR-WS.org, 2011
    close
  • Sürmeli, Jan
    Towards deciding policy violation during service discovery
    In Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, CEUR-WS.org, 2011
    close
  • 2010

  • Gierds, Christian, Sürmeli, Jan
    Estimating costs of a service
    In Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS 2010, Berlin, Germany, February 25--26, 2010, volume 563 of CEUR Workshop Proceedings, CEUR-WS.org, 2010
    When designing a publicly available Web service, a service designer has to take care of costs and revenue caused by this services. In the very beginning possible partners might only be vaguely known, or the service behavior contains arbitrary repetitions. Then the estimation of costs for running this service is difficult and decisions based on them can hardly be made. We propose a static analysis of the service's behavior. We over-approximate possible runs and therefore costs of the service. Our approach provides a basis for reasoning about nonfunctional properties as shown for costs.
    close
    close
  • Oanea, Olivia, Sürmeli, Jan, Wolf, Karsten
    Service Discovery Using Communication Fingerprints
    Informatik-Berichte, Humboldt-Universität zu Berlin, jul 2010
    close
  • Oanea, Olivia, Sürmeli, Jan, Wolf, Karsten
    Service Discovery Using Communication Fingerprints
    In 8th International Conference on Service Oriented Computing, ICSOC 2010, December 7-10, 2010, San Francisco, California, USA, Proceedings, volume 6470 of Lecture Notes in Computer Science, Springer-Verlag, dec 2010
    A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compatibility. In the case of stateful services, there is the additional need to check behavioral (i.e. protocol) compatibility. This paper is concerned with the latter aspect. An apparant approach to establishing behavioral compatibility would be to apply the well-known technology of model checking to a composition of the provided service and the requesting service. However, this procedure must potentially be repeated for all provided services in the registry which may unprohibitively slow down the response time of the broker. Hence, we propose to insert a preprocessing step. It consists of computing an abstraction of the behavior for each published service that we call communication fingerprint. Upon request, we use the fingerprint to rule out as many as possible incompatible services thus reducing the number of candidates that need to be model checked for behavioral compatibility. The technique is based on linear programming and is thus extremely efficient. We validate our approach on a large set of services that we cut out of real world business processes.
    close
    close
  • 2009

  • Sürmeli, Jan, Weinberg, Daniela
    Creating Message Profiles of Open Nets
    In Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, CEUR-WS.org, 2009
    close
  • Sürmeli, Jan
    Strukturelle Analyse von Servicenetzen
    Diplomarbeit, feb 2009
    close
  • Sürmeli, Jan
    Profiling Services with Static Analysis
    In AWPN, volume 501 of CEUR Workshop Proceedings, CEUR-WS.org, 2009
    close