author = {Ammann, Christian and Kleuker, Stephan and Pulverm{\"u}ller, Elke},
  title = {{From Business Modeling to Verified Applications.}},
  booktitle = {Proceedings of the Workshop "Protokoll-basierte Modellierung 
                von Gesch{\"a}ftsinteraktionen" (PMBI) at INFORMATIK 2011, 
                41. Jahrestagung der Gesellschaft f{\"u}r Informatik},
  editor = {Hei\ss, Hans-Ulrich and Pepper, Peter and Schlingloff, Holger 
                and Schneider, J{\"o}rg},
  series = {Lecture Nodes in Informatics (LNI)},
  volume = {P-192},
  pages = {312},
  month = {October},
  year = {2011},
  publisher = {GI-Edition},
  location = {Berlin, Germany},
  mytype = {WORKSHOP},
  abstract = {UML activity diagrams can be used to model business 
processes which are implemented in a software project. It is a 
worthwhile goal to automatically transform at least parts of 
UML diagrams into software. Automated code generation reduces the 
total amount of errors in a software project but the model itself 
can still violate specified requirements. A quality improvement is 
the usage of a model checker which searches through the whole state 
space of model and checks whether all requirements are met. A model 
checker requires a formal description of a model for a complete 
verification. Activity diagrams often describe processes informally 
which is difficult to verify with a model checker. We therefore 
propose the transformation of activity to statechart diagrams which 
allow a more detailed and formal description. Several algorithms 
exist to map UML statecharts into a model checker input language 
for a successful formal verification. Afterwards, the model checker 
searches through the whole state space of a statechart and therefore 
has to store each state in memory. UML statecharts can reach a high 
degree of complexity which is problematic for a complete state space 
traversal because the total amount of available memory is exhausted. 
Accordingly, we present the domain specific language UDL (UML 
Statechart Modeling Language) and a transformation from UDL into the 
Spin model checker input language Promela. UDL contains features for 
property preserving abstraction which reduces the models state space 
and therefore the memory consumption of a model checker. Furthermore, 
we introduce an optimisation technique for the transformation process 
from UDL to Promela which focuses on a reduced model checker run-time. 
A case study with a movement tracking system demonstrates how our 
approach could significantly reduce the memory consumption of a model 
checker and allows the verification of complex models.},
  language = {English}
  author = {{El~Kharbili}, Marwane and Pulverm{\"u}ller, Elke},
  title = {{Service Contract Compliance Management in Business Process Management.}},
  booktitle = {Post-Proceedings of the 3rd Workshop on Emerging Web Services Technology (WEWST 2008), Emerging Web Services Technology Volume III},
  series = {Whitestein Series in Software Agent Technologies and Autonomic Computing},
  editor = {Binder, Walter and Dustdar, Schahram and Walliser, Marius and Brantschen, Stefan and Calisti, Monique and Hempfling, Thomas},
  year = {2010},
  month = {},
  pages = {105 -- 116},
  publisher = {Springer, Birkh{\"a}user Computer Science, Basel},
  location = {Dublin, Ireland},
  mytype = {WORKSHOP},
  language = {English},
  url_home = {http://dx.doi.org/10.1007/978-3-0346-0104-7_7},
  abstract = {Compliance management is a critical concern for corporations, required to 
respect contracts. This concern is particularly relevant in the context of business 
process management (BPM) as this paradigm is getting adopted more widely for designing 
and building IT systems. Enforcing contractual compliance needs to be modeled at 
different levels of a BPM framework, which also includes the service layer. In this 
paper, we discuss requirements and methods for modeling contractual compliance for a 
SOA-supported BPM. We also show how business rule management integrated into an industry 
BPM tool allows modeling and processing functional and non-functional-property 
constraints which may be extracted from business process contracts. This work proposes 
a framework that responds to the requirements identified and proposes an architecture 
implementing it. Our approach is also illustrated by an example.}
  author = {Feja, Sven and Speck, Andreas and Pulverm{\"u}ller, Elke},
  title = {{Business Processes Verification.}},
  booktitle = {Proceedings of the Workshop on Business Process Modeling and 
               Realization (BPMR), 39. Jahrestagung der Gesellschaft f\"ur Informatik, INFORMATIK 2009 },
  series = {Lecture Notes in Informatics LNI},
  volume = {154},
  location = {L\"ubeck, Germany},
  month = {},
  year = {2009},
  pages = {},
  publisher = {GI-Edition},
  mytype = {WORKSHOP},
  abstract = {Models of commercial systems reflect either the statical structure or 
the dynamic behavior of a system. The dynamic aspects are the business processes and 
their models.
Whereas the static relations in a system may be expressed by Boolean logic, the dynamic 
activities and their temporal sequences ask for a better formalism, e.g. temporal logic. 
Temporal logic is based on Boolean logic extended by operators expressing the temporal 
order of states. In general there are different technologies to verify temporal 
sequences. Our choice is the model checking concept.
In the paper we present examples of business process models and how these models may be 
checked. We introduce a model to specify the rules (rules model) and demonstrate how 
the results of the checks can be displayed in the business process models. These models 
and the rules are represented in a graphical editor. Both models are transformed into a 
formal language which may be processed by a verification tool - a model checker in our 
case. The results are then visualized in the graphical editor indicating where the 
model violates or keeps the rules.},
  language = {English}
  author = {Decreus, Ken and {El~Kharbili}, Marwane and Poels, Geert and Pulverm{\"u}ller, Elke},
  title = {{Bridging Requirements Engineering and Business Process Management.}},
  booktitle = {Proceedings of the Workshop on Requirements Engineering and Business 
               Process Management (REBPM09), 
               in Conjunction with the Software Engineering Conference 2009 (SE2009)},
  series = {Lecture Nodes in Informatics (LNI)},
  location = {Kaiserslautern, Germany},
  month = {March},
  year = {2009},
  volume = {150},
  pages = {215 -- 222},
  publisher = {GI-Edition},
  mytype = {WORKSHOP},
  abstract = {Requirement elicitation is one of the earliest phases of a requirement 
engineering lifecycle. However, even though years of research have gone into seeking 
machine support for requirements engineering, the methods used are still highly manual 
and the vision of automatic transfer of business analysis requirements into IT systems 
supporting the business is still far from reach. On the other hand, incepting knowledge 
for creating AS-IS business processes in enterprise models has been recognized as a hard 
problem. In the context of a process centric organization, we propose an approach to 
create AS-IS business process models by automatically transferring requirements to the 
business process layer. Our aim is to enable carrying business requirements, goals and 
policies from an inception layer to the operational business process management layer. 
We place our research in the context of a semantic business process management platform 
(SUPER) as the support to exploit the output of our research. This paper grounds this 
research work and proposes a research design for requirement elicitation for producing 
early-phase business process models that are nearer to the business analysis layer.},
  language = {English}
  author = {{El~Kharbili}, Marwane and Stein, Sebastian and Pulverm{\"u}ller, Elke},
  title = {{Policy-based Semantic Compliance Checking for Business Process Management.}},
  year = {2008},
  month = {November},
  publisher = {CEUR-WS.org},
  pages = {178 -- 192},
  series = {CEUR Workshop Proceedings},
  booktitle = {Proceedings of the Workshops co-located with the MobIS2008 Conference},
  volume = {420},
  mytype = {WORKSHOP},
  abstract = {Compliance management, risk analysis, and auditing are disciplines that 
are critical for large scale distributed enterprise systems. The way these complex 
systems are developed and deployed makes the management and enforcement of enterprise 
goals or policies a hard task. This is also true for compliance management of business 
processes (BPs). Such an observation is emphasized if we give compliance management the 
scope of the whole enterprise model. In this paper we explain our approach to modeling 
compliance measures based on policies and present a framework for managing and enforcing 
compliance policies on enterprise models and BPs. We discuss our ideas in the context of 
a semantically-enabled environment and discuss why leveraging compliance checking to a 
semantic level enhances compliance management.},
  location = {Saarbr{\"u}cken, Germany}
  author = {{El~Kharbili}, Marwane and Stein, Sebastian and Markovic, Ivan 
            and Pulverm{\"u}ller, Elke},
  title = {{Towards a Framework for Semantic Business Process Compliance Management.}},
  booktitle = {Proceedings of the Workshop on Governance, Risk and Compliance for 
               Information Systems (GRCIS 2008)},
  volume = {339},
  publisher = {CEUR Workshop Proceedings},
  pages = {1 -- 15},
  year = {2008},
  month = {June},
  address = {Montepellier, France},
  editor = {Sadiq, Shazia and Indulska, Marta and {zur~Muehlen}, Michael.},
  mytype = {WORKSHOP},
  abstract = {Processes count to the most important assets of companies. Ensuring the 
compliance of processes to legal regulations, governance guidelines, and strategic 
business requirements is a sine qua non condition to controlling business behavior. 
Implementing business process compliance requires means for modeling and enforcing 
compliance measures. In this work, we motivate the need for automation in compliance 
management and introduce the role of policies. We then distinguish eight requirements 
for a compliance management framework. We also discuss different ways of conducting 
compliance checking. Finally, we propose a policy-based framework for business process 
compliance management. We eventually proceed to a discussion of the soundness and 
practicability of our approach, followed by an investigation of the main challenges 
ahead of our approach to policy-based semantic business process compliance management.}
  author = {{El~Kharbili}, Marwane and Stein, Sebastian and Markovic, Ivan 
            and Pulverm{\"u}ller, Elke},
  title = {{Towards Policy-Powered Semantic Enterprise Compliance Management --
            Discussion Paper.}},
  booktitle = {Proceedings of the 3rd International Workshop on Semantic Business 
               Process Management (SBPM) in conjunction with the European Semantic Web Conference ESWC 2008},
  year = {2008},
  series = {CEUR Workshop Proceedings},
  address = {Tenerife, Spain},
  month = {June},
  pages = {16 -- 21},
  mytype = {WORKSHOP},
  abstract = {An essential but difficult task to achieve in distributed enterprise 
systems is the management and enforcement of regulations and policies. We explore and 
discuss ideas for the implementation of enterprise wide compliance management. 
We propose an approach that builds on policies to realize compliance checking on 
semantic descriptions of enterprise models. This paper is meant to initiate a discussion 
about the pro and contra of our approach.}
  author = {Kelsen, Pierre and Pulverm{\"u}ller, Elke and Glodt, Christian},
  title = {{A Declarative Executable Language based on OCL for Specifying the 
            Behaviour of Platform-Independent Models.}},
  booktitle = {Proceedings of the Ocl4All 2007 Workshop},
  series = {},
  address = {Nashville, USA},
  month = {September},
  year = {2007},
  pages = {},
  publisher = {},
  mytype = {WORKSHOP},
  language = {English}
  author = {F\"{o}tsch, Daniel and Pulverm{\"u}ller, Elke and Rossak, Wilhelm},
  title = {{Modeling and Verifying Workflow-based Regulations}.},
  booktitle = {Proceedings of the Workshop on Regulations
               Modelling and their Validation \& Verification (REMO2V),
               in Conjunction with the 18th Conference on 
               Advanced Information System Engineering - 
               Trusted Information Systems (CAiSE'06)},
  month = {June},
  year = {2006},
  pages = {825 -- 830},
  editor = {Latour, T. and Petit, M.},
  publisher = {Namur University Press},
  location = {Luxembourg},
  mytype = {WORKSHOP},
  abstract = {In this paper we present our approach to model and verify 
workflow-intensive systems. Besides the functional properties (given by the temporal
workflow description) we augment the model and model checking with additional property 
treatment to deal with multifarious non-functional properties and property hierarchies.
This enables a more powerful verification of requirements such as given business-driven 
regulations in these system workflows.},
  language = {English}
  author = {Speck, Andreas and Pulverm{\"u}ller, Elke and Heuzeroth, Dirk},
  title = {{V}alidation of {B}usiness {P}rocess {M}odels.},
  booktitle = {Proceedings of the Workshop on Correctness of
               Model-Based Software Composition (CMC); 
               In Association with the 17th European Conference on 
               Object-Oriented Programming (ECOOP) 2003 - Report No. 2003-13},
  month = {July},
  year = {2003},
  pages = {75 -- 83},
  location = {Darmstadt, Germany},
  mytype = {WORKSHOP},
  abstract = {The eCommerce system development of Intershop is based on different
models on various levels of abstraction. The software engineering tool ARIS represents 
most of these models. 
In this paper we focus on the validation of the business process models on an 
intermediate abstraction level of the ARIS model. The  business processes may be derived 
from process patterns and have to follow specific rules (best practices). The validation 
of the compliance with these rules and the consistency with the original business process 
pattern is the focus of this paper.},
  language = {English}
  author = {Speck, Andreas and Robak, Silva and
            Pulverm{\"u}ller, Elke and Clau{\ss}, Matthias},
  title = {{V}ersion-based {A}pproach for {M}odelling {S}oftware {S}ystems.},
  booktitle = {Proceedings of the Workshop on Model-based Software Reuse; 
               In Association with the 16th European Conference on 
               Object-Oriented Programming (ECOOP) 2002 - Report No. 2002-4},
  month = {June},
  year = {2002},
  pages = {15 -- 22},
  location = {Malaga, Spain},
  mytype = {WORKSHOP},
  language = {English}
  author = {Pulverm{\"u}ller, Elke},
  title = {{C}omposition and {C}orrectness.},
  booktitle = {SC 2002: Workshop on Software Composition},
  series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
  volume = {65},
  issue = {4},
  location = {Grenoble, France},
  month = {April},
  year = {2002},
  pages = {},
  publisher = {Elsevier Science Publishers},
  mytype = {WORKSHOP},
  abstract = {This paper presents an approach to ensure correctness of composed 
systems. It takes into consideration that correctness can usually be achieved only to
a certain degree (except for some small and very mission-critical applications) and 
complete specifications are usually not practicable.
By modelling the parts, the composition activities and the requirements specification we 
automise the checking procedures using model checking.
An important issue hereby is that our approach allows partial modelling and specification.
Workshop web page: http://www.easycomp.org/sc2002},
  language = {English}
  author = {Schonger, Stefan and Pulverm{\"u}ller, Elke and Sarstedt, Stefan},
  title = {{A}spect-{O}riented {P}rogramming and {C}omponent {W}eaving: 
           {U}sing {XML} {R}epresentations of {A}bstract {S}yntax {T}rees.},
  booktitle = {Proceedings of the 2nd German GI Workshop on 
               Aspect-Oriented Software Development; - Technical Report No. IAI-TR-2002-1},
  location = {Bonn, Germany},
  month = {February},
  year = {2002},
  pages = {59 -- 64},
  publisher = {Rheinische Friedrich-Wilhelms-Universit{\"a}t Bonn, 
               Institut f{\"u}r Informatik III},
  mytype = {WORKSHOP},
  abstract = {Requirements that have a cross-cutting impact on software present many 
problems for software development throughout the lifecycle. Aspect Oriented Programming 
(AOP) and related techniques propose solutions to this problem. These language extensions 
are usually implemented by providing a weaver that reimplements major parts of a compiler 
and thus has a large code base. 
This paper proposes to define XML ``operators'' and to work on XML representations of 
abstract syntax trees (AST) for the base language that can be generated by modifying a 
conventional compiler with relative ease.},
  language = {English}
  author = {Pulverm{\"u}ller, Elke and Speck, Andreas and Coplien, James O.
            and D'Hondt, Maja and De Meuter, Wolfgang},
  title = {{P}osition {P}aper: {F}eature {I}nteraction in {C}omposed {S}ystems.},
  booktitle = {Proceedings of the Workshop on Feature Interaction in 
               Composed Systems; 
               In Association with the 15th European Conference on 
               Object-Oriented Programming (ECOOP) 2001 - Report No. 2001-14},
  month = {June},
  year = {2001},
  pages = {1 -- 6},
  mytype = {WORKSHOP},
  abstract = {Feature interaction is nothing new and not limited to computer science. 
The problem of undesirable feature interaction (feature interaction problem) has already 
been investigated in the telecommunication domain. Our goal is the investigation of 
feature interaction in component-based systems beyond telecommunication. The position 
paper outlines terminology definitions. It proposes a classification to compare different 
types of feature interaction. A list of examples give an impression about the nature and 
the importance of feature interaction.},
  language = {English}
  author = {Speck, Andreas and Pulverm{\"u}ller, Elke},
  title = {{F}eature {M}odeling.},
  booktitle = {Proceedings of the Joint Workshop of the GI-Fachgruppe 2.1.4
               (Programmiersprachen und Rechenkonzepte) and 2.1.9 
               (Objekt-Orientierte Softwareentwicklung) - Report No. 2018},
  pages = {27 -- 32},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel},
  month = {May},
  publisher = {Christian-Albrechts-Universit{\"a}t zu Kiel},
  location = {Bad Honnef},
  year = {2001},
  mytype = {WORKSHOP},
  abstract = {Component-based approaches for the software development are well-known. 
Most of these approaches (like CORBA and COM++) focus on the realization of the 
connection between the components and their interactions. In this paper we concentrate 
on the missing items in the component-based software engineering: the problem how to 
model component composition and to validate them. We apply the component model based on 
the interface description with InPorts and OutPorts which allow a rather detailed 
definition of the components interaction. Moreover we take the term feature to name the 
core requirements to a component. Features are used to drive the description of the 
component composition which is regarded as an combination of features expressed by
logical operators. Moreover the InPorts and OutPorts describe the dynamic component 
interactions. The combination of OutPorts and InPorts according to the component 
composition rules allows to reason about the component system's dynamic behavior.},
  language = {English}
  author = {Pulverm\"uller, Elke},
  title = {{G}enerative and {C}omponent-{B}ased {S}oftware {E}ngineering.},
  booktitle = {Proceedings of PhDOOS 2000: 
               10th Workshop for PhD Students in Object-Oriented 
               Systems (in conjunction with ECOOP 2000)},
  month = {June},
  year = {2000},
  location = {Sophia Antipolis, France},
  mytype = {WORKSHOP},
  language = {English}
  author = {Speck, Andreas and Pulverm\"uller, Elke and Mezini, Mira},
  title = {{R}eusability of {C}oncerns.},
  booktitle = {Proceedings of the ADC Workshop 2000: 
               Workshop on Aspects and Dimensions of Concerns 
               (in conjunction with ECOOP 2000)},
  month = {June},
  year = {2000},
  location = {Sophia Antipolis, France},
  mytype = {WORKSHOP},
  abstract = {Various recent approaches aim at improving the application of the 
separation of concerns principle by introducing new system units. Although they seem to 
have the potential to improve the system development process, additional challenges 
evolve. This paper addresses some challenges concerning the reusability of these new 
system units. Our considerations about reusability are twofold. First, the independence 
of these system units is regarded on the mechanism level. Second, the composition 
validation problem emerging from the composition of these new and also reusable system 
units is investigated. The problems are illustrated by means of two examples.},
  language = {English}
  author = {Speck, Andreas and Pulverm\"uller, Elke},
  title = {{C}omponent {F}rameworks for {S}oftware {G}enerators.},
  booktitle = {Proceedings of the 17th Workshop of the GI-Fachgruppe 2.1.4: 
               \em{Programmiersprachen und Rechenkonzepte, Schwerpunkt Softwarekomponenten}},
  editor = {Goerigk, Wolfgang},
  series = {Bericht Nr. 2007},
  pages = {45 -- 53},
  month = {July},
  year = {2000},
  publisher = {Institut f\"ur Informatik und Praktische Mathematik der
               Christian-Albrechts-Universit\"at zu Kiel},
  location = {Bad Honnef, Germany},
  mytype = {WORKSHOP},
  language = {English}
  author = {Pulverm\"uller, Elke},
  title = {{A}spekte in verteilten {U}mgebungen.},
  booktitle = {Informatiktage 1999, Fachwissenschaftlicher Informatik-Kongress},
  editor = {{GI~Gesellschaft~f\"ur~Informatik}},
  series = {ISBN 3-920560-14-0},
  pages = {110 -- 112},
  publisher = {Konradin Verlag Robert Kohlhammer GmbH},
  address = {Bad Schussenried, Germany},
  month = {November},
  year = {1999},
  mytype = {WORKSHOP},
  language = {German}
  author = {Speck, Andreas and Rashid, Awais and 
            Pulverm\"uller, Elke and Chitchyan, Ruzanna},
  title = {{I}ndividual {S}oftware {D}evelopment in {G}enerative {P}rogramming.},
  booktitle = {Collection of Abstracts of the 1st GCSE'99 Young Researchers Workshop},
  month = {September},
  year = {1999},
  location = {Erfurt, Germany},
  mytype = {WORKSHOP},
  language = {English}