Knowledge Technologies March 2001 DataChannel, Inc Preserving Process Hyperlink-Based Workflow Representation W. Eliot Kimber, DataChannel, Inc.

Slides:



Advertisements
Similar presentations
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Advertisements

Database Systems: Design, Implementation, and Management Tenth Edition
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 4 Slide 1 Software Processes.
Chapter 2 – Software Processes
Chapters 7 & 9 System Scope
ARCH-01: Introduction to the OpenEdge™ Reference Architecture Don Sorcinelli Applied Technology Group.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Knowledge Management at the Datum Level Trish Laedtke Project Manager DataChannel/ISOGEN International Austin, March 2000.
Software Testing and Quality Assurance
1004INT Information Systems Week 11 Databases as Business Tools.
© 2004, The Trustees of Indiana University 1 OneStart Workflow Basics Brian McGough, Manager, Systems Integration, UITS Ryan Kirkendall, Lead Developer.
Page 1 Building Reliable Component-based Systems Chapter 18 - A Framework for Integrating Business Applications Chapter 18 A Framework for Integrating.
Copyright 2004 Prentice-Hall, Inc. Essentials of Systems Analysis and Design Second Edition Joseph S. Valacich Joey F. George Jeffrey A. Hoffer Appendix.
Chapter 10 Classes Continued
Domain Modeling (with Objects). Motivation Programming classes teach – What an object is – How to create objects What is missing – Finding/determining.
Page 1 ISMT E-120 Introduction to Microsoft Access & Relational Databases The Influence of Software and Hardware Technologies on Business Productivity.
Games Development 2 Entity / Architecture Review CO3301 Week
2 1 Chapter 2 Data Model Database Systems: Design, Implementation, and Management, Sixth Edition, Rob and Coronel.
Sage CRM Developers Course
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
® IBM Software Group © 2006 IBM Corporation Writing Good Use Cases Module 4: Detailing a Use Case.
Aurora: A Conceptual Model for Web-content Adaptation to Support the Universal Accessibility of Web-based Services Anita W. Huang, Neel Sundaresan Presented.
MEDIN Data Guidelines. Data Guidelines Documents with tables and Excel versions of tables which are organised on a thematic basis which consider the actual.
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
Dear User, This presentation has been designed for you by the Hearts and Minds Support Team. It provides a template for presenting the results of the SAFE.
Liang, Introduction to Java Programming, Sixth Edition, (c) 2007 Pearson Education, Inc. All rights reserved Chapter 12 Object-Oriented.
SOFTWARE ENGINEERING BIT-8 APRIL, 16,2008 Introduction to UML.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
1 Abstraction  Identify important aspects and ignore the details  Permeates software development programming languages are abstractions built on hardware.
Chapter 2: Software Process Omar Meqdadi SE 2730 Lecture 2 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
Introduction to MDA (Model Driven Architecture) CYT.
Copyright 2001 Prentice-Hall, Inc. Essentials of Systems Analysis and Design Joseph S. Valacich Joey F. George Jeffrey A. Hoffer Appendix A Object-Oriented.
Copyright 2002 Prentice-Hall, Inc. Modern Systems Analysis and Design Third Edition Jeffrey A. Hoffer Joey F. George Joseph S. Valacich Chapter 20 Object-Oriented.
SWE © Solomon Seifu ELABORATION. SWE © Solomon Seifu Lesson 10 Use Case Design.
Copyright 2002 Prentice-Hall, Inc. Chapter 2 Object-Oriented Analysis and Design Modern Systems Analysis and Design Third Edition Jeffrey A. Hoffer Joey.
CSC 395 – Software Engineering Lecture 13: Object-Oriented Analysis –or– Let the Pain Begin (At Least I’m Honest!)
Software Architecture and Design Dr. Aldo Dagnino ABB, Inc. US Corporate Research Center October 23 rd, 2003.
Selected Topics in Software Engineering - Distributed Software Development.
Conceptual Modelling – Behaviour
New ITS Investigation NHS CfH Research Report Grahame Grieve, Laura Sato, Charlie McCay.
Chapter 10 Analysis and Design Discipline. 2 Purpose The purpose is to translate the requirements into a specification that describes how to implement.
ModelPedia Model Driven Engineering Graphical User Interfaces for Web 2.0 Sites Centro de Informática – CIn/UFPe ORCAS Group Eclipse GMF Fábio M. Pereira.
Deriving Operational Software Specification from System Goals Xin Bai EEL 5881 Course Fall, 2003.
ECSE Software Engineering 1I HO 4 © HY 2012 Lecture 4 Formal Methods A Library System Specification (Continued) From Specification to Design.
Chapter 2 – Software Processes Lecture 1 Chapter 2 Software Processes1.
ESIP Semantic Web Products and Services ‘triples’ “tutorial” aka sausage making ESIP SW Cluster, Jan ed.
Ordered Linked Lists using Abstract Data Types (ADT) in Java Presented by: Andrew Aken.
Cooperative Computing & Communication Laboratory A Survey on Transformation Tools for Model-Based User Interface Development Robbie Schäfer – Paderborn.
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.
1 Class exercise II: Use Case Implementation Deborah McGuinness and Peter Fox CSCI Week 8, October 20, 2008.
M1G Introduction to Programming 2 3. Creating Classes: Room and Item.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
Jemerson Pedernal IT 2.1 FUNDAMENTALS OF DATABASE APPLICATIONS by PEDERNAL, JEMERSON G. [BS-Computer Science] Palawan State University Computer Network.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
CSSE501 Object-Oriented Development. Chapter 10: Subclasses and Subtypes  In this chapter we will explore the relationships between the two concepts.
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
CSC3315 (Spring 2009)1 CSC 3315 Languages & Compilers Hamid Harroud School of Science and Engineering, Akhawayn University
DBS201: Data Modeling. Agenda Data Modeling Types of Models Entity Relationship Model.
1 Chapter 2 SW Process Models. 2 Objectives  Understand various process models  Understand the pros and cons of each model  Evaluate the applicability.
WELCOME TO OUR PRESENTATION UNIFIED MODELING LANGUAGE (UML)
Abstract Factory Pattern
Chapter 4: Business Process and Functional Modeling, continued
EOSC MODEL Pasquale Pagano CNR - ISTI
WP1: D 1.3 Standards Framework Status June 25, 2015
Abstract Factory Pattern
Metadata Framework as the basis for Metadata-driven Architecture
Games Development 2 Entity / Architecture Review
Presentation transcript:

