Skip to main content

2011 | Buch

Enterprise, Business-Process and Information Systems Modeling

12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings

herausgegeben von: Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider

Verlag: Springer Berlin Heidelberg

Buchreihe : Lecture Notes in Business Information Processing

insite
SUCHEN

Über dieses Buch

This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2011), held together with the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011) in London, UK, in June 2011.

The 22 papers accepted for BPMDS were selected from 61 submissions and cover a wide spectrum of issues related to business processes development, modeling, and support. They are grouped into sections on BPMDS in practice, business process improvement, business process flexibility, declarative process models, variety of modeling paradigms, business process modeling and support systems development, and interoperability and mobility.

The 16 papers accepted for EMMSAD were chosen from 31 submissions and focus on exploring, evaluating, and enhancing current information modeling methods and methodologies. They are grouped in sections on workflow and process modeling extensions, requirements analysis and information systems development, requirements evolution and information systems evolution, data modeling languages and business rules, conceptual modeling practice, and enterprise architecture.

Inhaltsverzeichnis

Frontmatter

BPMDS in Practice

Business Process Management for Open E-Services in Local Government Experience Report

E-government has become one of the most prominent means to reform the public sector. Building e-government embraces a variety of efforts both at a centralised level, (e.g. the integration of and communication between systems across different agencies, domains and geographies), and at local levels such as the development of e-services for the provision of 24/7 public sector agencies. In this paper, we report on the results of a project aimed to develop e-services as a part of the e-government initiative in Sweden. The project was carried out at the elderly and handicapped unit at one municipality. The e-services considered in the project were also intended to open up the underlying social services and are, therefore, referred to as open e-services. We discuss the results of the development of one such e-service as a proof-of concept solution for which a business process management system is used. We present the solution and explain the features of using a business process management system as a back-end system.

Petia Wohed, David Truffet, Gustaf Juell-Skielse
In Search for a Good Theory: Commuting between Research and Practice in Business Process Domain

Kurt Lewin’s statement “There is nothing more practical than a good theory” says not so much about what is good for practice, but rather what it means to have a good theory. There exist a number of competing theories in the business process domain. The current paper is devoted to one of those that lie outside the mainstream direction. The purpose of the paper is not to present the theory as such, but to present the stages of how it was developed with the aim of becoming a “good” theory from the practical point of view. The paper is written as an experience report and goes through different stages of the development where research efforts where intermixed with practical tests. The theory in question is the state-oriented view on business processes. The basic idea of this theory lies in application of the general principles of the theory of dynamic systems to the business domain. The main direction for practical application of theoretical results is the development of IT-support for loosely structured business processes. Besides giving the history of the related research and practical efforts, the paper discusses the lessons learned that can be of interest for the development of other theoretical models/views in the business process domain.

Ilia Bider
Does Process Mining Add to Internal Auditing? An Experience Report

In this paper we report on our experiences of applying business process mining in a real business context. The context for the application is using process mining for the purpose of internal auditing of a procurement cycle in a large multinational financial institution. One of the targeted outcomes of an internal audit is often the reporting on internal controls over financial reporting (ICFR), since this reporting is mandatory for Sarbanes-Oxley regulated organisations. Our process mining analyses resulted in more identified issues concerning ICFR than the traditional auditing approach. Issues that were identified using process mining analysis concerned violations of the segregation of duties principle, payments without approval, and violations of company specific internal procedures.

Mieke Jans, Benoît Depaire, Koen Vanhoof
BPM Governance: An Exploratory Study in Public Organizations

Business Process Management is a widely known approach focused on aligning processes of an organization in order to achieve improved efficiency and client satisfaction. Governance is an important requirement to enable successful BPM initiatives. This paper provides a qualitative empirical study to investigate what BPM governance elements are adopted by teams conducting early BPM initiatives in public organizations. The results suggest that early BPM adopters in public sector face several barriers due to difficulties in acquiring professionals with BPM expertise, bureaucracy and legislation rigidity, among others. In particular, committed sponsorship and monitoring were appointed as important BPM governance facilitators by participants of the study. Findings also show that further empirical studies are needed to increase the body of evidence in this field.

