pulvermueller_workshops.bib
@inproceedings{AmKlPuGIPMBI11,
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}
}
@inproceedings{ElPuEWST10,
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.}
}
@inproceedings{FeSpPuGIBPMR09,
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}
}
@inproceedings{DeEKPoPuREBPMB09,
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}
}
@inproceedings{ElStPu08,
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}
}
@inproceedings{ElStMaPu08b,
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.}
}
@inproceedings{ElStMaPu08,
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.}
}
@inproceedings{KePuGl07,
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}
}
@inproceedings{FoPuRo06,
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}
}
@inproceedings{SpPuHe03,
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}
}
@inproceedings{SpRoPuCl02,
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}
}
@inproceedings{Pu02,
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}
}
@inproceedings{SchoPuSa02,
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}
}
@inproceedings{PuSpCoDHDeM01,
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}
}
@inproceedings{SpePul01,
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}
}
@inproceedings{Pu00,
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}
}
@inproceedings{SpPuMez00,
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}
}
@inproceedings{SpPu00,
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}
}
@inproceedings{Pu99,
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}
}
@inproceedings{SpRaPuCh99,
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}
}