Bild von Institut mit Unilogo
home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart

Department Architecture of Application Systems : Publications

Bibliography BibTeX

search germanicon
 
@inproceedings {INPROC-2016-55,
   author = {Felix Baumann and Oliver Kopp and Dieter Roller},
   title = {{Universal API for 3D Printers}},
   booktitle = {INFORMATIK},
   editor = {Heinrich C. Mayr and Martin Pinzger},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {University of Stuttgart, Faculty of Computer Science, Germany},
   series = {Lecture Notes in Informatics (LNI)},
   volume = {P-259},
   pages = {1611--1622},
   type = {Conference Paper},
   month = {September},
   year = {2016},
   isbn = {978-3-88579-653-4},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   ee = {http://subs.emis.de/LNI/Proceedings/Proceedings259/1611.pdf,     http://www.informatik2016.de/},
   department = {University of Stuttgart, Institute of Computer Science, Architecture of Application Systems;     University of Stuttgart, Institute of Computer Science, Computer-aided Product Development Systems},
   abstract = {With this research we propose the implementation of a overlay restful API for 3D printers to expose these machines to the Internet for utilization within cloud services. This is to abstract the underlying communication structure and means for accessing and controlling a 3D printer resource which is performed in one of three ways. The ®rst method of accessing and controlling a 3D printer is via a proprietary protocol or a printer driver in Microsoft Windows. The second method is the control via a USB-serial connection between a controlling computer and the printer resource. This protocol can either be proprietary or based on open standards like GCODE (ISO 6983-1:2009). The third method of control is based on physical storage devices attached to the printer with machining instructions stored on them. This research excludes the communication and control means involving proprietary protocols or drivers due complexity restrictions within the implementation. The approach is designed with extensibility in mind so that future access to proprietary protocols can be added to the control API. Printer resources with only the third control method available are also excluded from this research as they are currently lacking the capability to be remotely controlled. This work describes the design and implementation of an abstraction API layer between varying soft- and hardware components with an extensible architecture for future hard- and software components for within the domain of Additive Manufacturing (AM).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2016-55&engl=1}
}
@inproceedings {INPROC-2008-74,
   author = {K. Mokhtari and S. Benbernou and M. Said and E. Coquery and M.S. Hacid and Frank Leymann},
   title = {{Verification of Privacy Timed Properties in Web Service Protocols}},
   booktitle = {Proceedings of the International Conference on Services Computing, SCC 2008},
   publisher = {IEEE Computer Society Press},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {593--594},
   type = {Conference Paper},
   month = {July},
   year = {2008},
   doi = {10.1109/SCC.2008.154},
   isbn = {978-0-7695-3283-7},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {In this work we propose an approach for verifying privace timed-related prroperties of web service protocols. While in our previous work the addressed problem in business protocols is focused on the analysis and management of functional requirements that support rich timing constraints, our approach extends the previous results to capture the timed behavior of privacy constraints. Hence, we provide a model called Timed Private Business Protocol TPBP. Next, we emphasize the timed properties related to privacy in TPBP. Finally, we present the different types of timed property verification to achieve upon the timed private business protocol.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-74&engl=1}
}
@inproceedings {INPROC-2008-71,
   author = {Niels Lohmann and Oliver Kopp},
   title = {{Tools4BPEL4Chor}},
   booktitle = {YR-SOC 2008},
   publisher = {online},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {74--75},
   type = {Workshop Paper},
   month = {June},
   year = {2008},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2008-71/INPROC-2008-71.pdf,     http://www.yrsoc.org},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {In this paper, we present several tools support the modeling, analysis, synthesis, and correction of BPEL4Chor choreographies},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-71&engl=1}
}
@inproceedings {INPROC-2008-64,
   author = {Daniel Wutke and Daniel Martin and Frank Leymann},
   title = {{Facilitating Complex Web Service Interactions through a Tuplespace Binding}},
   booktitle = {Proceedings of Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008.},
   editor = {Rene Meier and Sotirios Terzis},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {275--280},
   type = {Conference Paper},
   month = {June},
   year = {2008},
   doi = {10.1007/978-3-540-68642-2_22},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The SOAP messaging framework, as one key technology of the Web service technology standard stack, de nes a standardized message format for Web service interactions, a set of rules governing their processing and a mechanism that describes how SOAP messages can be transmitted over di erent network transport protocols, called SOAP bindings. The most prominent example for a Web service transport today, is the Hypertext Transfer Protocol (HTTP), which however su ers from certain drawbacks such as being inherently synchronous in nature and not providing decoupling of message sender and receiver in reference or time. In this paper, we present tuplespace technology as an alternative Web service transport that is characterized by a number of properties that are not found in current Web service transports: asynchronism, strong decoupling of sender and receiver and support for advanced message exchange patterns, such as one-to-many interactions, directly on the transport level. We describe the representation of SOAP messages in tuple form and exemplify how to use the operations provided by the tuplespace interface to realize certain Web service message exchange patterns.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-64&engl=1}
}
@inproceedings {INPROC-2008-42,
   author = {Ralph Mietzner and Frank Leymann},
   title = {{Towards Provisioning the Cloud: On the Usage of Multi-Granularity Flows and Services to Realize a Unified Provisioning Infrastructure for SaaS Applications}},
   booktitle = {Proceedings of the International Congress on Services, SERVICES 2008},
   publisher = {IEEE},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {July},
   year = {2008},
   keywords = {Cloud Computing; SaaS; on Demand; Provisioning},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The automatic provisioning of applications is an importent task for the success of Software as a Service (SaaS) providers. Different provisioning engines from different vendors and open source projects with different interfaces have been emerging lately. Additionally, infrastructure providers that provide infrastructure on demand now provide computing resources that can be integrated in a SaaS provider’s computing environment. In order to allow SaaS application providers to specify generic installation and maintenance flows independent from the underlying provisioning engines we propose an architecture for a generic provisioning infrastructure based on Web services and workflow technology.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-42&engl=1}
}
@inproceedings {INPROC-2008-41,
   author = {Ralph Mietzner and Frank Leymann},
   title = {{Generation of BPEL Customization Processes for SaaS Applications from Variability Descriptors}},
   booktitle = {Proceedings of the International Conference on Services Computing, Industry Track, SCC 2008},
   publisher = {IEEE},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {July},
   year = {2008},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Software as a Service (SaaS) is a new delivery model for software. Software in a SaaS model is no longer run exclusively for one customer at a customer’s premise but run at a service provider and accessed via the Internet. A provider of Software as a Service exploits economies of scale by hosting and providing the same application for several different customers. However, each individual customer has different requirements for the same basic application. In order to allow each customer to customize the process layer and related artifacts of a SaaS application to their specific needs the application needs to provide a set of variability points that can be modified by customers. In this paper we describe the notion of a variability descriptor that defines variability points for the process layer and related artifacts of process-based, service-oriented SaaS applications. Furthermore we describe how these variability descriptors can be transformed into a WS-BPEL process model that can then be used to guide a customer through the customization of the SaaS application.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-41&engl=1}
}
@inproceedings {INPROC-2008-40,
   author = {Ralph Mietzner and Frank Leymann and Mike P. Papazoglou},
   title = {{Defining Composite Configurable SaaS Application Packages Using SCA, Variability Descriptors and SaaS Multi-Tenancy Patterns}},
   booktitle = {Proceedings of the 3rd Intl. Conf. on Internet and Web Applications and Services ICIW 2008},
   address = {Athens, Greece},
   publisher = {IEEE},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {January},
   year = {2008},
   keywords = {SaaS; SCA; Multi-Tenancy; SOA},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Currently, several vendors and projects are building proprietary SaaS platforms where more and more applications are hosted in a Software as a Service business model. However, these proprietary platforms prevent that applications offered by different SaaS application vendors can be easily reused on the platforms offered by the different SaaS hosting providers. In this paper we describe a package format for composite configurable SaaS application packages for applications developed following a service oriented architecture. We show how the service component architecture (SCA) can be extended with variability descriptors and SaaS multi-tenancy patterns to package and deploy multitenant aware configurable composite SaaS applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-40&engl=1}
}
@inproceedings {INPROC-2008-33,
   author = {J{\"o}rg Nitzsche and Tammo van Lessen and Frank Leymann},
   title = {{WSDL 2.0 Message Exchange Patterns: Limitations and Opportunities}},
   booktitle = {Proceedings of the 3rd International Conference on Internet and Web Applications and Services (ICIW 2008)},
   publisher = {IEEE},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {June},
   year = {2008},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.iaria.org/conferences2008/ProgramICIW08.html},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The Web Service Description Language (WSDL) provides means to describe functional aspects of a service in a Service Oriented Architecture (SOA) based on Web Service technology. In contrast to its predecessor (WSDL 1.1), WSDL 2.0 does not define a fixed set of operation types but provides for a generic mechanism to define an operation by means of message exchange patterns (MEPs). In this paper we identify new MEPs and extend the template used to define MEPs to allow expressing more complex patterns. Furthermore, we compare the expressivity of MEPs in general with other work and formalisms in the field of service interaction. We give a refined definition of MEPs based on a detailed discussion and discuss how WSDL and the MEPs in particular can be combined with the choreography approach.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-33&engl=1}
}
@inproceedings {INPROC-2008-31,
   author = {Olaf Zimmermann and Cesare Pautasso and Frank Leymann},
   title = {{RESTful Web Services vs. ``Big'' Web Services - Making the Right Architectural Decisions}},
   booktitle = {Proc. 17th International World Wide Web Conference (WWW 2008)},
   publisher = {Online},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {April},
   year = {2008},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www2008.org/papers/fp179.html},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresentational State Transfer (REST) have come to believe that their ideas explaining why the World Wide Web works are just as applicable to solve enterprise application integration problems and to simplify the plumbing required to build service-oriented architectures. In this paper we objectify the WS-* vs. REST debate by giving a quantitative technical comparison based on architectural principles and decisions. We show that the two approaches differ in the number of architectural decisions that must be made and in the number of available alternatives. This discrepancy between freedom-from-choice and freedom-of-choice explains the complexity difference perceived. However, we also show that there are significant differences in the consequences of certain decisions in terms of resulting development and maintenance costs. Our comparison helps technical decision makers to assess the two integration styles and technologies more objectively and select the one that best fits their needs: REST is well suited for basic, ad hoc integration scenarios, WS-* is more flexible and addresses advanced quality of service requirements commonly occurring in enterprise computing.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-31&engl=1}
}
@inproceedings {INPROC-2008-30,
   author = {Olaf Zimmermann and Uwe Zdun and Thomas Gschwind and Frank Leymann},
   title = {{Combining Pattern Languages and Architectural Decision Models in a Comprehensive and Comprehensible Design Method}},
   booktitle = {Seventh Working IEEE/IFIP Conference on Software Architecture - WICSA 2008},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {156--166},
   type = {Conference Paper},
   month = {February},
   year = {2008},
   doi = {10.1109/WICSA.2008.19},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {When constructing software systems, software architects must identify and evaluate many competing design options and document the rationale behind any selections made. Two supporting concepts are pattern languages and architectural decision models. Unfortunately, both concepts only provide partial support: Extensive upfront education is needed for practitioners to be in command of the full pattern literature relevant in their field; retrospective architectural decision modeling is viewed as a painful extra responsibility without immediate gains. In this paper, we combine pattern languages and reusable architectural decision models into a design method that is both comprehensive and comprehensible. Our design method identifies the required decisions in requirements models systematically, gives domain-specific pattern selection advice, and provides traceability from platform-independent patterns to platform-specific decisions. We validate our approach by applying it to enterprise applications as an exemplary application genre and a SOA case study from the finance industry.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-30&engl=1}
}
@inproceedings {INPROC-2008-25,
   author = {Thorsten Scheibler and Frank Leymann},
   title = {{A Framework for Executable Enterprise Integration Patterns}},
   booktitle = {Enterprise Interoperability III: New Challenges and Industrial Approaches},
   editor = {Kai Mertins and Ruggaber Rainer and Keith Popplewell and Xiaofei Xu},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {485--497},
   type = {Conference Paper},
   month = {March},
   year = {2008},
   language = {English},
   cr-category = {D.2.11 Software Engineering Software Architectures,     D.2.13 Software Engineering Reusable Software,     K.6.4 System Management},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {A great challenge for enterprises is the improvement of the utilization of their landscape of heterogeneous applications in complex EAI (Enterprise Application Integration) scenarios. Enterprise Application Integration Patterns help to address this challenge by describing recurring EAI problems and proposing possible solutions at an abstract level. However, EAI patterns are documentation only used by systems architects and developers to decide how to implement an integration solution. Thus, patterns do not specify how to produce the code that will actually implement the solution described by the pattern on a specific middleware. In this paper we introduce a framework that provides configuration capabilities for EAI patterns. The framework also allows to generate executable integration code from EAI patterns using a model-driven architecture approach. Furthermore, we present a tool providing this framework.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-25&engl=1}
}
@inproceedings {INPROC-2008-11,
   author = {Tobias Unger and Thomas Bauer},
   title = {{Towards a Standardized Task Management}},
   booktitle = {Multikonferenz Wirtschaftsinformatik 2008},
   editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf},
   publisher = {GITO-Verlag, Berlin},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {443--444},
   type = {Conference Paper},
   month = {February},
   year = {2008},
   isbn = {978-3-940019-34-9},
   keywords = {Task Management; BPEL4People; WS-HumanTask},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   ee = {http://srvmatthes6.in.tum.de/tagungsbandArtikel.html,     http://ibis.in.tum.de/mkwi08/29_XML4BPM-XML_Integration_and_Transformation_for_Business_Process_Management/05_Unger-XML4BPM-long.pdf},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Business processes are increasingly controlled by IT-systems automatically, but they still consist of many tasks that have to be performed by people. Despite an appropriate IT-infrastructure is required for Task Management, until now this is a neglected topic in the research domain. In general, existing concepts and products for Task Management are not sufficient and, even worse, inter-partner aspects are not supported at all. For the first time, this paper analyzes the requirements for Task Management in a comprehensive way. Furthermore, we present an architecture for a Task Management Infrastructure that allows to fulfill these requirements even in inter-partner scenarios. This architecture was developed in the TAMPRO project and is based on emerging standards as WS-HumanTask and BPEL4People, which are discussed as well.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-11&engl=1}
}
@inproceedings {INPROC-2008-09,
   author = {Dimka Karastoyanova and Tammo van Lessen and Frank Leymann and Zhilei Ma and J{\"o}rg Nitzsche and Branimir Wetzstein and Sami Bhiri and Manfred Hauswirth and Maciej Zaremba},
   title = {{A Reference Architecture for Semantic Business Process Management Systems}},
   booktitle = {Multikonferenz Wirtschaftsinformatik 2008},
   editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf},
   address = {Berlin},
   publisher = {GITO-Verlag},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {371--372},
   type = {Conference Paper},
   month = {February},
   year = {2008},
   isbn = {978-3-940019-34-9},
   language = {English},
   cr-category = {H.5.4 Hypertext/Hypermedia},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Semantic Business Process Management (SBPM) enhances BPM with semantic technologies in order to increase the degree of automation in the BPM lifecycle and help in bridging the gap between the business and IT views on business processes. In this paper, we describe the architecture of an SBPM System (SBPMS) which supports the whole SBPM lifecycle by providing functionality for process modeling, process configuration, process execution, and process analysis. We analyze the functional requirements of the SBPMS from the business user's and the IT expert's point of view and derive and describe the components of the SBPMS and their key interactions to achieve the required functionalities. We show how existing BPMS components can be extended to use semantics, and describe the integration of new components, such as a Semantic Execution Environment. The presented SBPMS is based on BPMN, BPEL and WSMO technologies.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-09&engl=1}
}
@inproceedings {INPROC-2008-08,
   author = {Ralph Mietzner and Zhilei Ma and Frank Leymann},
   title = {{An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process}},
   booktitle = {Multikonferenz Wirtschaftsinformatik 2008},
   editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf},
   address = {Berlin},
   publisher = {GITO-Verlag},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {437--438},
   type = {Conference Paper},
   month = {February},
   year = {2008},
   language = {English},
   cr-category = {D.3.0 Programming Languages General,     G.4 Mathematical Software},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Abstract: WS-BPEL is the standard for specifying and executing business processes by orchestrating Web Services. Abstract and executable processes are two kinds of BPEL processes that are defined in the BPEL standard. An abstract process can be used as a process template, which can be completed and made executable through ``executable completion''. The BPEL standard defines a set of rules that must be obeyed during such an executable completion. In this paper, we present an algorithm for validating whether an executable BPEL process is a valid executable completion of an abstract BPEL process. Our approach advances the existing XML comparison algorithms in a way that it takes the BPEL-specific characteristics into account and is optimized towards the validation of ``executable completion'' of abstract BPEL processes.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-08&engl=1}
}
@inproceedings {INPROC-2007-93,
   author = {Olaf Zimmermann and Thomas Gschwind and Jochen Malte K{\"u}ster and Frank Leymann and Nelly Schuster},
   title = {{Reusable Architectural Decision Models for Enterprise Application Development}},
   booktitle = {Third International Conference on the Quality of Software-Architectures (QoSA 2007)},
   editor = {Sven Overhage and Clemens A. Szyperski and Ralf Reussner and Judith A. Stafford},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4880},
   pages = {15--32},
   type = {Conference Paper},
   month = {July},
   year = {2007},
   isbn = {978-3-540-77617-8},
   doi = {10.1007/978-3-540-77619-2_2},
   keywords = {Architectural decision; architectural knowledge; MDA; SOA},
   language = {English},
   cr-category = {D.2.11 Software Engineering Software Architectures},
   ee = {http://qosa.ipd.uka.de/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and tool support for capturing architectural decisions exist, but have failed to reach broad adoption so far. One of the inhibitors we perceived on large-scale industry projects is that architectural decision capturing is regarded as a retrospective and therefore unwelcome documentation task which does not provide any benefit during the original design work. A major problem of such a retrospective approach is that the decision rationale is not available to decision makers when they identify, make, and enforce decisions. Often a large, possibly distributed, community of decision makers is involved in these three steps. In this paper, we propose a new conceptual framework for proactive decision identification, decision maker collaboration, and decision enforcement. Based on a meta model capturing reuse and collaboration aspects explicitly, our framework instantiates decision models from requirements models and re usable decision templates. These templates capture know ledge gained on other projects em ploy ing the same architectural style. As an exemplary application of these concepts to service-oriented architecture shows, reusable architectural decision models can speed up the decision identification and improve the quality of the decision making. Reusable architectural decision models can also simplify the exchange of architecture design rationale within and between project teams, and expose decision out come as model transformation parameters in model-driven software development.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-93&engl=1}
}
@inproceedings {INPROC-2007-91,
   author = {Jussi Vanhatalo and Hagen V{\"o}lzer and Frank Leymann},
   title = {{Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition}},
   booktitle = {Service-Oriented Computing – ICSOC 2007},
   editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4749},
   pages = {43--55},
   type = {Conference Paper},
   month = {September},
   year = {2007},
   isbn = {978-3-540-74973-8},
   doi = {10.1007/978-3-540-74974-5_4},
   language = {English},
   cr-category = {F.3.2 Semantics of Programming Languages,     F.3.3 Studies of Program Constructs},
   ee = {http://www.icsoc.org/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {We present a technique to enhance control-flow analysis of business process models. The technique considerably speeds up the analysis and improves the diagnostic information that is given to the user to fix control-flow errors. The technique consists of two parts: Firstly, the process model is decomposed into single-entry-single-exit (SESE) fragments, which are usually substantially smaller than the original process. This decomposition is done in linear time. Secondly, each fragment is analyzed in isolation using a fast heuristic that can analyze many of the fragments occurring in practice. Any remaining fragments that are not covered by the heuristic can then be analyzed using any known complete analysis technique. We used our technique in a case study with more than 340 real business processes modeled with the IBM WebSphere Business Modeler. The results suggest that control-flow analysis of many real process models is feasible without significant delay (less than a second). Therefore, control-flow analysis could be used frequently during editing time, which allows errors to be caught at earliest possible time.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-91&engl=1}
}
@inproceedings {INPROC-2007-90,
   author = {Stefan Pottinger and Ralph Mietzner and Frank Leymann},
   title = {{Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework}},
   booktitle = {Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007)},
   editor = {Robert Meersman and Zahir Tari},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4803},
   pages = {336--352},
   type = {Conference Paper},
   month = {November},
   year = {2007},
   isbn = {978-3-540-76846-3},
   doi = {10.1007/978-3-540-76848-7_22},
   keywords = {WS-BA; BPEL; coordination; long-running transactions; sub-processes},
   language = {English},
   cr-category = {C.2.4 Distributed Systems,     H.2.4 Database Management Systems,     H.3.5 Online Information Services,     H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {In a Web service world, the Web Services Business Process Execution Language (WS-BPEL) is the standard used to compose Web services into business processes. These processes are often long-running. Therefore WS-BPEL employs a long-running transaction model to handle the internal transactions of a WS-BPEL process. WS-Business Activity (WS-BA) is a set of mechanisms and protocols to coordinate a set of Web Services into a long-running compensation-based transaction. Up to now, it was not possible to let parts of a WS-BPEL process participate in a WS-BA coordination. We show how WS-BA needs to be extended to allow parts of a WS-BPEL process to participate in a WS-BA coordination, which is supervised by an external coordinator. In addition our approach allows external partners to participate in these modified internal WS-BA transactions initiated by a WS-BPEL process and also allows for easy incorporation of BPEL sub-processes into the proposed coordination model. The architecture of a prototype implementing our approach is sketched.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-90&engl=1}
}
@inproceedings {INPROC-2007-69,
   author = {Oliver Kopp and Hanna Eberle and Frank Leymann and Tobias Unger},
   title = {{From Process Models to Business Landscapes}},
   booktitle = {EPK 2007: Gesch{\"a}ftsprozessmanagement mit Ereignisgesteuerten Prozessketten},
   editor = {Markus N{\"u}ttgens and Frank J. Rump Rump and Andreas Gadatsch},
   publisher = {Online},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {CEUR Workshop Proceedings},
   volume = {303},
   pages = {7--22},
   type = {Workshop Paper},
   month = {December},
   year = {2007},
   keywords = {FMC, EPK, EPC, architecture},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-303/},
   contact = {kopp@iaas.uni-stuttgart.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Since business users prefer EPCs over Petri nets, we show how information of extended EPCs can be transformed into business landscapes. This facilitates development of IT landscapes satisfying the requirements of the business process and adoption of existing IT infrastructures to new requirements.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-69&engl=1}
}
@inproceedings {INPROC-2007-60,
   author = {Tammo van Lessen and Branimir Wetzstein and J{\"o}rg Nitzsche and Zhilei Ma and Dimka Karastoyanova and Frank Leymann},
   title = {{Gesch{\"a}ftsprozessmanagement Meets Semantic Web.}},
   booktitle = {Tagungsband Science Meets Business. Stuttgarter Softwaretechnik Forum 2007, Fraunhofer IAO, 23. November 2007.},
   editor = {D. Spath and A. Weisbecker and O. H{\"o}{\ss} and J. (Hrsg.) Drawehn},
   address = {Stuttgart},
   publisher = {Fraunhofer IRB Verlag},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {75--83},
   type = {Conference Paper},
   month = {November},
   year = {2007},
   isbn = {3-8167-7493-8},
   keywords = {Semantic Business Process Management},
   language = {German},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {23. November 2007 Science Meets Business Am vierten Tag des Stuttgarter Softwaretechnik Forums geben Experten aus Forschung und Wissenschaft Einblick in aktuelle Forschungsarbeiten in den Themenbereichen Softwareengineering, Softwaretechnik und Mobile Anwendungen. Dadurch k{\"o}nnen die Zuh{\"o}rer interessante Impulse f{\"u}r ihr t{\"a}gliches Business sowie einen Ausblick auf zuk{\"u}nftige Trends und Entwicklungen mitnehmen.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-60&engl=1}
}
@inproceedings {INPROC-2007-40,
   author = {Rania Khalaf and Oliver Kopp and Frank Leymann},
   title = {{Maintaining Data Dependencies Across BPEL Process Fragments}},
   booktitle = {Service-Oriented Computing - ICSOC 2007},
   editor = {Bernd J. Kr{\"a}mer and Kwei-Jay Lin and Priya Narasimhan},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4749},
   pages = {207--219},
   type = {Conference Paper},
   month = {September},
   year = {2007},
   doi = {10.1007/978-3-540-74974-5_17},
   keywords = {Web services, fragments, business process, BPEL},
   language = {English},
   cr-category = {C.2.4 Distributed Systems,     H.3.5 Online Information Services,     H.4.1 Office Automation},
   ee = {http://www.ece.cmu.edu/icsoc2007/index.html},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL - without any extensions or new middleware. We present a solution that uses a BPEL process, partition information, and results of data analysis to produce a BPEL process for each participant. The collective behavior of these participant processes recreates the control and data flow of the non-split process. Previous work presented process splitting using a variant of BPEL where data flow is modeled explicitly using ‘data links’. We reuse the control flow aspect from that work, focusing in this paper on maintaining the data dependencies in standard BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-40&engl=1}
}
@inproceedings {INPROC-2007-24,
   author = {J{\"o}rg Nitzsche and Tammo van Lessen and Dimka Karastoyanova and Frank Leymann},
   title = {{BPEL light}},
   booktitle = {Proceedings of the 5th International Conference on Business Process Management (BPM 2007)},
   publisher = {Springer-Verlag},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {4714},
   pages = {214--229},
   type = {Conference Paper},
   month = {September},
   year = {2007},
   doi = {10.1007/978-3-540-75183-0_16},
   keywords = {BPEL; BPEL light; WSDL-less BPEL; BPM; Workflow; SOA; Web services; flexibility; reusability},
   language = {English},
   cr-category = {C.2.4 Distributed Systems,     D.2.11 Software Engineering Software Architectures,     D.2.12 Software Engineering Interoperability,     H.4.1 Office Automation},
   contact = {joerg.nitsche@iaas.uni-stuttgart.de and tammo.van.lessen@iaas.uni-stuttgart.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {In this paper we present BPEL light which decouples process logic from interface definitions. By extending BPEL 2.0 with a WSDL-less interaction model, BPEL light allows to specify process models independent of Web service technology. Since its interaction model is based on plain message exchange, it is completely independent of any interface description language. This fosters flexibility and reusability of process models and enables modelling platform and component model independent business processes. The presented approach takes a significant step towards narrowing down the gap between business level and IT level by facilitating a more business-oriented modelling of executable processes.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-24&engl=1}
}
@inproceedings {INPROC-2007-21,
   author = {Gero Decker and Oliver Kopp and Frank Puhlmann},
   title = {{Service Referrals in BPEL-based Choreographies}},
   booktitle = {Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)},
   editor = {Stephen Gorton and Monika Solanki and Stephen Reiff-Marganiec},
   address = {Leicester},
   publisher = {University of Leicester},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {25--30},
   type = {Workshop Paper},
   month = {June},
   year = {2007},
   keywords = {Choreography; BPEL; BPEL4Chor; Application of Pi-calculus; interaction models; interconnection models; link passing mobility},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2007-21/INPROC-2007-21.pdf,     http://www.cs.le.ac.uk/events/yrsoc2007/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de oder gero.decker@hpi.uni-potsdam.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Choreographies describe the interactions between two or more services from a global perspective and specify allowed service conversations. Choreographies typically do not rely on static binding, i.e. the participating services are not selected at design-time of the choreography. Some services might only be selected at runtime and this selection has to be propagated in the case of multi-lateral conversations. Hence, the notion of service referrals (also called link passing mobility) is recurrent in choreographies. In past work, we have proposed BPEL extensions for describing service choreographies, namely BPEL4Chor. This paper closely investigates the link passing mobility capabilities of BPEL4Chor and illustrates their semantics using Pi-calculus.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-21&engl=1}
}
@inproceedings {INPROC-2006-91,
   author = {Oliver G{\"u}nther and Gerrit Tamm and Frank Leymann},
   title = {{Pricing Web Services}},
   booktitle = {The Role of Business Processes in Service Oriented Architectures},
   editor = {Frank Leymann and Wolfgang Reisig Reisig and Satish R. Thatte Thatte and Wil van der Aalst},
   publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Dagstuhl Seminar},
   volume = {06291},
   pages = {1--13},
   type = {Conference Paper},
   month = {November},
   year = {2006},
   issn = {1862-4405},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   ee = {http://drops.dagstuhl.de/opus/volltexte/2006/822},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {This paper focuses on the challenges associated with composing and pricing web services. We present the results of an online experiment, where subjects were confronted with a variety of choices and decisions relating to web service markets and service composition. Our analysis shows that people expect the price of a composite web service to be lower than the sum of the prices of the elementary services, i.e., users are not willing to pay for aggregation by a third party. To obtain a viable business model for composed web services, non-standard pricing mechanisms, such as auctions and negotiations, possibly supported by electronic agents, have to be taken into consideration. Usage-based pricing schemes, combined with an option to switch to a flat subscription, seem most appropriate to penetrate the developing web service market.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-91&engl=1}
}
@inproceedings {INPROC-2006-88,
   author = {Jussi Vanhatalo and Jana Koehler and Frank Leymann},
   title = {{Repository for Business Processes and Arbitrary Associated Metadata}},
   booktitle = {Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management (BPM 2006)},
   publisher = {CEUR},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {25--31},
   type = {Conference Paper},
   month = {September},
   year = {2006},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://ceur-ws.org/Vol-203/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {We have published a repository for storing business processes and associated metadata. The BPEL Repository is an Eclipse plug-in originally built for BPEL business processes and other related XML data. It provides a framework for storing, finding and using these documents. Other research prototypes can reuse these features and build on top of it. The repository can easily be extended with new types of XML documents. It provides a Java API for manipulating the XML files as Java objects hiding the serialization and de-serialization from a user. This has the advantage that the user can manipulate the data as more convenient Java objects, although the data is stored as XML files compliant with the standard XML schemas. The data can be queried as Java objects using an object-oriented query language, namely the Object Constraint Language (OCL). Moreover, the flexible design allows the OCL query engine to be replaced with another engine based on other query language.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-88&engl=1}
}
@inproceedings {INPROC-2006-86,
   author = {Dimka Karastoyanova and Frank Leymann and J{\"o}rg Nitsche and Branimir Wetzstein and Daniel Wutke},
   title = {{Utilizing Semantic Web Service Technologies for Automatic Execution of Parameterized BPEL Processes}},
   booktitle = {XML Tage 2006},
   publisher = {Unbekannt},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {September},
   year = {2006},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.xml-clearinghouse.de/ws/XMLT2006/2/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Utilizing Semantic Web Service Technologies for Automatic Execution of Parameterized BPEL Processes},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-86&engl=1}
}
@inproceedings {INPROC-2006-85,
   author = {Guadalupe Ortiz and Frank Leymann},
   title = {{Combining WS-Policy and Aspect-Oriented Programming}},
   booktitle = {Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06)},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {143--143},
   type = {Conference Paper},
   month = {February},
   year = {2006},
   isbn = {0-7695-2522-9},
   doi = {10.1109/AICT-ICIW.2006.66},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Service technologies offer a successful way for interoperability among applications. However, although current approaches are beginning to address how to specify non-functional capabilities in Web Services at description level, they have so far failed to propose an acceptable method to decouple the named capabilities from Web Service implementations, resulting in a large amount of code scattered and tangled all over the application. Considering it is our desire to minimize middleware participation in nonfunctional properties management, it is the aim of this paper to describe how aspect-oriented techniques can be used in conjunction with WS-Policy in order to allow the mentioned properties to be completely decoupled at description and implementation level, thus improving their reusability and service maintenance and evolution.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-85&engl=1}
}
@inproceedings {INPROC-2006-84,
   author = {Frank Leymann},
   title = {{Workflow-Based Coordination and Cooperation in a Service World}},
   booktitle = {Cooperative Information Systems (CoopIS) 2006 International Conference},
   editor = {Robert Meersman and Zahir Tari},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {2--16},
   type = {Conference Paper},
   month = {November},
   year = {2006},
   isbn = {3-540-48287-3},
   doi = {10.1007/11914853_2},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {One of the most important roles of workflow technology in a service oriented environment is that of providing an easy to use technology for service composition (so-called “orchestration”). Another important composition model in this domain is based on the technology of “coordination protocols”. We sketch the relation between orchestration and coordination protocols by describing two application areas of both technologies: the introduction of subprocesses to the service oriented world, and facilitating outsourcing by making splitting processes much easier. Cooperation aspects of workflow technology are emphasized by sketching the inclusion of human tasks in orchestrations. Finally, the benefit of combining semantic technologies with orchestrations is outlined (“semantic processes”) which aims in simplifying the creation of orchestrations.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-84&engl=1}
}
@inproceedings {INPROC-2006-83,
   author = {Rania Khalaf and Frank Leymann},
   title = {{Role-based Decomposition of Business Processes using BPEL}},
   booktitle = {International Conference on Web Services (ICWS 2006)},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {770--780},
   type = {Conference Paper},
   month = {September},
   year = {2006},
   isbn = {0-7695-2669-1},
   doi = {10.1109/ICWS.2006.56},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {This paper addresses role-based decomposition of a business process model (based on a subset of WS-BPEL, using explicit data links. A mechanism is presented for partitioning a business process so that each partition can be enacted by a different participant. An important goal is to disconnect the partitioning itself from the design of the business process, simplifying the reassignment of activities to different entities. The result is several (compliant) BPEL processes, one for each participant, as well as the information needed to wire them together at deployment time and ensuring correct instance-level connections at runtime. We present details of partitioning and successfully running a sample process with three participants},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-83&engl=1}
}
@inproceedings {INPROC-2006-81,
   author = {Rakesh Agrawal and Christopher M. Johnson and Jerry Kiernan and Frank Leymann},
   title = {{Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology}},
   booktitle = {Proceedings of the 22nd International Conference on Data Engineering -- ICDE '06.},
   editor = {Ling Liu and Andreas Reuter and Kyu-Young Whang and Jianjun Zhang},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {January},
   year = {2006},
   doi = {10.1109/ICDE.2006.155},
   language = {English},
   cr-category = {H.2.4 Database Management Systems,     K.4.1 Computers and Society Public Policy Issues},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The Sarbanes-Oxley Act instituted a series of corporate reforms to improve the accuracy and reliability of financial reporting. Sections 302 and 404 of the Act require SEC-reporting companies to implement internal controls over financial reporting, periodically assess the effectiveness of these internal controls, and certify the accuracy of their financial statements. We suggest that database technology can play an important role in assisting compliance with the internal control provisions of the Act. The core components of our solution include: (i) modeling of required workflows, (ii) active enforcement of control activities, (iii) auditing of actual workflows to verify compliance with internal controls, and (iv) discovery-driven OLAP to identify irregularities in financial data. We illustrate how the features of our solution fulfill Sarbanes-Oxley requirements using several real-life scenarios. In the process, we identify opportunities for new database research.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-81&engl=1}
}
@inproceedings {INPROC-2006-67,
   author = {Oliver Kopp and Carsten Frenkler and Niels Lohmann},
   title = {{Korrektheit und Zuverl{\"a}ssigkeit zusammengesetzter Web Services am Beispiel der Gesch{\"a}ftsprozess-Modellierungssprache BPEL}},
   booktitle = {Forschungsoffensive ``Software Engineering 2006'' Statuskonferenz 26.-28. Juni 2006},
   editor = {DLR e.V.},
   publisher = {n/a},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {1--11},
   type = {Workshop Paper},
   month = {July},
   year = {2006},
   keywords = {Tools4BPEL; BPEL; EPK; oWFN; BPEL2OWFN},
   language = {German},
   cr-category = {D.2.2 Software Engineering Design Tools and Techniques,     D.2.4 Software Engineering Software/Program Verification,     F.2.2 Nonnumerical Algorithms and Problems,     F.3.1 Specifying and Verifying and Reasoning about Programs,     F.3.2 Semantics of Programming Languages,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-67/INPROC-2006-67.pdf,     http://www2.informatik.hu-berlin.de/top/tools4bpel/,     http://www.softwarefoerderung.de/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Unternehmens{\"u}bergreifende Gesch{\"a}ftsprozesse werden zunehmend nach dem Paradigma der Services organisiert. Dabei stellen sich Fragen nach der Komponierbarkeit, Bedienbarkeit, Austauschbarkeit sowie der R{\"u}cksetzbarkeit (Kompensation) im Fehlerfall. In diesem Vorhaben werden Methoden und Werkzeuge zum Umgang mit solchen Fragen entwickelt, am Beispiel der Gesch{\"a}ftsprozess-Modellierungssprache BPEL erprobt und in ein Entwurfswerkzeug der Firma Gedilan Technologies integriert.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-67&engl=1}
}
@inproceedings {INPROC-2006-66,
   author = {Oliver Kopp and Tobias Unger and Frank Leymann},
   title = {{Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL}},
   booktitle = {Proceedings of the 5th GI Workshop on Event-Driven Process Chains (EPK 2006)},
   editor = {M. N{\"u}ttgens and F.J. Rump and J. Mendling},
   address = {Vienna, Austria},
   publisher = {CEUR-WS.org},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {85--104},
   type = {Workshop Paper},
   month = {December},
   year = {2006},
   keywords = {Nautilus; EPC; BPEL; mapping},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2006-66/INPROC-2006-66.pdf,     http://www.epk-community.de/},
   contact = {Oliver.Kopp@iaas.uni-stuttgart.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as transition conditions in a mapping to the Business Process Execution Language for Web Services (BPEL). We will give a formal definition of N-EPCs and show how they can be mapped to BPEL. A close look will be taken how connectors can be eliminated while preserving their semantics.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-66&engl=1}
}
@inproceedings {INPROC-2005-126,
   author = {Mike P. Papazoglou and Paolo Traverso and Schahram Dustdar and Frank Leymann and Bernd J. Kr{\"a}mer},
   title = {{Service-Oriented Computing: A Research Roadmap}},
   booktitle = {Service Oriented Computing},
   editor = {Francisco Curbera and Bernd J. Kr{\"a}mer and Mike P. Papazoglou},
   publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Dagstuhl Seminar Proceedings},
   volume = {05462},
   pages = {1--29},
   type = {Conference Paper},
   month = {May},
   year = {2005},
   issn = {1862-4405},
   keywords = {Service-oriented computing; research road map; service foundations; service composition; service management; service monitoring; service-oriented engineering},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://drops.dagstuhl.de/opus/volltexte/2006/524/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {This document presents a Services Research Roadmap that launches four pivotal, inherently related, research themes to Service-Oriented Computing (SOC): service foundations, service composition, service management and monitoring and service-oriented engineering. Each theme is introduced briefly from a technology, state of the art and scientific challenges standpoint. From the technology standpoint a comprehensive review of state of the art, standards, and current research activities in each key area is provided. From the state of the art the major open problems and bottlenecks to progress are identified. During the during seminar each core theme was initially introduced by a leading expert in the field who described the state of the art and highlighting open problems and important research topics for the SOC community to work on in the future. These experts were then asked to coordinate parallel workgroups that were entrusted with an in-depth analysis of the research opportunities and needs in the respective theme. The findings presented in this summary report build on the advice of those panels of experts from industry and academia who participated in this Dagstuhl Seminar and met at other occasions during the past three years, e.g., at the International Conference on Service Oriented Computing (ICSOC, see www.icsoc.org). These experts represent many disciplines including distributed computing, database and information systems, software engineering, computer architectures and middleware and knowledge representation.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-126&engl=1}
}
@inproceedings {INPROC-2005-125,
   author = {Frank Leymann and Stefan Pottinger},
   title = {{Rethinking the Coordination Models of WS-Coordination and WS-CF}},
   booktitle = {Third IEEE European Conference on Web Services (ECOWS 2005)},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {160--169},
   type = {Conference Paper},
   month = {November},
   year = {2005},
   isbn = {0-7695-2409-5},
   doi = {10.1109/ECOWS.2005.20},
   language = {English},
   cr-category = {K.1 The Computer Industry,     K.4.4 Electronic Commerce},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {WS-coordination and WS-CF provide support for distributed activities that require coordination in an environment of Web services. Both specifications are generic coordination frameworks, not specific for any application. Despite their generic character, up to now only transactional protocols have been defined, which leverage these coordination frameworks. In this work we map a distributed activity, that it is not related to transactions, onto the coordination model underlying WS-coordination and WS-CF. Consequently we identify the necessary characteristics of a distributed activity that leverages the coordination frameworks of WS-coordination and WS-CF. We also examine limits of these coordination frameworks and suggest additional mechanisms where support for coordination in particular use cases is not sufficient. In contrast to coordinating distributed transactions, additional problems could arise when other types of activities are subject to coordination. These problems are studied, classified and reviewed in conjunction with the architectural differences of WS-coordination and WS-CF.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-125&engl=1}
}
@inproceedings {INPROC-2005-124,
   author = {Frank Leymann},
   title = {{The (Service) Bus: Services Penetrate Everyday Life}},
   booktitle = {Service-Oriented Computing - ICSOC 2005},
   editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {3826},
   pages = {12--20},
   type = {Conference Paper},
   month = {November},
   year = {2005},
   isbn = {3-540-30817-2},
   doi = {10.1007/11596141_2},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {We sketch the vision of a ubiquitous service bus that will be the base for hosting and accessing services everywhere. The utility model for using IT artifacts is implied. Applications on top of the service bus will be centered on business processes and will be adaptive in multiple dimensions. The ubiquitous service bus will change the way we think about information technology.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-124&engl=1}
}
@inproceedings {INPROC-2005-122,
   author = {Dimka Karastoyanova and Frank Leymann and Alejandro P. Buchmann},
   title = {{An Approach to Parameterizing Web Service Flows}},
   booktitle = {Proc. 3rd Intl. Conf. on Service Oriented Computing (ICSOC’2005)},
   editor = {Boualem Benatallah and Fabio Casati and Paolo Traverso},
   address = {Amsterdam, The Netherlands},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {3826},
   pages = {533--538},
   type = {Conference Paper},
   month = {November},
   year = {2005},
   isbn = {3-540-30817-2},
   doi = {10.1007/11596141_45},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The flexibility and reusability of Web Service flows (WS-flows) are limited especially by the fact that portType and operation names are hard-coded in the process definition. In this paper we argue that through parameterization and substitution WS-flows flexibility can be improved, while reusability is enhanced. We introduce a meta-model extension to enable run time evaluation of parameter values and thus discard the need to predict any possible partner service types during process modeling. The extension enables also run time changes in portType values. We show how the approach can be mapped to BPEL. We discuss prototypical implementation for the extended functionality and present conclusions and ideas for future work.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-122&engl=1}
}
@inproceedings {INPROC-2005-121,
   author = {Dimka Karastoyanova and Alejandro Houspanossian and Mariano Cilia and Frank Leymann and Alejandro P. Buchmann},
   title = {{Extending BPEL for Run Time Adaptability}},
   booktitle = {Ninth IEEE International Enterprise Computing Conference (EDOC 2005)},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {15--26},
   type = {Conference Paper},
   month = {September},
   year = {2005},
   isbn = {0-7695-2441-9},
   doi = {10.1109/EDOC.2005.14},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The existing Web service flow (WS-flow) technologies enable both static and dynamic binding of participating Web services (WSs) on the process model level. Adaptability on per-instance basis is not sufficiently supported and therefore must be addressed to improve process flexibility upon changes in the environment. Ad-hoc process instance changes can be enabled by swapping participating WS instances, by modifying port types of the partners to be invoked, and by changing process logic. In this work, we address the problem of dynamic binding of WSs to WS-flow instances at run time, i.e. the ability to exchange a WS instance participating in a WS-flow instance with an alternative one. The problem is additionally complicated by the fact that the execution of a process depends on its deployment. We describe the ``find and bind'' mechanism, and we show its representation as a BPEL extension. We discuss the benefits that could be gained and the disadvantages it brings in. The mechanism extends and improves the existing process technologies. It facilitates a precisely controlled policy-based selection of WSs at run time and also provides for process instance repair, while maintaining simplicity. We also discuss a prototypical implementation of the presented functionality.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-121&engl=1}
}
@inproceedings {INPROC-2005-120,
   author = {Martin Hepp and Frank Leymann and John Domingue and Alexander Wahler and Dieter Fensel},
   title = {{Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management}},
   booktitle = {IEEE International Conference on e-Business Engineering (ICEBE 2005)},
   editor = {Francis C. M. Lau and Hui Lei and Xiaofeng Meng and Min Wang},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {535--540},
   type = {Conference Paper},
   month = {October},
   year = {2005},
   isbn = {0-7695-2430-3},
   doi = {10.1109/ICEBE.2005.110},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Business process management (BPM) is the approach to manage the execution of IT-supported business operations from a business expert's view rather than from a technical perspective. However, the degree of mechanization in BPM is still very limited, creating inertia in the necessary evolution and dynamics of business processes, and BPM does not provide a truly unified view on the process space of an organization. We trace back the problem of mechanization of BPM to an ontological one, i.e. the lack of machine-accessible semantics, and argue that the modeling constructs of semantic Web services frameworks, especially WSMO, are a natural fit to creating such a representation. As a consequence, we propose to combine SWS and BPM and create one consolidated technology, which we call semantic business process management (SBPM).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-120&engl=1}
}
@inproceedings {INPROC-2005-111,
   author = {Albert Maier and Bernhard Mitschang and Frank Leymann and Wolfson Dan},
   title = {{On Combining Business Process Integration and ETL Technologies}},
   booktitle = {Datenbanksysteme in Business, Technologie und Web (BTW'05)},
   editor = {Gesellschaft f{\"u}r Informatik},
   publisher = {K{\"o}llen},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {533--546},
   type = {Conference Paper},
   month = {March},
   year = {2005},
   isbn = {3-88579-394-6},
   language = {English},
   cr-category = {H.2.8 Database Applications,     H.3.3 Information Search and Retrieval},
   ee = {http://btw2005.aifb.uni-karlsruhe.de/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems;     University of Stuttgart, Institute of Parallel and Distributed Systems, Applications of Parallel and Distributed Systems},
   abstract = {On Combining Business Provess Integration and ETL Technologies},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-111&engl=1}
}
@inproceedings {INPROC-2004-84,
   author = {Frank Leymann},
   title = {{The Influence of Web Services on Software: Potentials and Tasks}},
   booktitle = {INFORMATIK 2004 - Informatik verbindet, Band 1, Beitr{\"a}ge der 34. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI)},
   editor = {Peter Dadam and Manfred Reichert},
   publisher = {GI},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {LNI},
   volume = {50},
   pages = {14--25},
   type = {Conference Paper},
   month = {September},
   year = {2004},
   isbn = {3-88579-379-2},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.informatik2004.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Service Technologie findet gegenw{\"a}rtig gro{\ss}es Interesse bei Anwendern, Herstellern und Forschern. Der Vortrag zeigt auf, was die Vision hinter all den publizierten Standards in diesem Bereich ist, welche Probleme mit der Technologie gel{\"o}st werden sollen, welcher Einfluss auf die Erstellung und Nutzung von Software wahrscheinlich ist und welche Art Aufgaben noch zu l{\"o}sen sind.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-84&engl=1}
}
@inproceedings {INPROC-2004-83,
   author = {Frank Leymann},
   title = {{Die Kombination von Web Services und Grid - Eine neue Art IT zu verstehen}},
   booktitle = {Berliner XML Tage},
   editor = {Robert Tolksdorf and Rainer Eckstein},
   publisher = {XML-Clearinghouse},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {October},
   year = {2004},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.xml-clearinghouse.de/ws/BXML2004/wirtschaftsforum/,     http://www.xml-clearinghouse.de/ws/BXML2004/folien/leymann.pdf},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Gegenw{\"a}rtig werden auf Web Service Technologie basierende Standards vorgeschlagen, die wesentliche Aspekte des Grid spezifieren. Andererseits entstehen innerhalb der Web Service Community neue Standards, die das Grid unterst{\"u}tzen. In unserem Vortrag zeigen wir auf, wie die Kombination beider Technologien die Virtualisierung sowohl von Hardware als auch von Software erm{\"o}glicht. Die resultierende Infrastruktur (``Service Bus'') stellt die Basis zur Realisierung autonomer R{\"u}ckkopplungen dar. Spezielle solcher R{\"u}ckkopplungen k{\"o}nnen als Grundlage f{\"u}r das dynamische Zuverf{\"u}gungstellen von Anwendungen und der von ihnen ben{\"o}tigten Infrastruktur angesehen werden. Die Rolle von Choreographie in diesem Zusammenhang wird angerissen. Eine m{\"o}gliche zuk{\"u}nftige Struktur von Anwendungen in solchen ``On Demand''-Umgebungen wird grob skizziert.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-83&engl=1}
}
@inproceedings {INPROC-2003-63,
   author = {Frank Leymann},
   title = {{Grid and Applications (Industrial Session)}},
   booktitle = {Proceedings of the Twenty-Ninth International Conference on Vaery Large Data Bases (VLDB 2003)},
   publisher = {Morgan Kaufmann Publishers Inc, US},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {1033--1033},
   type = {Conference Paper},
   month = {September},
   year = {2003},
   isbn = {0127224424},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.vldb.org/conf/2003/papers/S32P01.pdf,     http://www.vldb.informatik.hu-berlin.de/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Grid and Applications (Industrial Session)},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-63&engl=1}
}
@inproceedings {INPROC-2003-62,
   author = {Frank Leymann and K. G{\"u}ntzel},
   title = {{The Business Grid: Providing Transactional Business Processes via Grid Services}},
   booktitle = {First International Conference on Service-Oriented Computing - ICSOC 2003},
   editor = {Maria E. Orlowska and Sanjiva Weerawarana and Mike P. Papazoglou and Jian Yang},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {2910},
   pages = {256--270},
   type = {Conference Paper},
   month = {December},
   year = {2003},
   isbn = {3-540-20681-7},
   doi = {10.1007/b94513},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.unitn.it/convegni/icsoc03.htm},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Services provide a suitable technical foundation for making business processes accessible within and across enterprises. The business logic encapsulated inside Web Services often resides in already existing transactional backend-systems. However, the scope of these systems is normally limited to their domain and is not distributed across heterogeneous environments. In this paper, we investigate the impact of the emerging Web Service technology on transactional backend-systems: Transactional context needs to propagate from activities or even business processes to services they use. Negotiations between service requestors and services on context to be propagate can be done automatically based on policies attached to the corresponding Web Service descriptions. Corresponding standards and mechanisms form the basis of a new computing and middleware paradigm: the Business Grid. Some exemplary research work to be done to actually build the outlined Business Grid environment is sketched.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-62&engl=1}
}
@inproceedings {INPROC-2003-61,
   author = {Frank Leymann},
   title = {{Web Services: Distributed Applications Without Limits}},
   booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft - BTW2003},
   editor = {Gerhard Weikum and Harald Sch{\"o}ning and Erhard Rahm},
   publisher = {GI},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {LNI},
   volume = {26},
   pages = {2--23},
   type = {Conference Paper},
   month = {February},
   year = {2003},
   isbn = {3-88579-355-5},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://doesen0.informatik.uni-leipzig.de/proceedings/paper/keynote-leymann.pdf,     http://www.inf.u-szeged.hu/stf/slides/e7.pdf},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web services technology is all about distributed computing. There is no fundamentally new basic concept behind this and related technologies. What is really new is the reach of Web services and its ubiquitous support by literally all major vendors. Most likely, heterogeneity will at the end no longer be an obstruc-tion for distributed applications. This will have impact on application architectures, middleware, as well as the way in which people will think about computing and businesses use computing resources. We sketch these impacts as well as some exemplary research work to be done to actually build the outline environment. (no. 4 of most cited papers of all of BTW conference proceedings - H. K{\"o}pcke, E. Rahm: ``Analyse von Zitierh{\"a}ufigkeiten f{\"u}r die Datenbankkonferenz BTW'', Datenbank-Spektrum 20/2007.)},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-61&engl=1}
}
@inproceedings {INPROC-2003-60,
   author = {Dieter K{\"o}nig and Matthias Kloppmann and Frank Leymann and Gerhard Pfau and Dieter Roller},
   title = {{Web Services Invocation Framwork: A Step towards Virtualization Components}},
   booktitle = {XML-Technologien f{\"u}r Middleware Middleware f{\"u}r XML-Anwendungen - XMIDX 2003},
   editor = {Rainer Eckstein and Robert Tolksdorf},
   publisher = {GI},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {LNI},
   volume = {24},
   pages = {33--44},
   type = {Conference Paper},
   month = {February},
   year = {2003},
   isbn = {3-88579-353-9},
   language = {English},
   cr-category = {D.1 Programming Techniques},
   ee = {http://www.xml-clearinghouse.de/ws/XMIDX2003/1/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Services Invocation Framework: A Step towards Virtualizing Components},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-60&engl=1}
}
@inproceedings {INPROC-2003-59,
   author = {Rania Khalaf and Frank Leymann},
   title = {{On Web Services Aggregation}},
   booktitle = {Technologies for E-Services - VLDB-TeS'03},
   editor = {Boualem Benatallah and Ming-Chien Shan},
   address = {Berlin},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {2819},
   pages = {1--13},
   type = {Conference Paper},
   month = {September},
   year = {2003},
   isbn = {3-540-20052-5},
   doi = {10.1007/b13474},
   issn = {1611-3349},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The Web services framework is enabling applications from different providers to be offered as services that can be used and composed in a loosely-coupled manner. Subsequently, the aggregation of services to form composite applications and maximize reuse is key. While choreography has received the most attention, services often need to be aggregated in a much less constrained manner. As a number of different mechanisms emerge to create these aggregations, their relation to each other and to prior work is useful when deciding how to create an aggregation, as well as in extending the models themselves and proposing new ones. In this paper, we discuss Web services aggregation by presenting a first-step classification based on the approaches taken by the different proposed aggregation techniques. Finally, a number of models are presented that are created from combinations of the above.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-59&engl=1}
}
@inproceedings {INPROC-2001-81,
   author = {Frank Leymann and Dieter Roller},
   title = {{Web Services als technische Grundlage f{\"u}r E-Business-Engineering (Web Services as technical foundation for e-business engineering)}},
   booktitle = {Informatik 2001: Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit, Tagungsband der GI/OCG-Jahrestagung, Bd. 2},
   editor = {Kurt Bauknecht and Wilfried Brauer and Thomas A. M{\"u}ck},
   publisher = {GI},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {678--682},
   type = {Conference Paper},
   month = {September},
   year = {2001},
   isbn = {3-85403-157-2},
   language = {German},
   cr-category = {H.4.1 Office Automation,     K.4.4 Electronic Commerce},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Services als technische Grundlage f{\"u}r E-Business-Engineering},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-81&engl=1}
}
@inproceedings {INPROC-2001-80,
   author = {Marco K. Maxeiner and Klaus K{\"u}spert and Frank Leymann},
   title = {{Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von Proze{\ss}modellen (Mining workflow audit trails)}},
   booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft (BTW), 9. GI-Fachtagung},
   editor = {Andreas Heuer and Frank Leymann and Denny Priebe},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Informatik aktuell},
   pages = {75--84},
   type = {Conference Paper},
   month = {February},
   year = {2001},
   isbn = {3-540-41707-9},
   language = {German},
   cr-category = {H.2.8 Database Applications,     H.4.1 Office Automation},
   ee = {http://www-is.informatik.uni-oldenburg.de/btw2001/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Data Mining von Workflow-Protokollen zur teilautomatisierten Konstruktion von Proze{\ss}modellen},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-80&engl=1}
}
@inproceedings {INPROC-1998-46,
   author = {Frank Leymann},
   title = {{On the interrelationship of workflow technology and other software technologies}},
   booktitle = {Proceedings of the 5th International Conference on the Software Process ICSP5 (ACM SIGSOFT) - Integrating Active Databases, Coordination, Method Engineering, Process, and Workflow technologies},
   publisher = {Unbekannt},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {June},
   year = {1998},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {On the interrelationship of workflow technology and other software technologies},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-46&engl=1}
}
@inproceedings {INPROC-1998-45,
   author = {Frank Leymann and Dieter Roller},
   title = {{Building A Robust Workflow Management System With Persistent Queues and Stored Procedures}},
   booktitle = {Proceedings of the Fourteenth International Conference on Data Engineering (ICDE)},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {254--258},
   type = {Conference Paper},
   month = {February},
   year = {1998},
   isbn = {0-8186-8289-2},
   doi = {10.1109/ICDE.1998.655784},
   language = {English},
   cr-category = {C.4 Performance of Systems,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Production workflow management systems must be scalable, highly available and reliable. We sketch the architecture of such a system that is built entirely on message-oriented middleware and relational database management technology.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-45&engl=1}
}
@inproceedings {INPROC-1998-44,
   author = {Rakesh Agrawal and Dimitrios Gunopulos and Frank Leymann},
   title = {{Mining Process Models from Workflow Logs}},
   booktitle = {Advances in Database Technology -- EDBT'98},
   editor = {Hans-J{\"o}rg Schek and F{\`e}lix Saltor and Isidro Ramos and Gustavo Alonso},
   publisher = {Springer},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {1377},
   pages = {469--483},
   type = {Conference Paper},
   month = {March},
   year = {1998},
   isbn = {3-540-64264-1},
   doi = {10.1007/BFb0100972},
   language = {English},
   cr-category = {H.2.8 Database Applications,     H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Modern enterprises increasingly use the workflow paradigm to prescribe how business processes should be performed. Processes are typically modeled as annotated activity graphs. We present an approach for a system that constructs process models from logs of past, unstructured executions of the given process. The graph so produced conforms to the dependencies and past executions present in the log. By providing models that capture the previous executions of the process, this technique allows easier introduction of a workflow system and evaluation and evolution of existing process models. We also present results from applying the algorithm to synthetic data sets as well as process logs obtained from an IBM Flowmark installation.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-44&engl=1}
}
@inproceedings {INPROC-1995-32,
   author = {Frank Leymann},
   title = {{Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems}},
   booktitle = {Datenbanksysteme in B{\"u}ro, Technik und Wissenschaft (BTW'95)},
   editor = {Georg Lausen},
   publisher = {Springer-Verlag},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   series = {Informatik aktuell},
   pages = {51--70},
   type = {Conference Paper},
   month = {March},
   year = {1995},
   isbn = {3-540-59095-1},
   keywords = {Business process management; compensation; recovery; semantic transaction models; workflow management},
   language = {English},
   cr-category = {F.3.2 Semantics of Programming Languages},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Workflow management systems are used today to realize advanced, distributed application systems, e.g. to support and control real world business processes like ofice procedures. With the increase of sophistication of these application systems a flexible transaction concept is required to be added to the workflow management system. Business processes exploiting such advanced transaction features are often referred to as ``business transactions''. We propose to support business transactions by compensation based partial backward recovery of the control flow within an instance of a business process. Work units of a business process which are defined to be potentially subject to such kind of recovery are introduced as ``spheres of joint compensation''. For the workflow management system IBM FlowMark we show in detail how its metaodel can be extended to support spheres of joint compensation. Most cited paper of all of BTW conference proceedings - H. K{\"o}pcke, E. Rahm: ``Analyse von Zitierh{\"a}ufigkeiten f{\"u}r die Datenbankkonferenz BTW'', Datenbank-Spektrum 20/2007.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1995-32&engl=1}
}
@inproceedings {INPROC-1994-29,
   author = {Frank Leymann},
   title = {{Ein Transaktionsmodell f{\"u}r Gesch{\"a}ftsprozesse (A transaction model for business processes)}},
   booktitle = {Proceedings der Fachtagung EMISA/MobIS '94},
   publisher = {Unbekannt},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {54--55},
   type = {Conference Paper},
   month = {January},
   year = {1994},
   language = {German},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Ein Transaktionsmodell f{\"u}r Gesch{\"a}ftsprozesse},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-29&engl=1}
}
@inproceedings {INPROC-1994-28,
   author = {Frank Leymann and Dieter Roller},
   title = {{Business Process Management With FlowMark}},
   booktitle = {COMPCON 1994},
   publisher = {IEEE Computer Society},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {230--234},
   type = {Conference Paper},
   month = {February},
   year = {1994},
   doi = {10.1109/CMPCON.1994.282918},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {From an enterprise point of view the management of business processes is becoming increasingly important: business processes control which piece of work will be performed by whom and which resources are exploited for this work, i.e. a business process describes how an enterprise will achieve its business goals. We sketch FlowMark, an IBM program product, supporting both the modeling of business processes and their execution.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-28&engl=1}
}
@inproceedings {INPROC-1993-23,
   author = {Frank Leymann},
   title = {{A MOOTOR for accelerating the acceptance of the object paradigm (in German)}},
   booktitle = {Tagungsband des 5. Kolloquiums {\"u}ber ``Software-Entwicklung -- Methoden, Werkzeuge und Erfahrungen'' der Technischen Akademie Esslingen},
   publisher = {Unbekannt},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   type = {Conference Paper},
   month = {September},
   year = {1993},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {A MOOTOR for accelerating the acceptance of the object paradigm},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1993-23&engl=1}
}
@inproceedings {INPROC-1992-04,
   author = {Gerhard Chroust and Frank Leymann},
   title = {{Interpretable process models for software development and administration}},
   booktitle = {Proc. 11th European Meeting on Cybernetics and Systems Research (EMCR92)},
   publisher = {World Scientific},
   institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
   pages = {271--278},
   type = {Conference Paper},
   month = {April},
   year = {1992},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Interpretable process models for software development and administration},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1992-04&engl=1}
}
@article {ART-2008-14,
   author = {Rania Khalaf and Oliver Kopp and Frank Leymann},
   title = {{Maintaining Data Dependencies Across BPEL Process Fragments}},
   journal = {International Journal of Cooperative Information Systems (IJCIS)},
   publisher = {World Scientific},
   volume = {17},
   number = {3},
   pages = {259--282},
   type = {Article in Journal},
   month = {September},
   year = {2008},
   doi = {10.1142/S0218843008001828},
   keywords = {fragments; business process; BPEL; data consistency},
   language = {English},
   cr-category = {C.2.4 Distributed Systems,     H.3.5 Online Information Services,     H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL — without requiring any new middleware for the case of flat flows. The solution also supports splitting loops and scopes that have compensation and/or fault handlers. When splitting loops and scopes, we extend existing Web services standards and frameworks in a standard compliant manner in order to support the resulting split control (not data) between the fragments. Data dependencies, however, are handled directly using BPEL constructs placed in the fragments even for split loops and scopes. We present a solution that uses a BPEL process, partition information, and results of data-flow analysis to produce a BPEL process for each participant. The collective behavior of these participant processes recreates the control and data flow of the non-split process. Previous work presented process splitting using a variant of BPEL where data flow is modeled explicitly using ``data links''. We reuse the control flow aspect from that work as well as the control flow aspect from our work on splitting loops and scopes, focusing in this paper on maintaining the data dependencies in standard BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-14&engl=1}
}
@article {ART-2008-01,
   author = {Gero Decker and Oliver Kopp and Alistair Barros},
   title = {{An Introduction to Service Choreographies}},
   journal = {Information Technology},
   publisher = {Oldenbourg Verlag},
   volume = {50},
   number = {2},
   pages = {122--127},
   type = {Article in Journal},
   month = {February},
   year = {2008},
   issn = {1611-2776},
   doi = {10.1524/itit.2008.0473},
   keywords = {Choreography modeling; BPEL4Chor; WS-CDL; Let's Dance},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.it-information-technology.de/},
   contact = {oliver.kopp@iaas.uni-stuttgart.de},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Service oriented architecture (SOA) is an architectural style for building software systems based on services. Especially in those scenarios where services implement business processes, complex conversations between the services occur. Service choreographies are a means to capture all interaction obligations and constraints from a global perspective. This article introduces choreographies as an important artifact for SOA, compares them to service orchestrations and surveys existing languages for modeling them.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2008-01&engl=1}
}
@article {ART-2007-14,
   author = {David Martin and John Domingue and Michael L. Brodie and Frank Leymann},
   title = {{Semantic Web Services, Part 1}},
   journal = {IEEE Intelligent Systems},
   publisher = {IEEE Computer Society},
   volume = {22},
   number = {5},
   pages = {12--17},
   type = {Article in Journal},
   month = {September},
   year = {2007},
   doi = {10.1109/MIS.2007.94},
   language = {English},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Semantic Web services (SWS) has been a vigorous technology research area for about six years, producing a great deal of innovative work. This two-part installment of Trends \& Controversies discusses what has been accomplished in SWS, what value it can ultimately provide, and where we should go from here to reap these technologies' benefits.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-14&engl=1}
}
@article {ART-2007-13,
   author = {Oliver G{\"u}nther and Gerrit Tamm and Frank Leymann},
   title = {{Pricing Web Services}},
   journal = {International Journal Business Process Integration and Management},
   publisher = {Inderscience Publishers},
   volume = {2},
   number = {2},
   pages = {132--140},
   type = {Article in Journal},
   month = {April},
   year = {2007},
   issn = {1741-8771},
   doi = {10.1504/IJBPIM.2007.015137},
   keywords = {web services; pricing; composition; web-based; service-oriented architectures; SOAs},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://dochost.rz.hu-berlin.de/docviews/abstract.php?lang=ger&id=28408,     http://www.inderscience.com/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {This paper focuses on the challenges associated with composing and pricing web services. We present the results of an online experiment, where subjects were confronted with a variety of choices and decisions relating to web service markets and service composition. Our analysis shows that people expect the price of a composite web service to be lower than the sum of the prices of the elementary services, that is, users are not willing to pay for aggregation by a third party. To obtain a viable business model for composite web services, non-standard pricing mechanisms, such as auctions and negotiations, possibly supported by electronic agents, have to be taken into consideration. Usage-based pricing schemes, combined with an option to switch to a flat subscription, seem most appropriate to penetrate the developing market for web services.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2007-13&engl=1}
}
@article {ART-2006-17,
   author = {Frank Leymann and Dieter Roller},
   title = {{Modeling business processes with BPEL4WS}},
   journal = {Information Systems and e-Business Management (ISeB)},
   publisher = {Springer},
   volume = {4},
   number = {3},
   pages = {265--284},
   type = {Article in Journal},
   month = {July},
   year = {2006},
   doi = {10.1007/s10257-005-0025-2},
   keywords = {Web services; BPEL; Business Processes},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Business Process Execution Language for Web Services (BPEL4WS) allows defining both, business processes that make use of Web services, and business processes that externalize their functionality as Web services. This short paper introduces the basic language elements of BPEL4WS using a simple example. The concepts underlying the language are briefly explained: establishing bilateral partnerships, correlating messages and processes, defining the order of the activities of a business process, event handling, handling exceptions via long-running transactions, and the usage of BPEL4WS in pure B2B scenarios. The paper finishes off by presenting the resulting application structure and the resulting economical implications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2006-17&engl=1}
}
@article {ART-2006-16,
   author = {Rania Khalaf and Alexander Keller and Frank Leymann},
   title = {{Business processes for Web Services: Principles and applications}},
   journal = {IBM Systems Journal: Celebrating 10 Years of XML},
   publisher = {Online},
   volume = {45},
   number = {2},
   pages = {425--446},
   type = {Article in Journal},
   month = {May},
   year = {2006},
   doi = {10.1147/sj.452.0425},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The Business Process Execution Language for Web Services (BPEL4WS or BPEL for short) is an XML-based language for defining business processes that provides an interoperable, portable language for both abstract and executable processes and that was designed from the beginning to operate in the heterogeneity and dynamism that is commonplace in information technology today. BPEL builds on the layers of flexibility provided by the Web Services stack, and especially by XML. In this paper, we provide a brief introduction to BPEL with emphasis on architectural drivers and basic concepts. Then we survey ongoing BPEL work in several application areas: adding quality of service to BPEL, extending BPEL to activities involving humans, BPEL for grid computing, and BPEL for autonomic computing.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2006-16&engl=1}
}
@article {ART-2005-16,
   author = {Frank Leymann},
   title = {{Choreography for the Grid: towards fitting BPEL to the resource framework}},
   journal = {Journal of Concurrency and Computation: Practice and Experience},
   publisher = {Wiley},
   volume = {18},
   number = {10},
   pages = {1201--1217},
   type = {Article in Journal},
   month = {April},
   year = {2005},
   doi = {10.1002/cpe.996},
   keywords = {Web Services; Grid computing; workflow management; service-oriented computing; service composition},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The inherent heterogeneity of the Grid demands the ability to specify choreographies in a portable manner. This ensures that a choreography once specified can be deployed and executed in every workflow system within a Grid environment. It is likely that the Business Process Execution Language (BPEL) will have the corresponding broad support in the industry. In order to become first class citizens in the Grid, choreographies have to comply with the resource framework. We therefore suggest steps to make BPEL compliant with the resource framework. As a result, features of BPEL such as extended transactions will be available in a Grid environment.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2005-16&engl=1}
}
@article {ART-2004-24,
   author = {Donald Kossmann and Frank Leymann and Dirk Taubner},
   title = {{Editorial (Web Services)}},
   journal = {Informatik Spektrum},
   publisher = {Springer},
   volume = {27},
   number = {2},
   pages = {113--113},
   type = {Article in Journal},
   month = {April},
   year = {2004},
   doi = {10.1007/s00287-004-0377-x},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {A Web service is a software system designed to support interoperable machine-tomachine interaction over a network. It has an interface described in a machine-processable format (specifically WSDL). Other systems interact with the Web service in a manner prescribed by its description using SOAP messages, typically conveyed using HTTP with an XML serialization in conjunction with other Web-related standards.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-24&engl=1}
}
@article {ART-2004-23,
   author = {Donald Kossmann and Frank Leymann},
   title = {{Web Services}},
   journal = {Informatik Spektrum},
   publisher = {Springer},
   volume = {27},
   number = {2},
   pages = {117--128},
   type = {Article in Journal},
   month = {April},
   year = {2004},
   doi = {10.1007/s00287-004-0378-9},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Services gelten als die Technologie, mit der in Zukunft Softwarekomponenten innerhalb einer Organisation und zwischen Organisationen integriert werden.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-23&engl=1}
}
@article {ART-2004-22,
   author = {Matthias Kloppmann and Dieter K{\"o}nig and Frank Leymann and Gerhard Pfau and Dieter Roller},
   title = {{Enabling Technology: Ein J2EE-basiertes Business Process Management System zur Ausf{\"u}hrung von BPEL- und Web Service-basierten Gesch{\"a}ftsprozessen}},
   journal = {it - Information Technology},
   publisher = {Oldenbourg Wissenschaftsverlag},
   volume = {46},
   number = {4/2004},
   pages = {184--192},
   type = {Article in Journal},
   month = {April},
   year = {2004},
   issn = {1611-2776},
   doi = {10.1524/itit.46.4.184.36080},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   ee = {www.it-information-technology.de/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Mithilfe von Web Services und BPEL (Business Process Execution Language for Web Services) k{\"o}nnen Gesch{\"a}ftsprozesse und deren Interaktion mit verschiedenen Partnern beschrieben werden. Zur Ausf{\"u}hrung der Gesch{\"a}ftsprozesse finden Workflow Management Systeme Verwendung. Dieser Artikel besch{\"a}ftigt sich, basierend auf den Grundlagen von Web Services und BPEL, mit der Implementierung eines Workflow Management Systems. Um den Anforderungen der Gesch{\"a}ftswelt zu gen{\"u}gen, muss ein Workflow Management System sowohl langlaufende, unterbrechbare als auch kurzlaufende Gesch{\"a}ftsprozesse mit ihren unterschiedlichen Quality-of-Service Eigenschaften unterst{\"u}tzen. Die Systeme m{\"u}ssen robust sein, sicher und hoch verf{\"u}gbar. Der Artikel beschreibt die Implementierung eines J2EE-basierten Workflow Management System, das diesen Anforderungen entspricht. Dabei wird auf die Verwendung von Message Queuing Systemen und Datenbanken eingegangen, ebenso wie auf die Integration in einen Standard Application Server und die Verwendung dort zur Verf{\"u}gung stehender Transaction Manager, EJB Container, People Directory und Deployment Infrastruktur. Web services and BPEL (Business Process Execution Language for Web services) allow both, the description of business processes, and the description of the interaction between these business processes and their partners. Business processes run within Workflow Managements Systems. Based on the foundation laid out by Web services and BPEL, this paper describes the implementation of a Workflow Management System. To satisfy the requirements of today´s business world, a Workflow Management System has to support long-running, interruptible business processes as well as short-running business processes, both with a multitude of different Quality-of-Service (QoS) characteristics. Workflow Management Systems have to be robust, secure, and highly available. This paper discusses the implementation of a J2EE-based Workflow Management System that delivers on these requirements. The discussion involves the use of message queuing systems and relational databases when implementing the Workflow Management System, as well as its integration into a standard application server architecture, and the use of the services provided there like transaction manager, EJB container, people directory, and deployment infrastructure.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-22&engl=1}
}
@article {ART-2003-20,
   author = {Frank Leymann},
   title = {{Choreographie: Gesch{\"a}ftsprozesse mit Web-Services (horeography: Business Processes with Web Services)}},
   journal = {ObjektSpektrum},
   publisher = {SIGS Datacom},
   type = {Article in Journal},
   month = {January},
   year = {2003},
   language = {German},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.sigs-datacom.de/sd/publications/pub_article_show.htm?&AID=1211&Table=sd_article,     http://www.sigs-datacom.de/sd/publications/os/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Um Gesch{\"a}ftsprozesse in der Welt der Web-Services zu unterst{\"u}tzen, wird die so genannte Choreographie-Technologie ben{\"o}tigt. Die Standardisierung auf diesem Gebiet ist weit fortgeschritten. Als Resultat werden Gesch{\"a}ftsprozesse handelbare Artefakte, die auf unterschiedlichen Plattformen ausgef{\"u}hrt werden k{\"o}nnen und interoperabel sind.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-20&engl=1}
}
@article {ART-2003-19,
   author = {Kai-Uwe Sattler and Frank Leymann},
   title = {{Information Integration und Semantic Web}},
   journal = {Datenbank-Spektrum: Information Integration und Semantic Web},
   publisher = {dpunkt.verlag},
   volume = {3},
   number = {6},
   pages = {5--6},
   type = {Article in Journal},
   month = {June},
   year = {2003},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.datenbank-spektrum.de/v2/archiv/beitrag.html?key=dbspektrum/SattlerL03&nummer=6},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Information Integration und Semantic Web},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-19&engl=1}
}
@article {ART-2003-18,
   author = {Frank Leymann},
   title = {{Web-Services - Kurz erkl{\"a}rt}},
   journal = {Datenbank-Spektrum: Information Integration und Semantic Web},
   publisher = {dpunkt.verlag},
   volume = {3},
   number = {6},
   pages = {54--55},
   type = {Article in Journal},
   month = {June},
   year = {2003},
   language = {German},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.datenbank-spektrum.de/,     http://www.datenbank-spektrum.de/v2/archiv/beitrag.html?key=dbspektrum/Leymann03&nummer=6},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Web Services},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-18&engl=1}
}
@article {ART-2002-12,
   author = {Frank Leymann and Dieter Roller},
   title = {{Using flows in information integration}},
   journal = {IBM Systems Journal: Information Integration},
   address = {Riverton, NJ, USA},
   publisher = {IBM Corp.},
   volume = {41},
   number = {4},
   pages = {732--742},
   type = {Article in Journal},
   month = {October},
   year = {2002},
   issn = {0018-8670},
   doi = {10.1147/sj.414.0732},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.research.ibm.com/journal/sj/414/leymann.html},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Information integration has two fundamental aspects, data integration and function integration. Function integration is based on flow technology and adapter technology, and both of these add powerful capabilities to information integration. They provide access to a huge variety of data sources, such as standard applications, home-grown backend systems, and Web services. For accesses that are not restricted to read operations, flows can help in managing units of work across these data stores. When a database system is coupled with a flow engine, all of these capabilities are made available to database applications.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2002-12&engl=1}
}
@article {ART-1997-13,
   author = {Frank Leymann},
   title = {{Transaktionsunterst{\"u}tzung f{\"u}r Workflows}},
   journal = {Informatik - Forschung und Entwicklung},
   address = {Berlin, Heidelberg},
   publisher = {Springer},
   volume = {12},
   number = {2},
   pages = {82--90},
   type = {Article in Journal},
   month = {May},
   year = {1997},
   doi = {10.1007/s004500050077},
   keywords = {Workflow-Management; Workflows; Transaktionsmodelle},
   language = {German},
   cr-category = {H.4.1 Office Automation,     K.4.4 Electronic Commerce},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Aus der Verwendung von Workflow-Management-Systemen in der Praxis ergeben sich drei wesentliche Anforderungen an die Transaktionsunterst{\"u}tzung f{\"u}r Workflows: Zun{\"a}chst mu{\ss} das WFMS selbst Manipulationen seiner eigenen Ressourcen unter Transaktionsschutz durchf{\"u}hren. Weiterhin ist die M{\"o}glichkeit des gesicherten Aufrufs von Transaktionen und deren Gruppierung zu verteilten Transaktionen zu erm{\"o}glichen. Schlie{\ss}lich ist die Unterst{\"u}tzung von langen Transaktionen zu gew{\"a}hrleisten, die sich aus der Semantik der abgebildeten Gesch{\"a}ftsprozesse ergeben. Based on the exploitation of workflow management systems in practice three essential requirements for transaction support for workflows result: First, the WFMS must perform manipulations of its own resources under transaction protection. Next, the ability of protected invocations of transactions as well as their grouping into distributed transactions must be provided. Finally, support of long running transactions resulting from the semantics of the represented business processes has to be ensured.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1997-13&engl=1}
}
@article {ART-1997-12,
   author = {Frank Leymann and Dieter Roller},
   title = {{Workflow-Based Applications}},
   journal = {IBM Systems Journal: Application Development},
   publisher = {Online},
   volume = {36},
   number = {1},
   pages = {102--123},
   type = {Article in Journal},
   month = {January},
   year = {1997},
   doi = {10.1147/sj.361.0102},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://www.research.ibm.com/journal/sj/361/leymann.html},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {A significant number of companies are re-engineering their business to be more effective and productive. Consequently, existing applications must be modified, and new applications must be written. The new applications typically run in a distributed and heterogeneous environment, performing single tasks in parallel, and demanding special transaction functionality for the supporting environments. Workflow-based applications offer this type of capability. In this paper, their principal advantages are derived and set in context to transaction, object, and CASE (computer-assisted software engineering) technology. In particular, a method is proposed to develop these workflow-based applications in a cohesive and consistent way.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1997-12&engl=1}
}
@article {ART-1996-07,
   author = {Frank Leymann},
   title = {{Workflows Make Objects Really Useful}},
   journal = {EMISA Forum},
   publisher = {GI},
   volume = {6},
   number = {1},
   pages = {90--99},
   type = {Article in Journal},
   month = {January},
   year = {1996},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Workflows Make Objects Really Useful (Reprint of the article appeared in Proc. HPTS'95 6th Intl. Workshop on High Performance Transaction Systems)},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1996-07&engl=1}
}
@article {ART-1994-06,
   author = {Frank Leymann},
   title = {{Towards the STEP neutral repository}},
   journal = {Computer Standards \& Interfaces},
   publisher = {Elsevier Science B.V.},
   volume = {16},
   number = {3},
   pages = {299--319},
   type = {Article in Journal},
   month = {August},
   year = {1994},
   issn = {0920-5489},
   doi = {10.1016/0920-5489(94)90056-6},
   keywords = {CIM; Data modeling; Database systems; Enterprise modeling; EXPRESS; Information resources; Integration; IRDS; Meta model; Repository; SDAI; Standards; STEP},
   language = {English},
   cr-category = {H.2.1 Database Management Logical Design,     D.2.0 Software Engineering General,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The goal of the STEP standard effort is to achieve integration of all applications in the product data area. For this purpose a huge collection of data models providing schemes for all data which have to be shared amongst these applications is standardized. Integration is defined to share data both, across a broad spectrum of applications and across enterprises. It is thus important to encapsulate database technology, i.e. to become independent of particular vendors of database systems and database paradigms. The base for this is a database system called ‘neutral repository’ providing its own services for manipulating and defining data. We describe the fundamentals of the neutral repository.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1994-06&engl=1}
}
@article {ART-1994-05,
   author = {Frank Leymann and Wolfgang Altenhuber},
   title = {{Managing Business Processes as an Information Resource}},
   journal = {IBM Systems Journal},
   publisher = {Online},
   volume = {33},
   number = {2},
   pages = {326--348},
   type = {Article in Journal},
   month = {January},
   year = {1994},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://domino.watson.ibm.com/tchjr/journalindex.nsf/495f80c9d0f539778525681e00724804/5ef5dc1aac5ec8c185256bfa00685cd1?OpenDocument},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The relevance of business processes as a major asset of an enterprise is more and more accepted: Business processes prescribe the way in which the resources of an enterprise are used, i.e., they describe how an enterprise will achieve its business goals. Organizations typically prescribe how business processes have to be performed, and they seek information technology that supports these processes. We describe a system that supports the two fundamental aspects of business process management, namely the modeling of processes and their execution. The meta-model of our system deals with models of business processes as weighted, colored, directed graphs of activities; execution is performed by navigation through the graphs according to a well-defined set of rules. The architecture consists of a distributed system with a client/server structure, and stores its data in an object-oriented database system.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1994-05&engl=1}
}
@article {ART-1993-04,
   author = {Wolfgang Altenhuber and Frank Leymann},
   title = {{Unterst{\"u}tzung der Modellierung und Ausf{\"u}hrung von Gesch{\"a}ftsvorg{\"a}ngen im LAN (Support for modeling and execution of business processes in LAN)}},
   journal = {Datenbank Rundbrief},
   publisher = {GI},
   volume = {12},
   pages = {43--44},
   type = {Article in Journal},
   month = {November},
   year = {1993},
   language = {German},
   cr-category = {C.2.0 Computer-Communication Networks, General},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Support for modeling and execution of business processes in LAN (in German)},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1993-04&engl=1}
}
@article {ART-1992-01,
   author = {Frank Leymann},
   title = {{Objektverwaltung basierend auf Relationalen Datenbanksystemen (Object management based on relational database management systems)}},
   journal = {Datenbank Rundbrief},
   editor = {GI-Fachgruppe 2.5.1 Datenbanksysteme},
   publisher = {GI},
   volume = {10},
   pages = {43--44},
   type = {Article in Journal},
   month = {November},
   year = {1992},
   language = {German},
   cr-category = {H.4.2 Information Systems Applications Types of Systems},
   ee = {http://www.datenbank-portal.de/,     http://www.datenbank-spektrum.de/},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Objektverwaltung basierend auf relationalen Datenbanksystemen},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1992-01&engl=1}
}
@article {ART-1990-01,
   author = {Frank Leymann},
   title = {{UDH: A Universal Relation System}},
   journal = {Data \& Knowledge Engineering},
   address = {Amsterdam, The Netherlands},
   publisher = {Elsevier Science Publishers B. V.},
   volume = {5},
   number = {1},
   pages = {21--38},
   type = {Article in Journal},
   month = {March},
   year = {1990},
   issn = {0169-023X},
   doi = {10.1016/0169-023X(90)90031-8},
   keywords = {Relational database; Universal relation; Database semantic; Access path; Data model; Query language; Database navigation; Window; Object scheme; Database handler; Design Implementation; Data manipulation},
   language = {English},
   cr-category = {H.2 Database Management,     H.2.1 Database Management Logical Design,     H.2.3 Database Management Languages},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {The concept of a new universal relation system, called UDH (unified database handler), is given, allowing enquiries of relational databases without references to the underlying database scheme. Also, UDH attempts to decouple data manipulation requests from the database scheme via an additional layer above the database scheme, called semantic object scheme.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1990-01&engl=1}
}
@article {ART-1989-01,
   author = {Frank Leymann},
   title = {{A Survey of the Universal Relation Model}},
   journal = {Data \& Knowledge Engineering},
   publisher = {Elsevier},
   volume = {4},
   number = {4},
   pages = {305--320},
   type = {Article in Journal},
   month = {January},
   year = {1989},
   language = {English},
   cr-category = {H.4.2 Information Systems Applications Types of Systems},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {A Survey of the Universal Relation Model},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1989-01&engl=1}
}
@inbook {INBOOK-2008-01,
   author = {Frank Leymann and Ralph Mietzner},
   title = {{Neue Gesch{\"a}ftsmodelle durch SOA}},
   series = {Soa f{\"u}r Agile Unternehmen},
   address = {D{\"u}sseldorf},
   publisher = {Symposion Publishing},
   pages = {71--96},
   type = {Article in Book},
   month = {April},
   year = {2008},
   isbn = {978-3-939707-14-1},
   language = {German},
   cr-category = {H.4.1 Office Automation},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {SOA wird die Unternehmens-IT ver{\"a}ndern, denn eine serviceorientierte Architektur bietet viele Vorteile wie erh{\"o}hte Wiederverwendbarkeit und mehr Flexibilit{\"a}t durch Prozessorientierung. Hierdurch werden auch neue Gesch{\"a}ftsmodelle wie Outsourceing von Diensten oder Software as a Service entstehen.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2008-01&engl=1}
}
@inbook {INBOOK-2007-02,
   author = {Stijn Heymans and Li Ma and Darko Anicic and Zhilei Ma and Nathalie Steinmetz and Yue Pan and Jing Mei and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Edith Schonberg and Kavitha Srinivas and Cristina Feier and Graham Hench and Branimir Wetzstein and Uwe Keller},
   title = {{Ontology Reasoning With Large Data Repositories}},
   series = {Ontology Management for the Semantic Web, Semantic Web Services, and Business Applications},
   address = {Berlin, Heidelberg, New York},
   publisher = {Springer-Verlag},
   pages = {89--130},
   type = {Article in Book},
   month = {November},
   year = {2007},
   isbn = {978-0-387-69899-1},
   keywords = {business repository; IRIS; OWL DL; Reasoning with large datasets; Semantic; Business Process Management; WSML DL},
   language = {English},
   cr-category = {D.2.11 Software Engineering Software Architectures},
   ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INBOOK-2007-02/INBOOK-2007-02.pdf},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Reasoning with large amounts of data together with ontological knowledge is becoming a pertinent issue. In this chapter, we will give an overviewof well-known ontology repositories, including native stores and database based stores, and highlight strengths and limitations of each store. We take Minerva as an example to analyze ontology storage in databases in depth, as well as to discuss efficient indexes for scaling up ontology repositories. We then discuss a scalable reasoning method for handling expressive ontologies, as well as summarize other similar approaches. We will subsequently delve into the details of one particular ontology language based on Description Logics called WSML-DL and show that reasoning with this language can be done by a transformation from WSML-DL to OWL DL and support all main DL-specific reasoning tasks. Finally, we illustrate reasoning and its relevance by showing a reasoning example in a practical business context by presenting the Semantic Business Process Repository (SBPR) for systemical management of semantic business process models. As part of this, we analyze the main requirements on a such a repository. We then compare different approaches for storage mechanisms for this purpose and show how a RDBMS in combination with the IRIS inference engine provides a suitable solution that deals well with the expressiveness of the query language and the required reasoning capabilities even for large amounts of instance data.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2007-02&engl=1}
}
@inbook {INBOOK-2006-11,
   author = {Frank Leymann},
   title = {{Foreword}},
   series = {Semantic and Dynamic Web Processes (Semantic Web and Beyond: Computing for Human Experience)},
   address = {Berlin},
   publisher = {Springer},
   type = {Article in Book},
   month = {August},
   year = {2006},
   isbn = {0387302395},
   language = {English},
   cr-category = {K.1 The Computer Industry},
   ee = {http://dme.uma.pt/jcardoso/Books/Semantic-Web-Services-Processes-and-Applications},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Editorial},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2006-11&engl=1}
}
@inbook {INBOOK-1996-02,
   author = {Frank Leymann},
   title = {{Transaction concepts for workflow management systems}},
   series = {Gesch{\"a}ftsproze{\ss}modellierung und Workflow-Management - Modelle, Methoden, Werkzeuge},
   publisher = {International Thomson Publ.},
   type = {Article in Book},
   month = {January},
   year = {1996},
   isbn = {3826601246},
   language = {English},
   cr-category = {K.4.4 Electronic Commerce},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Transaction concepts for workflow management systems.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-1996-02&engl=1}
}
@book {BOOK-2000-01,
   author = {Frank Leymann and Dieter Roller},
   title = {{Production Workflow - Concepts and Techniques}},
   publisher = {PTR Prentice Hall},
   pages = {479},
   type = {Book},
   month = {January},
   year = {2000},
   language = {English},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   department = {University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems},
   abstract = {Implemented properly, workflow products enable companies to reengineer and streamline business processes. In Production Workflow: Concepts and Techniques, two of IBM's leading workflow experts demonstrate structures of production workflow systems and solutions that deliver maximum availability, reliability, and scalability. This start-to-finish, vendor-independent guide brings together best practices from these areas.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=BOOK-2000-01&engl=1}
}