WorldCat Identities

Lohmann, N. (Niels)

Overview
Works: 17 works in 54 publications in 2 languages and 912 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt
Publication Timeline
.
Most widely held works by N Lohmann
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers by Maurice H. ter Beek( )

13 editions published in 2013 in English and German and held by 458 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets
Business Process Management Workshops Bpm 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers by N Lohmann( )

17 editions published in 2014 in English and held by 380 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of nine international workshops held in Beijing, China, in conjunction with the 11th International Conference on Business Process Management, BPM 2013, in August 2013. The nine workshops comprised Business Process Intelligence (BPI 2013), Business Process Management and Social Software (BPMS2 2013), Data- and Artifact-Centric BPM (DAB 2013), Decision Mining and Modeling for Business Processes (DeMiMoP 2013), Emerging Topics in Business Process Management (ETBPM 2013), Process-Aware Logistics Systems (PALS 2013), Process Model Collections: Management and Reuse (PMC-MR 2013), Security in Business Processes (SBP 2013), and Theory and Applications of Process Visualization (TAProViz 2013). The 38 revised full papers presented were carefully reviewed and selected from 74 submissions
Correctness of services and their composition by N Lohmann( )

5 editions published in 2010 in English and German and held by 38 WorldCat member libraries worldwide

We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC
Operating guidelines for finite state services by N Lohmann( Book )

4 editions published in 2006 in English and German and held by 11 WorldCat member libraries worldwide

Behavioral constraints for services by N Lohmann( Book )

2 editions published in 2007 in German and English and held by 9 WorldCat member libraries worldwide

Algorithmen und Werkezuge für Petrinetze 15ter Workshop ; proceedings( Book )

2 editions published in 2008 in German and English and held by 3 WorldCat member libraries worldwide

Towards synthesis of Petri Nets from general partial languages by Robert Lorenz( )

1 edition published in 2008 in English and held by 2 WorldCat member libraries worldwide

Ein Petrinetz-Modell zur Informationsübertragung per Dialog by Markus Huber( )

1 edition published in 2008 in German and held by 2 WorldCat member libraries worldwide

Analyzing Interacting BPEL Processes by N Lohmann( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Formale Fundierung und effizientere Algorithmen für die schrittbasierte TLDA-Interleavingsemantik by N Lohmann( )

1 edition published in 2005 in German and held by 1 WorldCat member library worldwide

Extending the compatibility notion for abstract WS - BPEL Processes by Dieter König( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Correctness of services and their composition( )

1 edition published in 2010 in English and held by 1 WorldCat member library worldwide

Service-oriented computing (SOC) is an emerging paradigm of system design and aims at replacing complex monolithic systems by a composition of interacting systems, called services. A service encapsulates self-contained functionality and offers it over a well-defined, standardized interface. This modularization may reduce both complexity and cost. At the same time, new challenges arise with the distributed execution of services in dynamic compositions. In particular, the correctness of a service composition depends not only on the local correctness of each participating service, but also on the correct interaction between them. Unlike in a centralized monolithic system, services may change and are not completely controlled by a single party. We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC. The correctness of a service composition depends on the correctness of the participating services. To this end, we (1) study correctness criteria which can be expressed and checked with respect to a single service. We validate services against behavioral specifications and verify their satisfaction in any possible service composition. In case a service is incorrect, we provide diagnostic information to locate and fix the error. In case every participating service of a service composition is correct, their interaction can still introduce problems. We (2) automatically verify correctness of service compositions. We further support the design phase of service compositions and present algorithms to automatically complete partially specified compositions and to fix incorrect compositions. A service composition can also be derived from a specification, called choreography. A choreography globally specifies the observable behavio
Comparing and evaluating Petri net semantics for BPEL( )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Behavioral Constraints for Services by N Lohmann( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Petrifying operating guidelines for services( )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented as an annotated transition system. For the sake of saving space in the registry, we want to translate operating guidelines into Petri nets. To make this possible, we carefully investigate regularities in the annotations
Communication models for services( )

1 edition published in 2010 in English and held by 1 WorldCat member library worldwide

Communication is an essential aspect of services. Services do not only realize simple request-response scenarios, but increasingly implement complex and stateful communication protocols. Such a protocol specifies the order in which messages are sent and received by a service and is an essential part of a service description. Services are usually not executed in isolation, but as a collaboration which is composed of several services. The behavior of such a collaboration is not only determined by the communication protocol of each participating service, but also by the way messages are exchanged. A communication model specifies the properties of the message channels between the services and defines the way how messages are sent and received. This paper studies and classifies several dimensions of communication models and describes their impact to the behavior of service compositions
Algorithmen und Werkzeuge für Petrinetze : 15ter workshop, AWPN 2008, Rostock, 26.-27. September 2008( Book )

1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.54 (from 0.48 for Business P ... to 1.00 for Operating ...)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers
Covers
Business Process Management Workshops Bpm 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers
Alternative Names
Lohmann, N. 1981-

Lohmann, Niels

Languages
English (47)

German (7)