@inproceedings {INPROC-2012-02,
   author = {Alexander Nowak and Tobias Binz and Frank Leymann and Daniel Schleicher and David Schumm and Sebastian Wagner},
   title = {{Ein Konzept zur Identifikation {\"o}kologisch nachhaltiger Verbesserungspotentiale unter B{\"u}rgerbeteiligung}},
   booktitle = {Tagungsband der Multikonferenz Wirtschaftsinformatik 2012},
   address = {Berlin},
   publisher = {Gito Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1559--1570},
   type = {Konferenz-Beitrag},
   month = {Februar},
   year = {2012},
   isbn = {978-3-942183-63-5},
   keywords = {Nachhaltigkeitsmanagement, Green IT, Pattern Identifikation, Green Patterns, B{\"u}rgerbeteiligung},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   contact = {alexander.nowak@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Die Optimierung von Abl{\"a}ufen zum Erhalt der Wettbewerbsf{\"a}higkeit ist ein fester Bestandteil heutiger Organisationen. Die immer vielf{\"a}ltigeren Anforderungen an Optimierungsvorhaben, sowie die steigende Komplexit{\"a}t der zu optimierenden Problemstellungen erfordert zum einen die Erschlie{\ss}ung neuer Wissensquellen und zum anderen die zielorientierte Nutzung geeigneter Verfahrensmuster aus fr{\"u}heren Problemstellungen. In dieser Arbeit wird am Beispiel der Identifikation {\"o}kologisch nachhaltiger Verbesserungspotentiale unter Nutzung von B{\"u}rgerbeteiligungen gezeigt, wie soziale Aspekte innerhalb von Optimierungsverfahren effizient eingesetzt und anschlie{\ss}end als strukturierte Verfahrensmuster wiederverwendbar gemacht werden k{\"o}nnen.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-02&engl=0}
}
@inproceedings {INPROC-2011-72,
   author = {Daniel Schleicher and Frank Leymann and Patrick Schneider and David Schumm and Tamara Wolf},
   title = {{An Approach to Combine Data-Related and Control-Flow-Related Compliance Rules}},
   booktitle = {Proceedings of SOCA},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2011},
   keywords = {Compliance, LTL, constraint, pattern, business process},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Compliance of IT-enabled business processes is a research area gaining more and more attraction for enterprises today. Many enterprises are on the gap of installing workflow systems within their premises. During this process they need to make sure that several regulations, coming from governments or enterprise-internal institutions, are obeyed. We argue that the compliance regulations, enterprises are faced with today, can be built using a number of atomic compliance requirements. We studied literature and identified new atomic requirements in our work with industrial use case partners taking part in research projects founded by the European Union, as well as projects with customers that face the same challenges. The atomic compliance rules, we identified, can be divided into two groups, data-related and control-flow-related compliance rules. The main contribution of this paper is a collection of patterns implementing complex compliance rules which consist of atomic control-flow related and data-related compliance rules. We show how these atomic rules must be applied to a business process in order to implement the desired behaviour, intended by a complex compliance rule. We extended an existing collection of recurring atomic compliance rules with a new set of data-related compliance rules. These compliance rules contain variabilities which need to be filled when they are applied to a business process model.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-72&engl=0}
}
@inproceedings {INPROC-2011-67,
   author = {Daniel Schleicher and J{\"o}rg Niem{\"o}ller and Frank Leymann and Konstantinos Vandikas and Roman Levenshteyn},
   title = {{Towards a Service Composition Language for Heterogeneous Service Environments}},
   booktitle = {Proceedings of the ICIN Conference 2011},
   publisher = {IEEE Xplore},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2011},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In this paper we provide an outline and characteristics of a language that allows the design of compositions within a heterogeneous service landscape. Heterogeneous refers to services from various industries and application domains like for example telecommunication, enterprise, web 2.0 and general IT. The language shall enable to use services from all these domains within a single service composition. We propose general requirements for this new language and we also offer an analysis of existing languages and their specific application domains. Finally, we discuss and propose extensions to an already existing standardized workflow language that enables heterogeneous compositions.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-67&engl=0}
}
@inproceedings {INPROC-2011-65,
   author = {Alexander Nowak and Frank Leymann and Daniel Schleicher and David Schumm and Sebastian Wagner},
   title = {{Green Business Process Patterns}},
   booktitle = {Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011},
   publisher = {ACM},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2011},
   keywords = {Green IT; Green Patterns; Green Business Process Management; Environmental Impact},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {To ensure their competitive advantage an increasing number of organizations adopt business process management for design, automation, and analysis of their business processes. In order to reduce cost, improve quality, save time, and increase flexibility, techniques for business process improvement and re-engineering are applied. Improving the environmental impact of a business process is a new challenge organizations are faced with. However, current approaches and techniques for business process optimization do not cover the ecological dimension explicitly. In this paper, we propose patterns which describe good solutions for green business process design to address this gap from a business perspective. The patterns are described independently from concrete business process modeling languages and execution environments in order to provide a broad applicability of the patterns within different scenarios. In addition to the patterns, we discuss the general usability of the patterns based on different aspects relevant to an organization.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-65&engl=0}
}
@inproceedings {INPROC-2011-38,
   author = {Monika Weidmann and Falko Koetter and Thomas Renner and David Schumm and Frank Leymann and Daniel Schleicher},
   title = {{Synchronization of Adaptive Process Models Using Levels of Abstraction}},
   booktitle = {Proceedings of the 4th International Workshop on Evolutionary Business Processes (EVL-BP 2011)},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {174--183},
   type = {Workshop-Beitrag},
   month = {August},
   year = {2011},
   keywords = {Adaptive Business Processes; Sychronization; Abstraction Levels; Business Process Management},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Today many companies use several technologies, modeling languages, and software tools for designing, analyzing, and executing their business processes. The need for adapting processes to new requirements, to reuse parts of processes, and to involve different stakeholders in the process design leads to process changes on multiple process models of different granularity and level of abstraction. These changes cause a need for process models on different abstraction levels to be synchronized in order to avoid inconsistencies. To bridge the resulting Business IT gap, we introduce an approach which supports the creation and adaptation of business processes on different abstraction levels based on reusable process building blocks. The advantage of the approach is that changes of the process can be driven by IT and Business in the same manner, though on different levels of abstraction. In addition to the methodology for this approach, we define reusable process building blocks, describe sychronization mechanisms, and propose a supporting infrastructure. We show the application of these concepts in a real world case study.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-38&engl=0}
}
@inproceedings {INPROC-2011-29,
   author = {Daniel Schleicher and Christoph Fehling and Stefan Grohe and Frank Leymann and Alexander Nowak and Patrick Schneider and David Schumm},
   title = {{Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments}},
   booktitle = {Enterprise Distributed Object Computing Conference (EDOC)},
   publisher = {IEEE Xplore},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {257--266},
   type = {Konferenz-Beitrag},
   month = {August},
   year = {2011},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {It is crucial for enterprises to execute business operations in a compliant way. This is especially true for ITdriven business processes as enterprises may face considerable fines when violating laws and regulation in their business processes. Through the advent of cloud computing, a new dimension of compliance requirements within the research area of compliant business process design has emerged. Datasovereignty is one of the major compliance concerns enterprises have to deal with when moving applications and data to the cloud. Enterprises are fully responsible for their data, also when the data is not present within their IT premises anymore. This lead to the policy that specific data must not leave the IT premises of the enterprise. In this paper we present an approach to support the human process designer in modelling compliant business processes. We are focusing on compliance requirements which have to be considered in the field of cloud computing. These requirements have been created to meet laws and regulations. These laws and regulations are considering data which is sent around between countries, for example. Considering the characteristics of these requirements, we deal with data-centric compliance rules here.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-29&engl=0}
}
@inproceedings {INPROC-2011-21,
   author = {Falko K{\"o}tter and Monika Weidmann and Daniel Schleicher},
   title = {{Guaranteeing Soundness of adaptive Business Processes using ABIS}},
   booktitle = {14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings},
   editor = {Witold Abramowicz and Robert Tolksdorf},
   address = {Korb},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--12},
   type = {Konferenz-Beitrag},
   month = {Juni},
   year = {2011},
   keywords = {BPMN, Business process management},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The Internet of Services necessitates ad-hoc collaboration of companies in business processes. Each collaboration requires speci c adjustments of the underlying process. While adapting these variable processes with multiple parties, a need for guaranteeing the soundness of business process variants arises. In this paper we extend the ABIS approach of adaptive business process modeling with soundness concepts and implement them in a prototype.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-21&engl=0}
}
@inproceedings {INPROC-2011-05,
   author = {Monika Weidmann and Falko K{\"o}tter and Maximilien Kintz and Daniel Schleicher and Ralph Mietzner and Frank Leymann},
   title = {{Adaptive Business Process Modeling in the Internet of Services (ABIS)}},
   booktitle = {Adaptive Business Process Modeling in the Internet of Services (ABIS)},
   editor = {Proceedings of the Sixth International Conference on Internet and Web Applications and Services (ICIW) 2011},
   publisher = {Xpert Publishing Services},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {29--34},
   type = {Konferenz-Beitrag},
   month = {M{\"a}rz},
   year = {2011},
   keywords = {Adaptive; business process; modelling},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In the Internet of Services many companies work together in interorganizational business processes. For the resulting ad-hoc business interaction it is necessary to align business processes of the business partners, especially in communcation processes. These business processes can be partly standardized, but need to be slightly adapted for several similar use cases by the involved companies. This fosters adaptability and reuse for the business partners.We present an approach for adaptive business process modeling in the Internet of Services (ABIS) which allows creation of adaptable process templates. These templates are then used to create variants of processes allowing companies to work together in an interorganizational setting.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-05&engl=0}
}
@inproceedings {INPROC-2010-99,
   author = {Hanna Eberle and Frank Leymann and Daniel Schleicher and David Schumm and Tobias Unger},
   title = {{Process Fragment Composition Operations}},
   booktitle = {Proceedings of APSCC 2010},
   publisher = {IEEE Xplore},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--7},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2010},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {The construction kit principle is a well-known software engineering paradigm to foster reusability. In case the construction kit principle is applied at runtime it is even a way to implement flexibility. In today’s workflow technology the construction kit principle is applied, e.g. in in hierarchical modeling approaches using subprocesses. In this paper we propose a construction kit application based on process fragment. In contrast to subprocesses, process fragments represent non-complete process knowledge, which needs to be integrated with further process knowledge to become a complete process model. Integrating one process fragment with another process fragment requires complex composition operations, since process fragments do not represent the implementation of a single abstract activity like in subprocesses, but are knitted together on the same level of granularity. The advantage of process fragments lies in their means to represent noncomplete process knowledge. In this paper we propose a formal process fragment modeling language, which is based on current workflow standard languages, like BPMN. Based on this modeling language we design a basic operation set, which allows to compose process fragments.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-99&engl=0}
}
@inproceedings {INPROC-2010-93,
   author = {Daniel Schleicher and Monika Weidmann and Frank Leymann and David Schumm},
   title = {{Compliance Scopes: Extending the BPMN 2.0 Meta Model to Specify Compliance Requirements}},
   booktitle = {Proceedings of SOCA 2010},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2010},
   keywords = {BPMN; Compliance; Workflow Management},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Compliance of business processes is becoming increasingly important in the domain of business process design. Despite that, human process designers must be able to concentrate on the business goals which a business process needs to fulfil. Compliance aspects of the business process should not be in the main focus of the human process designer during the development phase. Therefore, tools must support human process designers in developing compliant business processes. In this paper we introduce the concept of compliance scopes. Compliance scopes are areas in a business process where certain compliance conditions must hold. These conditions are attached to the compliance scopes. Compliance scopes can be applied to existing business process models as well as to process templates. In this way compliance rules are applied to certain areas of a business process. During design time, compliance scopes can be used in graphical workbenches to evaluate modifications to business processes.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-93&engl=0}
}
@inproceedings {INPROC-2010-76,
   author = {Daniel Schleicher and Tobias Anstett and Frank Leymann and David Schumm},
   title = {{Compliant Business Process Design Using Refinement Layers}},
   booktitle = {OTM 2010 Conferences},
   editor = {T. Dillon et al. R. Meersman},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   type = {Konferenz-Beitrag},
   month = {Oktober},
   year = {2010},
   keywords = {Compliance, Refinement, BPEL, business process},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {In recent years compliance has emerged as one of the big IT challenges enterprises are faced with. The management of a multitude of regulations and the complexity of current business processes are problems that need to be addressed. In this paper we present an approach based on so-called compliance templates to develop and manage compliant business processes involving different stakeholders. We introduce the concept of a refinement process. In the refinement process each compliance template is refined in a layered way to get an executable business process. The refinement steps are executed on refinement layers by different stakeholders. Compliance constraints are used to restrict the way a compliance template can be refined. Introduced in a certain refinement layer of the refinement process, compliance constraints are propagated to higher refinement layers.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-76&engl=0}
}
@inproceedings {INPROC-2010-75,
   author = {David Schumm and Tobias Anstett and Frank Leymann and Daniel Schleicher and Steve Strauch},
   title = {{Essential Aspects of Compliance Management with Focus on Business Process Automation}},
   booktitle = {INFORMATIK 2010: Business Process and Service Science – Proceedings of ISSS and BPSC},
   editor = {Witold Abramowicz and Rainer Alt and Klaus-Peter F{\"a}hnrich and Bogdan Franczyk and Leszek A. Maciaszek},
   publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Informatics},
   volume = {177},
   pages = {127--138},
   type = {Konferenz-Beitrag},
   month = {September},
   year = {2010},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Compliance requirements coming from laws, regulations and internal policies constrain how a company may carry out its business. A company must take various different actions for preventing compliance violations and for detecting them. Business processes have to be changed accordingly in order to adhere to these requirements. Manual controls need to be installed in order to affect the work which is done outside of IT systems. Technical controls are required for assuring compliance within IT systems. In this paper, we present a compliance management model that captures the compliance problem from a holistic point of view. We elaborate on a technical control which is called compliance fragment and we position it in the compliance management model. A compliance fragment is a connected, possibly incomplete process graph that can be used as a reusable building block for ensuring a consistent specification and integration of compliance into a workflow. In particular, we propose language extensions to BPEL for representing compliance fragments. Furthermore, we introduce a methodology for integrating compliance fragments into given workflows.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-75&engl=0}
}
@inproceedings {INPROC-2010-67,
   author = {Gabriela Gheorghe and Bruno Crispo and Daniel Schleicher and Tobias Anstett and Frank Leymann and Ralph Mietzner and Ganna Monakova},
   title = {{Combining Enforcement Strategies in Service Oriented Architectures}},
   booktitle = {accepted for publication in ICSOC 2010 proceedings},
   publisher = {Springer},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {1--15},
   type = {Konferenz-Beitrag},
   month = {Dezember},
   year = {2010},
   keywords = {Enforcement, ESB, BPEL},
   language = {Deutsch},
   cr-category = {H.4.1 Office Automation},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Business regulations on enterprise applications cover both infrastructure and orchestration levels of the SOA environment. Enforcing such requirements can be awkward or impossible to emulate at one level within the other. Based on previous work, we make a comparison between enforcement capabilities at business and infrastructure level. Our contribution is to make a first step towards a policy enforcement model that combines the strengths of the processlevel enforcement mechanisms with those of the message bus. The advantage of such a model is not only that infrastructure and process-level requirements are enforced by the correct mechanisms, but also that enforcement at both levels can be combined simultaneously. We present the architecture and a first prototype of such a model to show its feasibility.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-67&engl=0}
}
@inproceedings {INPROC-2010-51,
   author = {David Schumm and Tobias Anstett and Frank Leymann and Daniel Schleicher},
   title = {{Applicability of Process Viewing Patterns in Business Process Management}},
   booktitle = {Proceedings of the International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2010), in conjunction with the 14th IEEE International EDOC Conference (EDOC 2010)},
   address = {Los Alamitos},
   publisher = {IEEE Computer Society Press},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {79--88},
   type = {Workshop-Beitrag},
   month = {Oktober},
   year = {2010},
   keywords = {Process Analysis, Process View, Model Transformation, Business Process Management},
   language = {Englisch},
   cr-category = {D.2.2 Software Engineering Design Tools and Techniques,     H.4.1 Office Automation,     H.5.2 Information Interfaces and Presentation User Interfaces},
   contact = {David.Schumm@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Process views are an emerging concept for coping with the increasing complexity of process models. We understand a process view as the result of specific model transformations applied to a process. In this paper we discuss concrete scenarios of process view transformations for providing assistance in business process management. We show how elementary patterns of view transformations can be combined to support the design, deployment, monitoring and analysis of business processes. The process views proposed in this paper are technology independent and can be applied to any process language that can be represented by a process graph, such as the Business Process Modeling Notation (BPMN) and Event-driven Process Chains (EPC).},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-51&engl=0}
}
@inproceedings {INPROC-2009-76,
   author = {Tobias Anstett and Dimka Karastoyanova and Frank Leymann and Ralph Mietzner and Ganna Monakova and Daniel Schleicher and Steve Strauch},
   title = {{MC-Cube: Mastering Customizable Compliance in the Cloud}},
   booktitle = {Proceedings of the 7th International Joint Conference on Service Oriented Computing, Stockholm, Sweden, November 23-27, 2009},
   editor = {Springer},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {592--606},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2009},
   keywords = {Cloud Computing; IaaS; PaaS; SaaS; Monitoring; Enforcement},
   language = {Englisch},
   cr-category = {H.2.7 Database Administration},
   contact = {anstett@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Outsourcing parts of a company's processes becomes more and more important in a globalized, distributed economy. While archi- tectural styles and technologies such as service-oriented architecture and Web services facilitate the distribution of business process over several departments, enterprises and countries, these business processes still need to comply with various regulations. These regulations can be company regulations, national, or international regulations. When outsourcing IT-functions, enterprises must ensure that the overall regulations are met. Therefore they need evidence from their outsourcing partners that supports the proof of compliance to regulations. Furthermore it must be possible to enforce the adherence to compliance rules at partners. In this paper we introduce so-called compliance interfaces that can be used by customers to subscribe to evidence at a provider and to enforce regulations at a provider. We introduce a general compliance architecture that allows compliance to be monitored and enforced at services deployed in any emerging cloud delivery model.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-76&engl=0}
}
@inproceedings {INPROC-2009-70,
   author = {Daniel Schleicher and Tobias Anstett and Frank Leymann and Ralph Mietzner},
   title = {{Maintaining Compliance in Customizable Process Models}},
   booktitle = {Proceedings of the 17th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2009)},
   editor = {Robert Meersman and Tharam Dillon and Pilar Herrero},
   address = {Heidelberg},
   publisher = {Springer Verlag},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   series = {Lecture Notes in Computer Science},
   volume = {5870},
   pages = {60--75},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2009},
   isbn = {978-3-642-05147-0},
   keywords = {Compliance; Business process modeling},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation},
   contact = {daniel.schleicher\#n.o.s.p.a.m@iaas.uni-stuttgart.de},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Compliance of business processes has gained importance during the last years. The growing number of internal and external regulations that companies need to obey has led to this state. This paper presents a practical concept of ensuring compliance during design time of customizable business processes. We introduce the concept of a business process template that implicitly contains compliance constraints as well as points of variability. We further present an algorithm that ensures that these constraints cannot be violated. We also show how these algorithms can be used to check whether a customization of this process template is valid regarding these compliance constraints. So the designer of a business process, in contrast to the template designer, does not have to worry about compliance of the eventual process. In a final step we show how these general concepts can be applied to WS-BPEL.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2009-70&engl=0}
}
@inproceedings {INPROC-2008-85,
   author = {Tammo van Lessen and Frank Leymann and Ralph Mietzner and J{\"o}rg Nitzsche and Daniel Schleicher},
   title = {{A Management Framework for WS-BPEL}},
   booktitle = {Proceedings of the 6th IEEE European Conference on Web Services 2008},
   publisher = {IEEE Computer Society},
   institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
   pages = {187--196},
   type = {Konferenz-Beitrag},
   month = {November},
   year = {2008},
   keywords = {WS-BPEL; BPEL; Management; Monitoring; Resources; WS-RF; REST; JMX},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     K.1 The Computer Industry},
   ee = {http://www.computing.dcu.ie/ecows08/},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {WS-BPEL is the standard to define executable business processes in a Web service world. Numerous commercial and open source BPEL engines exist on the market today that allow the execution of process models defined in BPEL. However, these execution engines only provide access to process model and process instance data in terms of proprietary APIs. In this paper we present an approach that models BPEL process models and process instances as resources and thus provides a uniform access scheme for process model and process instance data. This is crucial because access to process model and process instance data is needed in different scenarios that are of key relevance in enterprises today. These scenarios include compliance checking, repair of faulted business processes as well as real-time monitoring of business processes. The lack of a uniform access scheme to process model and process instance data hampers the exchangeability of BPEL engines and therefore results in a potential vendor lock-in.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-85&engl=0}
}
@article {ART-2012-01,
   author = {Ralph Retter and Christoph Fehling and Dimka Karastoyanova and Frank Leymann and Daniel Schleicher},
   title = {{Combining Horizontal and Vertical Composition of Services}},
   journal = {Service Oriented Computing and Applications},
   publisher = {Springer},
   pages = {1--11},
   type = {Artikel in Zeitschrift},
   month = {Januar},
   year = {2012},
   language = {Englisch},
   cr-category = {H.4.1 Office Automation,     C.2.4 Distributed Systems,     D.2.2 Software Engineering Design Tools and Techniques,     D.2.3 Software Engineering Coding Tools and Techniques},
   department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Architektur von Anwendungssystemen},
   abstract = {Service composition is a well-established field of research in the service community. Services are commonly regarded as black boxes with well-defined interfaces that can be recursively aggregated into new services. The black-box nature of services does not only include the service implementation but also implies the use of middleware and hardware to run the services. Thus, service composition techniques are typically limited to choosing between a set of available services. In this paper we keep the black-box nature and the principle of information hiding of services, but in addition we break up services vertically. By introducing vertical service composition, we allow services to be provisioned on-demand using the middleware and runtime environment that specifically meets user-required quality of services (QoS). Therefore, a service is setup individually for services requestors instead of providing them with a pre-determined list of available services to choose from. We introduce the concept of vertical service composition and present an extension to an enterprise service bus (ESB) that implements the concept of vertical service composition by combining concepts from provisioning with those of (dynamic) service binding.},
   url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2012-01&engl=0}
}