scholarly journals CONFIGURABLE WORKFLOW MODELS

2008 ◽  
Vol 17 (02) ◽  
pp. 177-221 ◽  
Author(s):  
FLORIAN GOTTSCHALK ◽  
WIL M. P. VAN DER AALST ◽  
MONIQUE H. JANSEN-VULLERS ◽  
MARCELLO LA ROSA
Keyword(s):  
Business Processes ◽  
Modeling Language ◽  
Modeling Languages ◽  
Workflow Model ◽  
Workflow Modeling

Workflow modeling languages allow for the specification of executable business processes. They, however, typically do not provide any guidance for the adaptation of workflow models, i.e. they do not offer any methods or tools explaining and highlighting which adaptations of the models are feasible and which are not. Therefore, an approach to identify so-called configurable elements of a workflow modeling language and to add configuration opportunities to workflow models is presented in this paper. Configurable elements are the elements of a workflow model that can be modified such that the behavior represented by the model is restricted. More precisely, a configurable element can be either set to enabled, to blocked, or to hidden. To ensure that such configurations lead only to desirable models, our approach allows for imposing so-called requirements on the model's configuration. They have to be fulfilled by any configuration, and limit therefore the freedom of configuration choices. The identification of configurable elements within the workflow modeling language of YAWL and the derivation of the new "configurable YAWL" language provide a concrete example for a rather generic approach. A transformation of configured models into lawful YAWL models demonstrates its applicability.

THE SI* MODELING FRAMEWORK: METAMODEL AND APPLICATIONS

2009 ◽  
Vol 19 (05) ◽  
pp. 727-746 ◽  
Author(s):  
NICOLA ZANNONE
Keyword(s):  
Business Processes ◽  
System Development ◽  
Security Requirements ◽  
Modeling Language ◽  
Modeling Languages ◽  
Modeling Framework ◽  
Development Environment ◽  
Design Alternatives ◽  
Security Requirements Engineering ◽  
Early Phases

Security Requirements Engineering is emerging spurred by the realization that security must be dealt from the early phases of the system development process. Modeling languages in this field are challenging as they must provide concepts appropriate in order to talk about security within an organization. In previous work we introduced the SI* modeling language tailored to capture security aspects of socio-technical systems. SI* is founded on four main notions, namely supervision, permission, delegation, and trust. In this paper, we present the SI* metamodel. We also present some frameworks and methodologies founded on this modeling language for the analysis of security and dependability requirements as well as the exploration of design alternatives and the generation of skeletons of secure business processes. The paper also presents a development environment that uses the SI* metamodel as its basis core.

COMBINING STRUCTURED DOCUMENTS WITH HIGH-LEVEL PETRI-NETS FOR WORKFLOW MODELING IN INTERNET-BASED COMMERCE

1998 ◽  
Vol 07 (04) ◽  
pp. 275-296 ◽  
Author(s):  
WOLFGANG WEITZ
Keyword(s):  
Petri Nets ◽  
Business Processes ◽  
The Internet ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Order Processing ◽  
New Variant ◽  
Structured Documents ◽  
High Level ◽  
Electronic Document Interchange

This article discusses the application of a new variant of high-level Petri nets, the so-called SGML nets, for modeling business processes in the area of Internet-based commerce. SGML nets are designed to capture the process of generating and manipulating structured documents based on the international standard SGML. Since the currently most relevant document standards on the Internet are HTML (an SGML application) and XML (a subset of SGML), SGML nets offer an elegant way to integrate central aspects of Electronic Commerce applications, such as the generation of online product catalogs, processing of online orders, and electronic document interchange between companies, into a unified formal workflow model. The article gives an introduction to the central concepts of SGML nets and includes an example of their application from the area of online order processing.

Evaluating Conceptual Coherence in Multi-Modeling Techniques

2011 ◽  
pp. 43-62
Author(s):  
Bart-Jan Hommes
Keyword(s):  
Quantitative Evaluation ◽  
Modeling Language ◽  
Modeling Languages ◽  
Conceptual Coherence ◽  
Meta Model ◽  
Modeling Methods ◽  
Methods And Techniques ◽  
Modeling Techniques ◽  
Meta Modeling ◽  
Evaluation Of Methods

Meta-modeling is a well-known approach for capturing modeling methods and techniques. A meta-model can serve as a basis for quantitative evaluation of methods and techniques. By means of a number of formal metrics based on the meta-model, a quantitative evaluation of methods and techniques becomes possible. Existing meta-modeling languages and measurement schemes do not allow the explicit modeling of so-called multi-modeling techniques. Multi-modeling techniques are techniques that offer a coherent set of aspect modeling techniques to model different aspects of a certain phenomenon. As a consequence, existing approaches lack metrics to quantitatively assess aspects that are particular to multi-modeling techniques. In this chapter, a modeling language for modeling multi-modeling techniques is proposed as well as metrics for evaluating the coherent set of aspect modeling techniques that constitute the multi-modeling technique.

