Master Seminar SS2009 - Business Process Technology group

advertisement
Business Processes in the Real World
Business Process Technology Group
Winter Semester 2009/2010
Agenda
2
 Official Information
 Seminar Timeline
 Tasks Outline
 Topics
BPT Group
22 October 2009
Official Information
3
Title: Business Processes in the Real World
Credit Points: 6
SWS: 4
Registration Deadline: 4 November 2009
•
http://www.hpi.unipotsdam.de/studium/lehrangebot/veranstaltung/business_processe
s_in_the_real_world.html
•
http://bpt.hpi.uni-potsdam.de/Public/BPT-WS200910
BPT Group
22 October 2009
Seminar Timeline
4
Invited talk +
Paper
submission of
submission
Short presentation
paper draft for
+implementation
review
Submission of
Topics
reviews
Preliminary
submission
presentation
Final
How to do a
presentation
How to write a
good
Opening
research
presentation
presentation
paper
Today
4
5
November
November
November
BPT Group
26
12
10
21
December
November
28
4
February
January
January
11
February
22 October 2009
Grading System
Invited talk +
Paper
submission of
submission
Short presentation
paper draft for
+implementation
review
Submission of
reviews
Preliminary
presentation
Final
presentation
5
BPT Group
22 October 2009
Topic Distribution
6
topics
submission
three topics ranked by preference
+ name, student ID number
emilian.pascalau@hpi.uni-potsdam.de
sergey.smirnov@hpi.uni-potsdam.de
opening
presentation
Today
4
November
BPT Group
22 October 2009
Short Presentation
7
Short presentation
≈ 5 min talk
+ 5 min discussion
problem overview
12
November
BPT Group
22 October 2009
Preliminary Presentation
8
≈ 20 min talk
+ 10 min discussion
preliminary
presentation
technical aspects
10
December
BPT Group
22 October 2009
Invited talk – 21.01.2010
9
Dr. Jens Hündling
Senior Sales Consultant / Senior Systemberater
Roundtrip Business Process Management
Oracle provides leading products for business process management through a pre-integrated portfolio of
products that span modeling tools for business analysts, developer tools for system integration,
business activity monitoring for dashboards, and user interaction for process participants.
Oracle Business Process Analysis (BPA) Suite speeds process innovation by rapidly modeling business
processes and converting them into IT executables. Oracle BPA Suite, based on ARIS Technology,
delivers a comprehensive set of integrated products that allows business users to design, model,
simulate, and optimize business processes. Modeling methods include BPMN and EPCs.
The Business Process Models are than shared as blueprints with the IT to further implement the Business
Process in the real life, i.e. the production environment. Execution data is gathered throughout the
lifetime and could then be used for the next evolution of the Business Process Model. Throughout the
session we will develop the concept and demonstrate the methods and tools using the software from
the Oracle Fusion Middleware.
BPT Group
22 October 2009
Review process
Submission of
paper draft for
review
Submission of
reviews
21
28
January
January
Final Presentation
11
≈ 20 min talk
+10 min discussion
overview of the whole work
Final
presentation
4
February
BPT Group
22 October 2009
Final Paper Submission
12
Paper
submission
+implementation
max 16 pages
LNCS style
PDF
11
February
BPT Group
22 October 2009
Topics
13
BPT Group
22 October 2009
From Resource Allocation to
Monitoring
The Case of BPMN to jBPM
Ahmed Awad and Emilian Pascalau
Ahmed.Awad@hpi.uni-potsdam.de
Emilian.Pascalau@hpi.uni-potsdam.de
Task
15
■ Problem Description
□ Expressing allocation constraints for resources at design time is not
sufficient to guarantee correct execution
□ Allocation constraints must be monitored at the process execution
time to ensure control
■ Given
□ A process model expressed in, e.g., BPMN / BPEL4People
□ A set of resources distributed among roles
□ A set of resource allocation constraints, e.g., SoD
□ An execution platform, e.g., jBPM
■ Achieve
□ Analyze the support for activity lifecyle
□ Analyze the support for monitoring allocation constraints
□ An instant monitoring of allocation constraints
■ NTH: A prototypical implementation, but at least concrete guidelines on
how to proceed
BPT Group
22 October 2009
Example
16
At Design time
Create Request
Role: Clerk
Expression Language: OCL
Expression: Role.allInstances()>select(name=’Clerk’).member
Resources: X,Y,Z
At Runtime: instance ID 44599
1 Start Create Request(X)
2 Complete Create Request(X)
3 Start Approve Request(Y)
4 Delegate Approve Request(Y, X)
5 Complete Approve Request(X)
BPT Group
Approve
Request
Role: Manager
SoD:{Create Request}
Expression Language: OCL
Expression: Role.allInstances()>select(name=’Manager’).member->reject(x |
Task.allInatances->select(name=’CreateRequest’)->
performer->includes(x))
Violation to SoD and
must be blocked
22 October 2009
Literature:
1. http://jboss.org/jbossjbpm/
2. http://jboss.org/jbossjbpm/jbpm_documentation/ (jBPM 4 User
Guide, jBPM Developers Guide)
3. http://www.jboss.org/feeds/post/activity_monitoring_part_1_a_twi
tter_example
4. BPMN 1.1/2.0 Specification
5. From Regulatory Policies to Event Monitoring Rules: Towards
Model-Driven Compliance Automation, 2006. Christopher Giblin,
Samuel Müller, and Birgit Pfitzmann.
http://domino.watson.ibm.com/library/CyberDig.nsf/papers/85686
14878E51E9B85257205003600D7/$File/rz3662.pdf
Spreadsheet-based process modeling
– opportunities and limitations
Gero Decker
Gero.Decker@hpi.uni-potsdam.de
Spreadsheet-based process modeling
22
Process modeling
•Graphical languages require
extensive training
•Tool handling requires
training
 Graphical process modeling
