7 results on '"David P. Paper"'
Search Results
2. On Transformations from UML Models to Object-Relational Databases.
- Author
-
Wai Yin Mok and David P. Paper
- Published
- 2001
- Full Text
- View/download PDF
Catalog
3. A Comparison of Business Process Improvement Approaches between US and Japanese Firms: A Model Application.
- Author
-
David P. Paper
- Published
- 1999
- Full Text
- View/download PDF
4. Revisiting Workflow Modeling with Statecharts
- Author
-
David P. Paper and Wai Yin Mok
- Subjects
Workflow ,Windows Workflow Foundation ,Computer science ,business.industry ,Active database ,Software engineering ,business ,Workflow Management Coalition ,Workflow engine ,Workflow management system ,XPDL ,Workflow technology - Abstract
In this paper, we model business workflows using Harel’s statecharts. We demonstrate that mapping to statecharts allows one to systematically identify potential workflow problems. Moreover, it also allows one to investigate specific properties inherent in actual business workflows. Our research focuses on three desirable properties of active database systems --non-termination, non-confluence, and non-observable determinism. As a theoretical lens for non-termination and non-confluence, we develop algorithms linking desirable active database system properties to workflow management systems problems. Preliminary validation of our algorithms is accomplished by mapping business workflows from a case study. Our research thus generates preliminary theory by developing a systematic method for identifying workflow problems. INTRODUCTION Business workflows can be well defined, predictable, and frequently executed. We thereby refer to these as structured business workflows. Such workflows can be automated by machines to reduce clerical tasks and potential human intervention errors. Workflow management systems (WMS) are a tested vehicle to facilitate automation of structured business workflows. WMS, which are new generations of computerized systems, are designed to manage automated parts of business workflows (Brunwin, 1994). By separating workflow definitions from application software, WMS provide process and knowledge independence, much like data independence provided by database management systems. In this research, we use Harel’s statecharts to model structured business workflows (Harel, 1987) for three reasons. First, Harel’s statecharts are used in the Unified Modeling Revisiting Workflow Modeling with Statecharts 235 Copyright © 2004, Idea Group Inc. Copying or distributing in print or electronic forms without written permission of Idea Group Inc. is prohibited. Language (UML) as a means for modeling behavior (Object Management Group, 1999). Since the UML is the standard modeling language of the Object Management Group1, Harel’s statecharts will soon become common. Second, statecharts are easy to understand and they do not have the problem of exponential growth of states that plague ordinary state transition diagrams (Harel, 1988). We shall elaborate on this point in the Related Work section. Third, their semantics are rigorous enough for formal analysis on various aspects of structured business workflows (Harel & Naamad, 1996). Within the framework of statecharts, we will show how to model workflow concepts and present algorithms that determine whether a given business workflow has certain predefined properties. We will then use a case study with Moore BCS (recently recast as Moore Wallace Incorporated) to explore the characteristics of a business workflow. The algorithms we develop in this study will become part of a software design tool that we will develop in the future. RELATED WORK An overview of workflow management using the latest technology can be found in Georgakopoulos, Hornick, and Sheth (1995). Specification and implementation of exceptions in workflow management systems are discussed in Casati, Ceri, Paraboschi, and Pozzi (1999) and workflow evolution in Casati, Ceri, Pernici, and Pozzi (1998). Active database systems have been studied extensively (Paton & Diaz, 1999). Active database systems and workflow management systems are related since both types of systems employ triggers to respond to external and internal events and exceptions. We are interested in three important properties of active database systems in this research, namely termination, confluence, and observable determinism, which are formally defined in Allen, Hellerstein, and Widom (1995). More discussion on active database systems, which includes several research prototypes and commercial products, can be found in Zaniolo (1997). The statemate approach, which uses statecharts in modeling reactive systems, is described in Harel and Politi (1998) and its semantics in Harel and Naamad (1996). By far, the statemate semantics of statecharts is the most rigorous and precise execution semantics defined for statecharts and it has been in use for more than ten years (Harel & Naamad, 1996). Here we point out the most significant aspects of the execution semantics. The reader may consult Harel and Politi (1998) and Harel and Naamad (1996) for details. The behavior of a system described in statemate semantics is a set of possible runs, each representing the responses of the system to a sequence of external stimuli generated by its environment2. A run consists of a series of detailed snapshots of the system’s situation; such a snapshot is called a status. The first in the sequence is the initial status, and each subsequent one is obtained from its predecessor by executing a step (see Figure 1). Figure 1: Status and Step. more...
- Published
- 2011
- Full Text
- View/download PDF
5. On transformations from UML models to object-relational databases
- Author
-
David P. Paper and Wai Yin Mok
- Subjects
Computer science ,Programming language ,Relational database ,Object (computer science) ,Data structure ,computer.software_genre ,Determinism ,Nested set model ,Unified Modeling Language ,Information system ,State diagram ,Boolean function ,computer ,computer.programming_language - Abstract
In this paper we consider the problems of transforming UML models into object-relational databases, which consist of static aspects and dynamic aspects. For the static aspects of the database, we first remove semantically overloaded elements, and then our algorithms generate Nested Normal Form nested tables. For the dynamic aspects of the database, we show how to map statechart diagrams into triggers. We begin our analysis of a statechart that potentially leads to nontermination of execution. We pay attention to the events, conditions, and actions of the transitions of states in the given statechart. Further we investigate the properties of confluence and observable determinism of the generated triggers. more...
- Published
- 2005
- Full Text
- View/download PDF
6. Development and initial testing of a theoretical model of transformation
- Author
-
P. Pendharkar, David P. Paper, and James A. Rodger
- Subjects
Transformation (function) ,Management science ,Computer science ,Liberian dollar ,Holism ,Research question ,Transformation theory ,Business transformation ,Task (project management) ,Test (assessment) - Abstract
We develop a holistic model of transformation. Model development is grounded in current transformation theory. We embarked on this daunting task because we believe that holism offers an excellent paradigm for managing change that can be of benefit to both academics and practitioners. We initially test our theoretical model by examining how well it maps onto an existing organization. The organization in question is heavily involved in enterprise transformation. It is a multi-billion dollar organization that is considered to be the top performer in its industry. Our general research question is: how do organizations successfully manage transformation?. more...
- Published
- 2005
- Full Text
- View/download PDF
7. A comparison of business process improvement approaches between US and Japanese firms: a model application
- Author
-
David P. Paper
- Subjects
Knowledge management ,Process management ,business.industry ,Computer science ,Business process ,Artifact-centric business process model ,media_common.quotation_subject ,Change management ,Information technology ,Business process modeling ,Business process management ,Event-driven process chain ,Quality (business) ,business ,Empowerment ,media_common - Abstract
Building on a prior case and field study work, the author developed a process improvement model. The proposed model includes four interdependent components-a systematic methodology to guide quality efforts, an environment conducive to change, empowerment mechanisms for the people who do the work, and information technology (IT) to facilitate automation. The model was used to contrast the process improvement approaches between U.S. and Japanese companies. Results included differences between process improvement approaches, management/worker roles, creativity, change visions, and work environments. more...
- Published
- 2003
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.