André Felipe Lemos Santana, Carina Frota Alves, Higor Ricardo Monteiro Santos, Adelnei de Lima Cavalcanti Felix

Business Process Improvement

Evaluation of Cost Based Best Practices in Business Processes

Reducing the Cost of a Business Process is a challenge faced by organizations. Business Process researchers have recommended a host of best practices for Business Process design which leads to Cost effectiveness. However, these are theoretical and there is no real guideline for either implementation or the Cost reduction acheived by the implementation of these best practices. In this paper, we evaluate the most commonly recommended best practices available in literature for Cost reduction for their effectiveness. We implement a pattern based Cost calculation methodology which shows the impact of best practices on examples in a measurable way. Using this methodology we calculate the overall Cost, reliability and the Cost incurred to achieve one successful execution of the Business Process; the Business Cost of the process.

Partha Sampath, Martin Wirsing
Experience Driven Process Improvement

The importance of process improvement and the role that best practice reference models play in the achievement of process improvement are both well recognized. Best practice reference models are generally created by experts in the domain who are external to the organization. However, best practice can also be implicitly derived from the work practices of actual workers within the organisation, especially when there is opportunity for variance within the work, i.e. there may be different approaches to achieve the same process goal. In this paper, we propose to support process improvement intrinsically by utilizing the experiences and knowledge of business process users to inform and improve the current practices. The main challenge in this regard is identifying the “best” previous practices, which are often based on multiple criteria. To this end, we propose a method based on the skyline operator, which is applied on criteria relevant data derived from business process execution logs. We will demonstrate that the proposed method is capable to generate meaningful recommendations from large data sets in an efficient way, thereby effectively facilitating organizational learning and inherent process improvement.

Mukhammad Andri Setiawan, Shazia Sadiq
Deep Business Optimization: Making Business Process Optimization Theory Work in Practice

The success of most of today’s businesses is tied to the efficiency and effectiveness of their core processes. This importance has been recognized in research, leading to a wealth of sophisticated process optimization and analysis techniques. Their use in practice is, however, often limited as both the selection and the application of the appropriate techniques are challenging tasks. Hence, many techniques are not considered causing potentially significant opportunities of improvement not to be implemented. This paper proposes an approach to addressing this challenge using our deep Business Optimization Platform. By integrating a catalogue of formalized optimization techniques with data analysis and integration capabilities, it assists analysts both with the selection and the application of the most fitting optimization techniques for their specific situation. The paper presents both the concepts underlying this platform as well as its prototypical implementation.

Florian Niedermann, Holger Schwarz

Business Process Flexibility

Flexible Artifact-Driven Automation of Product Design Processes

Automated support of business processes by information systems can be seen as state-of-the-art for many domains, such as production planning or customer relationship management. A myriad of approaches to the automation of business processes in these domains has been proposed. However, these approaches are not suited for highly creative processes, as they are observed in the field of innovative product design. These processes require a high degree of flexibility of the process implementation. In this paper, we focus on product design processes and propose a methodology for the implementation of supporting workflows. In order to cope with the imposed flexibility requirements, we follow an artifact-centric approach. Based on high-level process models, object life-cycle models are derived. Those are manually enriched and used for automatic generation of an executable workflow model. We also present an implementation of our approach.

Ole Eckermann, Matthias Weidlich
Continuous Planning for Solving Business Process Adaptivity

Process Management Systems (PMSs, aka Workflow Management Systems – WfMSs) are currently more and more used as a supporting tool to coordinate the enactment of processes. In real world scenarios, the environment may change in unexpected ways so as to prevent a process from being successfully carried out. In order to cope with these anomalous situations, a PMS should automatically adapt the process without completely replacing it. In this paper, we propose a technique, based on continuous planning, to automatically cope with unexpected changes, in order to modify only those parts of the process that need to be changed/adapted and keeping other parts stable. We also provide a running example that shows the practical applicability of the approach.