Knowledge Technologies March 2001 DataChannel, Inc Preserving Process Hyperlink-Based Workflow Representation W. Eliot Kimber, DataChannel, Inc

Knowledge Technologies March 2001 DataChannel, Inc Agenda The Problem Workflow Analysis Model Workflow Document DTDs Workflow Processing Model Conclusions

Knowledge Technologies March 2001 DataChannel, Inc The Problem Dissatisfaction with existing workflow solutions WfMC abstract model just not right Feels like people are just not thinking about the problem in the right way: –Too simple –Too complicated –Too implementation specific

Knowledge Technologies March 2001 DataChannel, Inc “Workflow Is An Application of Hyperlinks” I Have been saying for years that workflow is just behavior applied to hyperlinks Never put this to the test Could be totally of full of it Finally have the motivation and tools to put it to the test

Knowledge Technologies March 2001 DataChannel, Inc The Question Does using hyperlinks to model and implement workflow actually add value? If so, what are the implementation implications?

Knowledge Technologies March 2001 DataChannel, Inc The Approach Define abstract data model for workflows Map abstract model to hyperdocument- based implementation model Implement behaviors for links to make workflows active

Knowledge Technologies March 2001 DataChannel, Inc Workflow Analysis Model Workflow can be modeled as transition graph between states Two forms of workflow: –Workflow templates: define abstract process –Concrete workflows: bind process to objects and users Concrete workflows generated from workflow templates

Knowledge Technologies March 2001 DataChannel, Inc Abstract Workflow

Knowledge Technologies March 2001 DataChannel, Inc Key Concepts Workflow aggregates states States related to possible next states States have precondidtions and postconditions Conditions relate to properties of information objects, workflows, and information management systems

Knowledge Technologies March 2001 DataChannel, Inc States and Conditions Preconditions define rules for entry into a state Postconditions must hold when in state

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflows Extends abstract workflows by: –Binding states to information objects –Adding concept of “agent” –State transitions become first-class objects –Adding promotion action InformationObjects are the things managed through the workflow Agents set property values and promote objects from state to state.

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflow Class

Knowledge Technologies March 2001 DataChannel, Inc State Transition Class

Knowledge Technologies March 2001 DataChannel, Inc Promotion Action

Knowledge Technologies March 2001 DataChannel, Inc Summary of Abstract Models Model feels pretty good Could be implemented fairly directly as normal engineering exercise Would still need way to persist and interchange workflow templates Would not leverage existing information management functionality