Towards Dynamic Collaborations in Virtual Organization Alliances

2010 ◽  
pp. 297-321
Author(s):  
Xiaohui Zhao ◽  
Chengfei Liu
Keyword(s):  
Business Processes ◽  
Virtual Organization ◽  
Design Method ◽  
Workflow Model ◽  
Business Process Design ◽  
Demand And Supply ◽  
Service Demand ◽  
Authority Control ◽  
Virtual Organisation ◽  
Service Oriented

This chapter introduces a service oriented relative workflow model as a means of helping organisations promptly create flexible and privacy-safe virtual organisation alliances. It argues that virtual organisation alliances are highly advocated to adapt to dynamic B2B collaborations, driven by the fast changing service demand-and-supply requirements. However, the temporary partnership and low trustiness between collaborating organisations put challenges to effectively manage collaborative business processes, and correspondingly an organisation centred design method and a visibility mechanism are discussed in this chapter to provide a finer granularity of authority control at contacting and collaboration design phases. Furthermore, the authors hope that understanding the establishment of a virtual organisation alliance through the use of relative workflows will not only inform researchers a better business process design methodology, but also assist in the understanding of the dynamic behaviours inside a virtual organisation alliance and the supporting approaches.

The Study and Application of Workflow Management System Based on Multi-Role Playing

2013 ◽  
Vol 748 ◽  
pp. 1217-1222
Author(s):  
Zi Wei Zeng ◽  
Qiu Si Zhang
Keyword(s):  
Business Process ◽  
Management System ◽  
Process Management ◽  
Workflow Management ◽  
Role Playing ◽  
Workflow Management System ◽  
Modeling Method ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Role Based

Workflow management system is playing more and more significant role in business process management (BPM) and office automation (OA) of enterprises[. It can improve the efficiency and manageability of an enterprises daily teamwork, control as well as coordinate the processes[. Traditionally, it is not easy for the workflow modeling method to describe the complex business process clearly and intuitively. In this paper we improved the role based workflow model, and proposed a workflow modeling method based on multi-role playing. It is possible to make the modeling easier and simpler when we come to the complex business process modeling problems. Finally, an example of a B/S based Enterprise Financial Reimbursement Management System (EFRMS) is demonstrated to prove the convenience and feasibility about the method mentioned.

Is There a Difference Between the Theoretical and Practical Complexity of UML?

2011 ◽  
pp. 243-264
Author(s):  
Keng Siau ◽  
John Erickson ◽  
Lih Yunn Lee
Keyword(s):  
Information Systems ◽  
Object Oriented ◽  
Modeling Language ◽  
Modeling Languages ◽  
Theoretical Maximum ◽  
Complex Information ◽  
Practical Complexity

An on-going and major problem faced by information systems developers and business users alike is reaching a clear and consensual understanding of the system by both groups. This can be difficult because the businesses are (typically) process driven, while the systems are (increasingly) object-oriented. Enter modeling. Modeling is one way of presenting complex information in a way that enhances or eases understanding. But, even models can be extremely complex, and the underlying tools and modeling languages are not any less complex. This chapter investigates the possibility that modeling languages can be simplified by considering that not all of the “words” in the language are used all of the time. If theoretical (maximum) represents all the words in a modeling language, then this chapter suggests that there might exist a more use-based (we name it practical complexity) subset that represents an easier to learn and use subcomponent of the language.

Enhancing UML Models

2009 ◽  
pp. 1581-1602
Author(s):  
Iris Reinhartz-Berger ◽  
Arnon Sturm
Keyword(s):  
Internal Consistency ◽  
Domain Analysis ◽  
Domain Model ◽  
Experimental Results ◽  
Modeling Language ◽  
Modeling Languages ◽  
Domain Modeling ◽  
System Requirements ◽  
Uml Models

UML has been largely adopted as a standard modeling language. The emergence of UML from different modeling languages that refer to various system aspects causes a wide variety of completeness and correctness problems in UML models. Several methods have been proposed for dealing with correctness issues, mainly providing internal consistency rules but ignoring correctness and completeness with respect to the system requirements and the domain constraints. In this article, we propose addressing both completeness and correctness problems of UML models by adopting a domain analysis approach called application-based domain modeling (ADOM). We present experimental results from our study which checks the quality of application models when utilizing ADOM on UML. The results advocate that the availability of the domain model helps achieve more complete models without reducing the comprehension of these models.

Sign in / Sign up

Export Citation Format

Share Document