Andrea Marrella, Massimo Mecella
Distributed Event-Based Process Execution - Assessing Feasibility and Flexibility

Processes modeling and execution (with a process engine) are getting more and more incorporated in todays business environments. This movement puts a lot of stress on classical process engines which have to coordinate many process instances simultaneously. Performance degrades quickly as the number of process instances increases, and a single point of failure is introduced by using a central process execution engine. In this paper, we address these challenges by providing a non-intrusive approach to distribute a process flow and have the flow executed by multiple, smaller process engines. We pay special attention to flexibility of the eventual distributed execution, since process change is costly in a distributed environment. We demonstrate the feasibility of our approach by providing an implementation of the transformation and execution architecture, and demonstrate the lower cost of process change that is achieved when using a flexible process runtime architecture.

Pieter Hens, Monique Snoeck, Manu De Backer, Geert Poels

Declarative Process Models

A State-Based Context-Aware Declarative Process Model

Declarative process models support process flexibility, which has been widely recognized as important, particularly for organizations that face frequent changes and variable stimuli from their environment. However, current declarative approaches emphasize activities and provide constraints addressing their existence and dependencies. This expressiveness is not capable of addressing the process context (namely, environment effects) and its goal. The paper proposes a declarative model which addresses activities as well as states, external events, and goals. As such, it explicitly addresses the context of a process. The model is based on the Generic Process Model (GPM), extended by a notion of activity, which includes a state change aspect and an intentional aspect. The achievement of the intention of an activity may depend on events in the environment and is hence not certain. The paper provides a formalization of the model and some conditions for verification. These are illustrated by an example from the medical domain.

Pnina Soffer, Tomer Yehezkel
The Impact of Testcases on the Maintainability of Declarative Process Models

Declarative approaches to process modeling are regarded well suited for highly volatile environments as they provide a high degree of flexibility. However, problems in understanding and maintaining declarative process models impede their usage. To compensate for these shortcomings Test Driven Modeling has been proposed. This paper reports from a controlled experiment evaluating the impact of Test Driven Modeling, in particular the adoption of testcases, on process model maintenance. Thereby, students modified declarative process models, one model with the support of testcases and one model without the support of testcases. Data gathered in this experiment shows that the adoption of testcases significantly lowers cognitive load and increases perceived quality of changes. In addition, modelers who had testcases at hand performed significantly more change operations, while at the same time the quality of process models did not decrease.

Stefan Zugal, Jakob Pinggera, Barbara Weber
An Exploratory Approach to Process Lifecycle Transitions from a Paradigm-Based Perspective

While the use of a single business process paradigm (e.g. procedural or declarative) over the process lifecycle is often assumed in business process management, transitions between approaches at different phases in the lifecycle could also be examined. This paper explores several business process management strategies by analyzing the approaches at different phases in the process lifecycle as well as the various transitions between those phases.

Filip Caron, Jan Vanthienen

Variety of Modeling Paradigms

TTMS: A Task Tree Based Workflow Management System

In this paper, an approach to use task trees in a workflow management system (WfMS) is presented. As hierarchical models task trees capture several hierarchy levels of a workflow in one model. A workflow editor visualizes the models also as flowcharts similar to UML activity diagrams. The WfMS use these models as input and instantiates and executes them. The system is web-based and can be easily accessed by users with any browser clients. This paper motivates the approach to use task trees that produce hierarchical and structured workflow specifications. The proposed language might help end-users to better understand workflow models with its problem oriented hierarchical modeling character. Temporal operators from the task models are compared with certain operators from established workflow languages. In addition, in TTMS an instantiation time concept is implemented, where decision operators are evaluated at the very moment the process is instantiated. Consequently the task tree modeling language is enhanced for modeling decisions in the context of workflow management.

Jens Brüning, Peter Forbrig
A Modeling Paradigm for Integrating Processes and Data at the Micro Level