Knowledge Technologies March 2001 DataChannel, Inc Link-Based Implementation Have standards for writing down hyperlinks in XML: –HyTime –Xlink Have existing link management systems Should be able to use generic link management functions to make “workflow documents” active Should be easier than one-off implementation of abstract model (maybe)

Knowledge Technologies March 2001 DataChannel, Inc Basic Approach Use XML documents to define workflows: –States are normal elements –State transitions are hyperlinks For workflow templates must: –Declare information object classes –Declare relevant properties of information objects, workflow instances, and information management systems.

Knowledge Technologies March 2001 DataChannel, Inc Approach (Cont.) Concrete workflows are separate documents Objects are progressed through workflow by traversing state transition links Change in workflow state results in new version of workflow document Documents could be literal or “virtual” (DOM or grove only)

Knowledge Technologies March 2001 DataChannel, Inc Workflow Template DTD

Knowledge Technologies March 2001 DataChannel, Inc Property Declarations

Knowledge Technologies March 2001 DataChannel, Inc State Template

Knowledge Technologies March 2001 DataChannel, Inc State Transition

Knowledge Technologies March 2001 DataChannel, Inc Workflow Template Refinements

Knowledge Technologies March 2001 DataChannel, Inc Workflow Template DTD Summary Workflow template documents define abstract processes Not bound to any implementation Can be interchanged Can include arbitrary information Can serve as primary process documentation (e.g., ISO 9000 documentation) Relatively simple to create Purely declarative

Knowledge Technologies March 2001 DataChannel, Inc Review: Abstract Hyperlink Model

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflow DTD

Knowledge Technologies March 2001 DataChannel, Inc Transition Links

Knowledge Technologies March 2001 DataChannel, Inc State Element Type

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflow DTD Refinements

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflow DTD Summary Here, links are from objects to potential states All preconditions and post conditions provided by workflow template ManagedObject elements serve as proxies for real managed objects A concrete workflow document reflects the state of the workflow at a given point in time Still completely declarative May be underspecified wrt agents and tasks

Knowledge Technologies March 2001 DataChannel, Inc Concrete Workflow Document Processing Model Traversal from managed object to potential state causes promotion of object to new state If traversal succeeds, a new version of the workflow document is created reflecting the movement Preconditions checked on traversal start Postconditions checked on traversal completion

Knowledge Technologies March 2001 DataChannel, Inc Example: Part 1 Time T [0] MyCWF.xml, v0: entity1 ent1 state1 state2

Knowledge Technologies March 2001 DataChannel, Inc Example: Part 2 Time T [1] MyCWF.xml, v1: entity1 state1 state2

Knowledge Technologies March 2001 DataChannel, Inc Making It Active: Activity Policies If traversal is promotion, have to hook the traversal action HyTime concept of “activity policies” provide standardized way to model these hooks Activity policies bind actions to nodes and agents The “policy” can be any script or program component Provides a single point of integration Requires appropriate link management infrastructure

Knowledge Technologies March 2001 DataChannel, Inc Traversal Actions Two relevant traversal actions: –Traverse from node –Traverse to node Traverse-from policies check preconditions for target anchor Traverse-to policies check post conditions for target anchor Traverse-to policies can also perform actions that cause post conditions to be true

Knowledge Technologies March 2001 DataChannel, Inc Traversal With Policies Managed Object State Transition Link ManagedObjects PotentialState ?? Traverse-From PolicyTraverse-To Policy

Knowledge Technologies March 2001 DataChannel, Inc Agents Set Properties Agents set the properties checked by preconditions and post conditions Agents may be humans or software components Tasks are represented by actions agents must perform to set states to satisfy preconditions or post conditions

Knowledge Technologies March 2001 DataChannel, Inc Tasks are Implementation Details Tasks and their supporting software are always system specific Will change as information management system changes and as technology evolves Processes may not change over long periods of time (decades) Activity policy approach clearly separates the abstract workflow from implementation details User interfaces may present a task-primary view of workflow

Knowledge Technologies March 2001 DataChannel, Inc Some Interesting Characteristics of Workflow Documents If documents are versioned, maintains complete historical record of the process activity Workflow documents are system independent Reduces implementation task to a scripting exercise (given appropriate infrastructure)

Knowledge Technologies March 2001 DataChannel, Inc Conclusions Overall model is sound Seems to be pretty easy to implement Use of documents to model workflows feels appropriate Need more implementation experience to really prove value Need to think more about modeling relationships to users, groups, and tasks Good potential synergy with versioned document management systems It helps to have a sophisticated link management system handy.