pulvermueller_bookchapters.bib
@inbook{FeSpPuSchEBI11,
author = {Feja, Sven and Speck, Andreas and Pulverm{\"u}ller, Elke
and Schulz, Marcel},
chapter = {{6: Verification of e-Commerce Business Processes}},
title = {{In: Electronic Business Interoperability: Concepts,
Opportunities and Challenges}},
editor = {Kajan, Ejub},
pages = {105 -- 123},
year = {2011},
month = {December},
publisher = {IGI Global},
location = {},
language = {English},
mytype = {CHAPTER},
abstract = {Like other large scale systems interoperating with other
systems large scale e-commerce systems and their interactions are hard
to be validated or verified although the quality requirements for these
systems are very high. The question is now: are there any further
possibilities to check these systems except doing this manually?
An approach is to focus on the models describing the systems; and
specifically to focus on the models of the behavior. Although the
verification of temporal aspects is much more complex than checking
static dependencies there is a promising technology: model checking.
Nevertheless we need distinctive improvements before this technology
can be applied in the real system development. We need graphical formal
requirement notations for different kinds of process model notations as
representations of the specification of rules. We must be able to
present the results positive and especially negative to the different
types of stakeholders. And finally the model checking technique has to
be improved in order to deal with different types of model elements
which are typical for business process models.},
url_home = {http://www.igi-global.com/chapter/electronic-business-interoperability/52151}
}
@inbook{EKPuIGI11,
author = {El~Kharbili, Marwane and Pulverm{\"u}ller, Elke},
chapter = {{16: Semantic Policies for Modeling Regulatory
Process Compliance}},
title = {{In: Semantic Technologies for Business and Information
Systems Engineering: Concepts and Applications}},
editor = {Smolnik, Stefan and Teuteberg, Frank and Thomas, Oliver},
pages = {311 -- 336},
year = {2011},
month = {October/December},
publisher = {IGI Global},
location = {},
language = {English},
mytype = {CHAPTER},
abstract = {Business process management (BPM) as a paradigm for
enterprise planning and governance is nowadays a core discipline of
information systems management. Growing up from the first process
re-engineering initiatives in the 1980's, BPM technologies now seek
to span all of the organizational silos of enterprises, and also expand
vertically from the strategy layers where visions and goals are defined
to the lower data transaction layers. Ensuring the compliance of
processes to the guidance and control provided to the business by
regulations is an obligation to every enterprise.
In this work, we motivate the need for automation in compliance
management and propose the use of policies as a modeling concept for
regulations. We introduce the CASE model for structuring regulatory
compliance requirements as policies. Policies shall allow to model
regulations at abstraction levels adequate to implementing platform
independent mechanisms for policy verification. We describe the
CASE model and explain how it can be used to structure and model
policies extracted from regulations. This chapter also defines a
policy modeling ontology that we propose as a language for formally
modeling CASE policies. The basic CASE model and the corresponding
policy modeling ontology support compliance of enterprise processes
to regulations by enabling automation to compliance checking
(verification). The utilization of the CASE method as well as the
policy ontology is showcased using an example of resource access
control in business processes.},
url_home = {http://www.igi-global.com/chapter/semantic-policies-modeling-regulatory-process/60068}
}
@inbook{SpPuFoeFe06,
author = {Speck, Andreas and Pulverm{\"u}ller, Elke and F{\"o}tsch, Daniel and Feja, Sven},
title = {{Validierungstechniken f{\"u}r Software.
In: Integration betrieblicher Informationssysteme: Problemanalysen und
L{\"o}sungsans{\"a}tze des Model-Driven Integration Engineering, Leipziger
Beitr{\"a}ge zur Informatik: Band IV.}},
subtitle = {{Leipziger Informatik Tage LIT 2006}},
xeditor = {F{\"a}hnrich, K.-P. and K{\"u}hne, S. and Speck, A. and Wagner, J.},
pages = {105 -- 122},
year = {2006},
month = {September},
publisher = {Leipziger Informatik Verbund (LIV)},
location = {},
language = {English},
mytype = {CHAPTER}
}