Despite the widespread adoption of BPM, there exist many business processes not adequately supported by existing BPM technology. In previous work we reported on the properties of these processes. As a major insight we learned that, in accordance to the data model comprising object types and object relations, the modeling and execution of processes can be based on two levels of granularity: object behavior and object interactions. This paper focuses on micro processes capturing object behavior and constituting a fundamental pillar of our framework for object-aware process management. Our approach applies the well established concept of modeling object behavior in terms of states and state transitions. Opposed to existing work, we establish a mapping between attribute values and objects states to ensure compliance between them. Finally, we provide a well-defined operational semantics enabling the automatic and dynamic generation of most end-user components at run-time (e.g., overview tables and user forms).

Vera Künzle, Manfred Reichert
Towards a Method for Realizing Sustained Competitive Advantage through Business Entity Analysis

Enterprises that succeed in today’s highly dynamic business environment often enjoy Sustained Competitive Advantage (SCA) as defined by Barney. While recent strategy literature focuses on exploring various sources of SCA, in this paper, we present an operational method for realizing SCA through Business Entity analysis. Business entity-centric modeling has been a successful approach in rethinking and revolutionizing business operations, in a number of engagements. Our method provides a path from SCA-generating strategies to Business Operations and Business Entities. The resulting Business Operations can be prototyped and analyzed to validate SCA properties. Our approach leverages key constructs from OMG’s Business Motivation Model (BMM) and emphasizes the analysis of Influencers – factors that have the capability to impact an enterprise’s strategies that generate SCA. Further, these strategies are used to formulate Business Operations that can be defined by Business Entities. IT applications can be generated from the Business Entities using Model-Driven Architecture. Therefore, these discovered Business Entities actually provide a valid scope for innovating Business Operations and developing IT applications that result in SCA for the business.

Matteo Della Bordella, Rong Liu, Aurelio Ravarini, Frederick Y. Wu, Anil Nigam

Business Process Modeling and Support Systems Development

Business Process Configuration Wizard and Consistency Checker for BPMN 2.0

A rapidly changing environment, in terms of technology and market, forces companies to keep their business processes aligned with current and upcoming requirements. This is still a major issue in modern process oriented information systems, where improvements on process models require considerable effort to implement them in a technical infrastructure.

We address this problem by lifting technical details into BPMN 2.0 process models and present a configuration wizard for these process models in the open-source modeling tool Oryx. This wizard includes a consistency checking mechanism to automatically discover inconsistencies in the data dependencies of a process model. Immediate feedback after changes to the model eliminates a crucial source of errors when configuring or redesigning business process models, leading to more efficient process implementation.

Andreas Rogge-Solti, Matthias Kunze, Ahmed Awad, Mathias Weske
Systematic Derivation of Class Diagrams from Communication-Oriented Business Process Models

Enterprise information systems can be developed following a model-driven paradigm. This way, models that represent the organisational work practice are used to produce models that represent the information system. Current software development methods are starting to provide guidelines for the construction of conceptual models, taking as input requirements models. This paper proposes the integration of two methods: Communication Analysis (a communication-oriented requirements engineering method [1]) and the OO Method (a model-driven object-oriented software development method [2]). For this purpose, a systematic technique for deriving class diagrams from business process models is proposed. The business process specifications (which include message structures) are processed in order to obtain class diagram views, which are integrated to create the class diagram incrementally. Then, using the

olivanova

framework, software source code can be generated automatically. The paper also discusses the advantages and current limitations of the technique. Results show that, although there is room for improvement, the technique is feasible and it does facilitate the creation of the class diagram.

Arturo González, Sergio España, Marcela Ruiz, Óscar Pastor
Verification of Timed BPEL 2.0 Models