involves barriers
 Low acceptance for
graphical modeling by „casual
modelers“
BPT Group
Idea:
Spreadsheets enjoy broad acceptance for structured
documentation
Task
•Survey existing approaches to table-based / text-based
process modeling
•Survey existing tools
•Compare their expressiveness with EPCs and BPMN
•Perform experiments with both modeling styles
• Modeling speed?
• Model quality?
22 October 2009
Towards Measuring Business
Processes
Adela del Río Ortega
adeladelrio@us.es
Introduction
24
BPT Group
22 October 2009
Clasification Criteria
25
BPT Group
22 October 2009
Task
26
■ Given the previous classification criteria and others found in the literature
or of your own, develop a catalogue of KPIs for Business Processes
expressed in BPMN.
Literature:
1. BPMN 1.1/2.0 Specification
2. RosellaAiello: Workflow Performance Evaluation. Ph.D. Dissertation, march 2004:
www.dia.unisa.it/professori/dottorato/TESI/tesi-aiello.pdf
3. Félix García, Manuel F. Bertoa, Coral Calero, Antonio Vallecillo, Francisco Ruíz, Mario Piatini, Marcela
Genero: Towards a consistentterminologyfor software measurement. Informationand Software
Technologyvol. 48(8), pp. 631-644, 2006
4. Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini: SMML: Software
MeasureModelingLanguage. 8th OOPSLA WorkshoponDomain-SpecificModeling.
5. BranimirWetzstein, ZhileiMa, Frank Leymann: TowardsMeasuringKey Performance
IndicatorsofSemantic Business Processes. Business Information Systems 2008
6. Adela del-Río-Ortega, Mauel Resinas: TowardsmodellingandtracingKey Performance Indicators. PNIS
Workshop 2009
7. C. Mayerl, K. Hner, J.U. Gaspar, C. Momm, S. Abeck:
Definitionofmetricdependenciesformonitoringtheimpactofqualityofservicesonqualityofprocesses.
Second IEEE/IFIP International Workshopon Business-driven IT Management (Munich), pp. 1–10,
2007
8. M. Castellanos, F. Casati, M.C. Shan, U. Dayal: ibom: a
platformforintelligentbusinessoperationmanagement. Proceedings. 21st International Conferenceon
Data Engineering, 2005., Hewlett-Packard Laboratories, pp. 1084– 1095. 2005
9. KPI library: http://kpilibrary.com/
BPT Group
22 October 2009
Empirical Research on a
BPMN process repository
Alexander Grosskopf
Alexander.Grosskopf@hpi.uni-potsdam.de
Empirical Research on a
BPMN process repository
28
Context: empirical research, process usage patterns, clusters of models
Task: The Oryx-Editor Repository contains more than 1500 BPMN models.
Nobody ever had access to such a large BPMN repository. Thus we expect
golden nuggets of insights hidden here.
Familiarize with existing empirical research on process model databases. Try
out different techniques to cluster models, e.g. on the element usage, the
workflow patterns frequency or ontologically familiar models. It will be on
you to identify interesting findings.
Literature:
1. Determining Relevance and Quality in Bottom-Up Business Process
Modeling Communities, Jan Brunnert, BPT SS 2009
2. How Much Language is Enough? Theoretical and Practical Use of the
Business Process Modeling Notation, zur Muehlen and Recker (2008)
3. Workflow Patterns in BPMN, Attachment B of xBPMN - Thesis, Alexander
Grosskopf
4. Oryx-Trunk/tools/statistics
(reads BPMN-JSON and generates simple statistics)
BPT Group
22 October 2009
Process Model Quality
Matthias Kunze and Alexander Großkopf
Matthias.Kunze@hpi.uni-potsdam.de
Alexander.Grosskopf@hpi.uni-potsdam.de
Process Model Quality
30
Which is easier
- to understand
- to maintain
- to apply
■ research on a set of process model metrics
■ generalized metrics and propose a conceptual framework to
capture and combine these metrics
■ apply a combination of these metrics to a set of process models
BPT Group
22 October 2009
Task
31
■ Research on a set of process model metrics; each metric should be evaluated with
regard to the aspired quality aspect, and its impact. The metrics found then need to
be generalized and a conceptual framework needs to be developed that allows to
capture all of these metrics and combine them into a larger measurement for process
model quality. Such a framework could be, for instance, a frameworks that combines
declarative descriptions of quality aspects and assigns metrics to these descriptions.
■ implement a subset, e.g., three, of the evaluated metrics in an instance of the
developed framework and apply it to a set of process models, from the Oryx process
model repository.
Literature:
1. Determining Relevance and Quality in Bottom-Up Business Process Modeling Communities (Jan
Brunnert) Paper von Jan Brunnert
2. Elvira Rolón, Laura Sánchez, Félix García, Francisco Ruiz, Mario Piattini, Danilo Caivano, Giuseppe
Visaggio, "Prediction Models for BPMN Usability and Maintainability," E-Commerce Technology, IEEE
International Conference on, pp. 383-390, 2009 IEEE Conference on Commerce and Enterprise
Computing, 2009.
3. Mendling, Jan and Reijers, Hajo and van der Aalst, Wil M. (2008) "Seven Process Modeling
Guidelines (7PMG)"
4. Mendling Jan, and Reijers, Hajo and Cardoso Jorge (2007) "What Makes Process Models
Understandable?", Business Process Management 2007
BPT Group
22 October 2009
Daily life Business Processes on the
Web
Emilian Pascalau
Emilian.Pascalau@hpi.uni-potsdam.de
Conferences on a Google Calendar
Problem:
Creating list of conferences and adding them on a calendar is a time consuming task.
Usually this process involves finding conferences that tackle a specific topic and adding
these conferences on a calendar. In addition it might involve also related literature.
Services:
–
http://www.cs.wisc.edu/dbworld/browse.html
–
http://www.sciencedirect.com/
–
http://www.google.com/calendar
Requirements:
All these services must interact in one page.
To allow users to automatically search the DBWorld conference listing service.
Interesting entries are those that contain the search term and are not in the past
(later than the current date)
To provide a list articles using the Elsevier Science Direct service related to the
inserted serach term
Upon request, the DBWorld entries returned by the search should be added as events
on a Google Calendar.
To allow the user to scroll through the related articles, he/she will be requested to
manually specify the entries to be added on the calendar. In this way the articles
of interest will be added to the description section of the events, in the calendar.
All the articles that are of interest (meaning that the user clicks on the associated
articles' links) should be added as part of the description in the calendar event.
Daily life Business Processes on the
Web
34
Task: Model the proposed use case using BPMN by taking into
account the use case’s context (web, browser). Provide a
discussion on the suitability of using BPMN to model such use
cases. Identify and argue if certain workflow patterns could be
used in modeling such an use case. Implement the proposed
mashup.
Literature:
1. Weske, M.: Business Process Management: Concepts, Languages,
Architectures. Springer-Verlag Berlin Heidelberg (2007)
2. http://www.workflowpatterns.com/
3. Emilian Pascalau and Adrian Giurca: A Rule-Based Approach of
Creating and Executing Mashups. Proceedings of the 9th IFIP
Conference on e-Business, e-Services and e-Society (I3E2009).
LNCS Springer (2009)
BPT Group
22 October 2009
Process monitoring capabilities for
jBPM and YAWL
Emilian Pascalau and Ahmed Awad
Emilian.Pascalau@hpi.uni-potsdam.de
Ahmed.Awad@hpi.uni-potsdam.de
Process monitoring capabilities for
jBPM and YAWL
36
Context: Process Monitoring is important for at least several reasons: it can help improve
processes; provides a real traces of the process execution; can help in discovering
bottlenecks etc.
Task:
■
conceptual framework of these tools in the form of a meta-model, UML class
diagrams. The meta-model should depict the conceptual artifacts used in the systems
(i.e. processes, activities, monitoring concepts such as events, activity states and
resource allocation etc.)
■
execution semantics
■
level of support for execution history (history of instances)
■
discussion on the two meta-models with respect to the concepts in the literature
Literature:
1. http://www.yawl-system.com/
2. http://jboss.org/jbossjbpm/
3. http://jboss.org/jbossjbpm/jbpm_documentation/ (jBPM 4 User Guide, jBPM
Developers Guide)
4. http://www.jboss.org/feeds/post/activity_monitoring_part_1_a_twitter_example
5. From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance
Automation, 2006. Christopher Giblin, Samuel Müller, and Birgit Pfitzmann.
http://domino.watson.ibm.com/library/CyberDig.nsf/papers/8568614878E51E9B85257
205003600D7/$File/rz3662.pdf
BPT Group
22 October 2009
A Study on the Level of
Unstructuredness of Real World
Process Models
Artem Polyvyanyy
Artem.Polyvyanyy@hpi.uni-potsdam.de
A Study on the Level of Unstructuredness of
Real World Process Models (I)
38
Rate item
“Class B”
pass
Discard
defective
item
…
BPT Group
fail
Evaluate
result
Repair
damage
fail
pass
Produce item
Quality check
22 October 2009
…
A Study on the Level of Unstructuredness of
Real World Process Models (II)
39
Context: Process correctness, process structure
Task: Real-world process models capture complex execution scenarios. Often,
formalization of complex scenarios results in sophisticated structural patterns in
process models. Given repositories of real-world process models (SAP reference
models, Oryx public process models), the task is to study the usage of unstructured
control flow patterns: How often unstructured patterns happen per-model of a certain
size (certain language)? Are there common unstructured patterns? How large do
unstructured patterns get? What are behavioral characteristics of unstructured
patterns? What heuristics exist (or propose new) for validating the correctness of
unstructured patterns?
Literature:
1. Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. The Triconnected
Abstraction of Process Models. Proceedings of the 7th International Conference on
Business Process Management (BPM). Ulm, Germany, September 2009
2. Jussi Vanhatalo, Hagen Völzer, Jana Koehler: The Refined Process Structure Tree.
BPM 2008: 100-115
3. Ralf Laue, Jan Mendling: The Impact of Structuredness on Error Probability of
Process Models. UNISCON 2008: 585-590
4. Jussi Vanhatalo, Hagen Völzer, Frank Leymann: Faster and More Focused ControlFlow Analysis for Business Process Models Through SESE Decomposition. ICSOC
2007: 43-55
BPT Group
22 October 2009
Obtaining Natural Language
Descriptions of Process Specifications
Artem Polyvyanyy
Artem.Polyvyanyy@hpi.uni-potsdam.de
Obtaining Natural Language Descriptions of
Process Specifications (I)
41
Rate item
“Class B”
pass
Discard
defective
item
…
fail
Evaluate
result
Repair
damage
fail
pass
Produce item
Quality check
…
“The process fragment starts with the activity “Produce item”. Afterwards, the
Quality check is performed. Upon failure of the quality check, repair damage
task is executed …”
BPT Group
22 October 2009
Obtaining Natural Language Descriptions of
Process Specifications (II)
42
Context: Process abstraction, labeling, natural language process description
Task: The structural process model decomposition (see [1]) fragments a
model on sequences, blocks, and unstructured process patterns. Reuse the
decomposition to define patterns for mapping formal process specifications
to natural language process descriptions. How a process or a process
fragment can be mapped onto its textual description based on activity
labels and control flow structure? Is the reverse procedure feasible?
Literature:
1. Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. The Triconnected
Abstraction of Process Models. Proceedings of the 7th International
Conference on Business Process Management (BPM). Ulm, Germany,
September 2009
2. Meziane, F., Athanasakis, N., Ananiadou, S.: Generating Natural Language
Specifications from UML Class Diagrams. Requir. Eng. 13(1): 1-18 (2008)
3. Fliedl, G., Christian, K., Heinrich, C.M.: From Textual Scenarios to a
Conceptual Schema. Data Knowl. Eng. 55(1): 20-37 (2005)
BPT Group
22 October 2009
MIT Process Handbook Meets Oryx
Sergey Smirnov
Sergey.Smirnov@hpi.uni-potsdam.de
MIT Process Handbook Meets Oryx
44
MIT Process Handbook
Oryx
… is a process ontology
… a process modeling editor
… contains ≈ 5 000 processes
… web-based editor
… describes various relations
… supports collaborative
modeling
- part of
- generalization
Oryx
MIT Process Handbook
advanced modeling support
advanced model analysis
BPT Group
22 October 2009
MIT Process Handbook Meets Oryx
45
Task:
introduce ontology support into Oryx by the example of the MIT
Process Handbook (create the stencil set, bring the ontology
content into Oryx).
Example of questions to answer:
■ Are there any limitations of Oryx stencil set mechanism?
References:
1. Th. W. Malone, K. Crowston, and G. A. Herman. Organizing
Business Knowledge: The MIT Process Handbook. The MIT Press,
Cambridge, MA, USA, 1st edition, September 2003
2. http://bpt.hpi.uni-potsdam.de/Oryx
BPT Group
22 October 2009
Linguistic Analysis of Labels in
Real World Process Models
Sergey Smirnov
Sergey.Smirnov@hpi.uni-potsdam.de
Linguistic Analysis of Labels in
Real World Process Models
47
Models exhibit different activity labeling styles:
verb + noun (receive order)
noun + noun (confirmation of acceptance)
noun (warehouse)
verb (retire)
Variability of styles hinders model comprehension and analysis.
Problematic labels have to be 1. identified and 2. fixed.
Step 1. implies classification of labels according to labeling styles.
Step 2. requires derivation of an action and an object from the label.
BPT Group
22 October 2009
Linguistic Analysis of Labels in
Real World Process Models
48
Task:
develop an algorithm, which classifies activity labels according to
their labeling style, and derives actions and objects from the labels
Deliverables:
algorithm description
algorithm implementation
installation and deployment instructions for the implementation
BPT Group
22 October 2009
Linguistic Analysis of Labels in
Real World Process Models
49
References:
1.
J. Mendling, H. A. Reijers, and J. C. Recker. Activity Labeling in Process Modeling: Empirical Insights
and Recommendations. Information Systems, 2009.
2.
P. Delfmann, S. Herwig, L. Lis, and A. Stein. Eine Methode zur formalen Spezifikation und Umsetzung
von Bezeichnungskonventionen für fachkonzeptionelle Informationsmodelle. In MobIS 2008, pages
23-38, Saarbrücken, Germany, 2008.
3.
A. G. Miller. Wordnet: A lexical database for English. Communications of the ACM, 38(11):39{41,
1995.
4.
The Stanford Natural Language Processing Group. The Stanford Parser: A Statistical Parser.
http://nlp.stanford.edu/software/lex-parser.shtml, accessed on 11.08.2009.
5.
D. Klein and Ch. D. Manning. Fast Exact Inference with a Factored Model for Natural Language
Parsing. In Advances in Neural Information Processing Systems 15, pp. 3-10, Cambridge, MA: MIT
Press, 2003.
6.
The Stanford Natural Language Processing Group. Stanford Log-linear Part-Of-Speech Tagger.
http://nlp.stanford.edu/software/tagger.shtml, accessed on 11.08.2009.
7.
K. Toutanova and Ch. D. Manning. Enriching the Knowledge Sources Used in a Maximum Entropy
Part-of-Speech Tagger. In Proceedings of the Joint SIGDAT Conference on Empirical Methods in
Natural Language Processing and Very Large Corpora, pp. 63-70, 2000.
8.
H. Schmid. TreeTagger - a Language Independent Part-of-speech Tagger. http://www.ims.unistuttgart.de/projekte/corplex/TreeTagger, accessed on 11.08.2009.
9.
C.J. Pollard, and I.A. Sag. Head Driven Phrase Structure Grammar. In University of Chicago Press,
Studies in Contemporary Linguistics, London, Chicago 1994.
10. Berkeley FrameNet project. FrameNet. http://framenet.icsi.berkeley.edu, accessed on 11.08.2009.
BPT Group
22 October 2009
Deriving Behavioural Relations from
Finite Prefixes of Petri net Unfoldings
Matthias Weidlich
Matthias.Weidlich@hpi.uni-potsdam.de
Deriving Behavioural Relations from Finite
Prefixes of Petri net Unfoldings
51
no
Get
Contact
Contact
Customer
Submit
Quote
yes
yes
Negotiate
Contract
Pos.
Response
Contact
from
Marketing
yes
yes
Negotiate
Contract
Contact
Customer
Approval
by Sales
no
Send
Quote
Close
Deal
High value?
no
Conclusion of
contract?
Approval
by CountryManager
Conclusion of
contract?
Approval
by CountryManager
High value?
no
Close
Deal
Approval
by Sales
Prepare
Quote
Neg. Response
Ask for
Response
Contact
from Fair
2 weeks
else
still interested
Request for
Quote
BPT Group
22 October 2009
Deriving Behavioural Relations from
Finite Prefixes of Petri net Unfoldings
52
■ Consistency measure based on behavioural relations:
exclusiveness, strict order, concurrency, causality
■ How can finite prefixes be used for
efficient computation of these relations?
Literature:
1. Javier Esparza and Keijo Heljanko:
Unfoldings – A Partial-Order Approach to
Model Checking. Springer (2008).
2. M. Weidlich, J. Mendling, and M. Weske:
Computation of Behavioural Profiles of Processes Models. BPT 07-2009.
BPT Group
22 October 2009
Model Synthesis
based on Behavioural Profiles
Matthias Weidlich
Matthias.Weidlich@hpi.uni-potsdam.de
Model Synthesis
based on Behavioural Profiles
...
54
V
Processing of
Substance Report
Generation
Variants
V
Phrase Set
Processing
Document
Temlate
Processing
XOR
Shipping
(printing) of
reports is to
be triggered
Report
Shipping
V
Phrase
Processing
Phrases are to be
assigned to the
characteristics
of the substance
properties
Create
standard
operating
procedure
Substance
report is to be
created
Substance
Report
Processing
Document
Temlate
Processing
Processing of
Substance Report
Generation
Variants
Substance
Report
Processing
V
Attributes
are to be
formulated in
text form
Shipping
(printing) of
reports is to
be triggered
Report
Shipping
Entering data
is complete
Processing is
completed
BPT Group
22 October 2009
Model Synthesis
based on Behavioural Profiles
55
■ Behaviour of each process variantis characterised by behavioural
relations: exclusiveness, strict order, concurrency, causality
■ Behaviour of core process is the union of these relations
■ How can we synthesise a process model out of these relations?
Literature:
1. W.M.P. van der Aalst and A.J.M.M. Weijters. Process Mining. Process-Aware
Information Systems. pages 235-255. Wiley & Sons, 2005.
2. Kalinichenko L.A., Stupnikov S.A., Zemtsov N.A.: Extensible Canonical Process
Model Synthesis Applying Formal Interpretation. LNCS 3631. Springer-Verlag,
2005.
3. M. Weidlich, J. Mendling, and M. Weske:
Computation of Behavioural Profiles of Processes Models. BPT 07-2009.
BPT Group
22 October 2009
Download