Web services are increasingly becoming a major part of our daily lives. Many web services composition languages have been developed to describe the way a group of distributed web services interact with each other. In this matter, BPEL is one of the highly used composition languages. In this work, we are interested in verifying BPEL processes. Several works have addressed this issue before, but to our knowledge, a formalism that captures both the behavioral and the timing aspects of all the constructs of BPEL 2.0 does not exist. In this paper, we introduce a verification framework for timed BPEL models. We show how the relative and the absolute time of BPEL can be treated. We also give examples of temporal and timed properties that are supported in our framework. The verification is based on a transformation of all the BPEL constructs to the process algebra language, FIACRE.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Interoperability and Mobility

A Maturity Model Assessing Interoperability Potential

In a globalized and networked society, interoperability is a pervasive topic as it is a key factor of success for enterprises to meet their own added values and to exploit the market opportunities. This paper aims at presenting a model based on enterprise interoperability potential following the maturity models approach. Interoperability potential assessment requires a framework to capture the artifacts needed for enterprise interoperations. The framework of Enterprise Interoperability (FEI), currently under CEN/ISO standardization process is used as basis for the defined model.

Wided Guédria, Yannick Naudet, David Chen
Semantic Support for Security-Annotated Business Process Models

Service-Oriented Architectures (SOA) benefit from business processes (BP), which orchestrate web services (WS) and human actors in cross organizational environments. In this setting, handling the security and privacy issues while exchanging and processing personal data is essential. This lacks for secure business processes management. To achieve this, we represent security constraints descriptively by annotating process models, aiming to enforce these constraints by a secure business process management system (BPMS).To assist the process modeler in annotating process models, we introduce in this paper a tool which provides semantic interoperability during process design. By enforcing a shared conceptualization (ontology) of the security and privacy domains with an ontology base grounded in natural language this tool called knowledge annotator is able to make annotation recommendations according to knowledge stored in a knowledge base. The annotator is validated in an employability use case scenario.

Ioana Ciuciu, Gang Zhao, Jutta Mülle, Silvia von Stackelberg, Cristian Vasquez, Thorsten Haberecht, Robert Meersman, Klemens Böhm
Workflow Support for Mobile Data Collection

Mobile devices are increasingly being used for electronic data collection in low resource setting, where Internet-based solutions are infeasible. The data collection effort often requires the underlying processes, represented as data flows and workflows to be adhered. Workflow Management Systems (WFMS) could enable Mobile Data Collection (MDC) with workflow support as it is in Process Aware Information Systems. However, the use of WFMS for MDC designed for low resource settings needs to address challenges of mobile computing such as disconnections, slow connection links, limited computing power, etc. We present a framework that has been developed to integrate generic Data Collection tools with Workflow Management Systems (WFMS) to enable MDC in such resource-constrained environments. Furthermore we implement a tool based on this framework and provide an example of a vaccination registry project that uses mobile phones to record and track child immunisations.

Peter Wakholi, Weiqin Chen, Jørn Klungsøyr

EMMSAD 2011

Workflow and Process Modeling Extensions

Adapted UML Activity Diagrams for Mobile Work Processes: Experimental Comparison of Colour and Pattern Fills

For multi-channel information systems it is often relevant to model where something is supposed to take place, but business process modelling notations seldom capture geographical location. In previous papers, we suggested and compared alternatives for small modifications to UML Activity Diagrams to address this, and a controlled experiment indicated that an alternative using colour performed better than one using annotations. However, colour also has some challenges, especially concerning users with colour vision problems. Hence, this paper reports on a new experiment comparing colour with black/white pattern fills. The experiment investigated both the participants’ opinions about the notations and their performance on some tasks. While opinion was significantly in favour of the colour notation, task performance was only slightly in favour of this notation, and not significantly so.

Sundar Gopalakrishnan, John Krogstie, Guttorm Sindre
vBPMN: Event-Aware Workflow Variants by Weaving BPMN2 and Business Rules

When workflows are modeled for practical use, workflow variants often have to be considered to fit dynamically changing context factors. If there is a rich workflow context with a large value space, contemporary BPM solutions lack the support for on-the-fly generated variants, requiring explicit one-by-one modeling instead. Researchers have recognized the value of business rules for variant and adaptation support. However, there is still a need for dedicated standards-based constructs for context-dependent event- and exception-handling. Motivated by a realistic example, we therefore foster a framework for the combined use of business rules with a BPMN adaptation pattern catalogue. As the core contribution of this work, we substantiate our framework with a metamodel called vBPMN, which is weaved from BPMN2 and the R2ML rule language and allows for the convenient definition of variant models.

Markus Döhring, Birgit Zimmermann

Requirements Analysis and Information Systems Development

Analyzing the Integration between Requirements and Models in Model Driven Development

In Model Driven Development (MDD), models replace software code as the development artifact. At the same time, requirements represent the information that is elaborated in models. However, despite the tight relationship between models and requirements, only a few MDD approaches provide the necessary methodological guidelines and tool support to explicitly facilitate this relationship. We analyze approaches for integrating requirements with models within MDD and highlight the common characteristics, benefits, and problems. Based on the analysis, we elicit a set of general properties that need to be fulfilled when considering the integration of requirements and models, and we assess the contribution of the considered approaches accordingly.

Iyad Zikra, Janis Stirna, Jelena Zdravkovic
A Case Study on a GQM-Based Quality Model for a Domain-Specific Reference Model Catalogue to Support Requirements Analysis within Information Systems Development in the German Energy Market

Within this contribution, an approach on a goal-question-metric (GQM) based quality model for a domain-specific reference model catalogue is introduced. First of all, we motivate and present an ontology-based reference model catalogue to support requirements analysis within information systems development in the German energy market. For this purpose, we describe requirements for creating such a catalogue. Based on these requirements, quality metrics, to continuously measure the quality of the catalogue during its development and extension, are presented. In addition, the application of these metrics is shown.

José M. González, Peter Fettke, H. -Jürgen Appelrath, Peter Loos

Requirements Evolution and Information System Evolution

Requirements Evolution: From Assumptions to Reality

Requirements evolution is a main driver for systems evolution. Traditionally, requirements evolution is associated to changes in the users’ needs and environments. In this paper, we explore another cause for requirements evolution:

assumptions

. Requirements engineers often make assumptions stating, for example, that satisfying certain sub-requirements and/or correctly executing certain system functionalities would lead to reach a certain requirement. However, assumptions might be, or eventually become, invalid. We outline an approach to monitor, at runtime, the assumptions in a requirements model and to evolve the model to reflect the validity level of such assumptions. We introduce two types of requirements evolution: autonomic (which evolves the priorities of system alternatives based on their success/failure in meeting requirements) and designer-supported (which detects loci in the requirements model containing invalid assumptions and recommends designers to take evolutionary actions).

Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, Vítor E. Silva Souza
A Formal Modeling Approach to Information Systems Evolution and Data Migration

In the model-driven approach to software development, system implementations are generated automatically from abstract models of structure and behaviour. This could greatly facilitate systems evolution: a new version of a system may be produced simply by updating the system model and repeating the generation process. However, an information system may hold data of considerable value and complexity, and this must be safely migrated at each evolutionary step. This paper shows how this problem can be solved through a formal, model-driven approach: platform-specific data migration functions are generated automatically from a formal model of system changes, and the applicability of these functions is calculated in advance, ensuring that they may be safely applied to existing data.

Mohammed A. Aboulsamh, Jim Davies

New Approaches for Systems Engineering and Method Engineering

Overlaying Conceptualizations for Managing Complexity of Scenario Specifications

Most conventional conceptual modeling approaches are not putting into a foreground interaction dependencies between actors. This is one of the main reasons why it is difficult to apply them for managing complexity of conceptual representations. The goal of this paper is to present conceptual modeling method, which allows constructing graphical representations of scenarios with a more comprehensible structure. Using simple interaction loops between organizational and technical components help designers to separate crosscutting concerns in system engineering without the requirement to specify a complete solution. The examples of sequential, iterative, parallel and alternative behavior are analyzed to demonstrate conceptual descriptions of use-case scenarios. The overlaying and underlying interaction loops among actors are easier to understand, extend and maintain.

Remigijus Gustas
Method Families Concept: Application to Decision-Making Methods

The role of variability in Software engineering grows increasingly as it allows developing solutions that can be easily adapted to a specific context and reusing existing knowledge. In order to deal with variability in the method engineering (ME) domain, we suggest applying the notion of method families. Method components are organized as a method family, which is configured in the given situation into a method line. In this paper, we motivate the concept of method families by comparing the existing approaches of ME. We detail then the concept of method families and illustrate it with a family of decision-making (DM) methods that we call MADISE.

Elena Kornyshova, Rébecca Deneckère, Colette Rolland

Data Modeling Languages and Business Rules

Structural Aspects of Data Modeling Languages

A conceptual data model for an information system specifies the fact structures of interest as well as the constraints and derivation rules that apply to the business domain being modeled. The languages for specifying these models may be graphical or textual, and may be based upon approaches such as Entity Relationship modeling, class diagramming in the Unified Modeling Language, fact orientation (e.g. Object-Role Modeling), Semantic Web modeling (e.g. the Web Ontology Language), or deductive databases (e.g. datalog). Although sharing many aspects in common, these languages also differ in fundamental ways which impact not only how, but which, aspects of a business domain may be specified. This paper provides a logical analysis and critical comparison of how such modeling languages deal with three main structural aspects: the entity/value distinction; existential facts; and entity reference schemes. The analysis has practical implications for modeling within a specific language and for transforming between languages.

Terry Halpin
Characterizing Business Rules for Practical Information Systems

The recognition of business rules as an important element of modern information systems has led to various proposals for business rule categorization schemes. In particular, a recent business rule standards proposal, the OMG standard for the Semantics of Business Vocabularies and Business Rules (SBVR) distinguishes between major categories of rule using a scheme derived from modal logic, based on alethic and deontic modalities. This paper examines some of the claims made for this categorization scheme in terms of the relationship with generally accepted logical systems, and identifies a number of problem areas. It further assesses the value of this modal logic classification scheme in the development and maintenance of information systems. Planned future work will look at an alternative scheme for practical categorization of business rules.

Andrew Carver, Tony Morgan

Variability within Software Product Line Engineering

Towards Modeling Data Variability in Software Product Lines

In this paper, we provide an approach for modeling data variability as part of the overall software product line modeling approach. Modeling data variability in software product lines allows tailoring the data to the variability of a product. For this purpose, we have extended our Feature Assembly Modeling technique with the concept of

persistency feature

. We explain how these persistency features can be used to express the data variability, how they can be created and how they relate to the other features of the software product line. We also show how to derive a so-called

variable data model

from these persistency features and how an actual data model for a product of the product line can be derived. Additionally, annotations provide traceability between the variability of the features and the variability in the data model.

Lamia Abo Zaid, Olga De Troyer
Experimenting with the Comprehension of Feature-Oriented and UML-Based Core Assets

Software product line engineering mainly deals with specifying and developing core assets that can be utilized and adapted into specific product artifacts. Feature-oriented and UML-based modeling methods have been proposed for managing and supporting core assets specification. While these methods get a lot of attention in software product line engineering literature, their comparison in terms of comprehension is somewhat neglected. Being suitable for early stages of core assets development, this work aims at performing comparative analysis and discussing their advantages and limitations in view of two main stakeholders: developers and product customers. To this end, we conducted two experiments for examining the comprehension of core assets specification in feature-oriented CBFM and UML-based ADOM. The results showed that the only significant difference in terms of comprehension between these methods is in variability specification; developers may better understand the locations at which variability occurs and the ways to realize variability in ADOM.

Iris Reinhartz-Berger, Arava Tsoury

Conceptual Modeling Practice

Individual Differences and Conceptual Modeling Task Performance: Examining the Effects of Cognitive Style, Self-efficacy, and Application Domain Knowledge

In information systems development, conceptual modeling, which includes both data modeling and process modeling, is the most effective technique for depicting and sharing an understanding of the functional capabilities and limitations of the product/ system/ service design. The quality of conceptual models depends on a number of factors. This research focused on attributes of the modeler and specifically examined how an individual’s cognitive style, task self-efficacy, and knowledge of application domain impact the quality of two types of conceptual models: data models and process models. Results of the research revealed that an individual’s cognitive style may relate to conceptual model quality. In addition, the research showed that self-efficacy may be a determinant of model quality. Application domain knowledge did not appear to play a role in quality of models produced by the participants in this study.

Manpreet K. Dhillon, Subhasish Dasgupta
Enriching Conceptual Modelling Practices through Design Science

Models, modelling languages, modelling frameworks and their background have dominated conceptual modelling research and information systems engineering for last four decades. Conceptual models are mediators between the application world and the implementation or system world. Design science distinguishes the relevance cycle as the iterative process that re-inspects the application and the model, the design cycle as the iterative model development process, and the rigor cycle that aims in grounding and adding concepts developed to the knowledge base. This separation of concern into requirements engineering, model development and conceptualisation is the starting point for this paper.

Research in design science and on conceptual modelling resulted in a large body of knowledge, practices, and techniques. The two research approaches have developed their approaches and solutions. This paper shows how the two approaches can be integrated without making a sacrifice for integration. Modelling is based on modelling activities. Integration therefore starts with an integrated view on modelling. As an example of this integration we shall use reasoning support for modelling. Each modelling step considers specific work products, orients towards specific aspects of the system or application, involves different partners, and uses a variety of resources.

Ajantha Dahanayake, Bernhard Thalheim

Enterprise Architecture

A Meta-language for Enterprise Architecture Analysis

Enterprise Architecture (EA) management is a commonly accepted instrument to support strategic decision making. The objective of EA management is to improve business IT alignment by making the impact of planned changes explicit. The increasing interconnectivity of applications with other applications and with business processes however makes it difficult to get a complete view on change impacts and dependency structures. This information is nevertheless required to support decision makers. Current meta-languages proposed for the context of EA management provide only limited support for modelling qualitative and quantitative dependencies.

In this paper we propose a meta-language, which builds on the Meta Object Facility (MOF). This meta-language specifically accounts for the requirements of EA analysis. We discuss existing meta-languages from the field of EA management and related areas against these requirements. Building on the standard of the OMG, we present an extension of MOF designed to support EA analysis. The theoretic exposition of the extension is complemented by an example illustrating the applicability of the presented meta-language.

Sabine Buckl, Markus Buschle, Pontus Johnson, Florian Matthes, Christian M. Schweda
Towards an Investigation of the Conceptual Landscape of Enterprise Architecture

In this paper we discuss our preliminary work on clarifying the conceptual landscape of Enterprise Architecture. We do so to aid in the integration of conceptual models originating from different communities (of language users, concerns, viewpoints etc.). We propose that discovering the basic ontological structure used by these communities is necessary for the effective integration of models, and that different communities have a distinguishable different central understanding of some categories in their ontology. Our initial results include the description and categorization analysis of several languages and methods used in EA (as used by their creators), which suggest a prototype structure reflecting a community’s focus.

D. J. T. van der Linden, S. J. B. A. Hoppenbrouwers, A. Lartseva, H. A. (Erik) Proper
Backmatter
Metadaten
Titel
Enterprise, Business-Process and Information Systems Modeling
herausgegeben von
Terry Halpin
Selmin Nurcan
John Krogstie
Pnina Soffer
Erik Proper
Rainer Schmidt
Ilia Bider
Copyright-Jahr
2011
Verlag
Springer Berlin Heidelberg
Electronic ISBN
978-3-642-21759-3
Print ISBN
978-3-642-21758-6
DOI
https://doi.org/10.1007/978-3-642-21759-3