BPM based robust e-business application development

1
BPM based robust e-business application
development
2
Participating organisations

• University of Veszprem, Department of Computer
  Science
• University of Veszprem, Department of Tourism
• Budapest University of Technology and Economics,
  Department of Measurement and Information Systems
• Budapest University of Technology and Economics,
  Centre of Information Technology
• Balatontourist Tourism and Trade Company Ltd.

3
Objectives

• Development of novel technology
• Development of robust e-business applications
• Improvement of service quality
• Expansion of e-commerce solutions
• Efficient and reliable development method
• Pilot projects

4
E-business systems

• Huge investments
• Lot of participants
• Large number of business processes
• Complex business processes
• Computer skills and experience
• ?
• used in large companies

5
E-business in-the-small

• Smaller investment
• Lot of participants
• Plain but multiple business processes
• Unreliable business processes
• Lack of computer skill and experiences
• ?
• heterogeneous, unreliable environment

6
Technical challenge

• Performance scaling
• Fair routing
• Reliability
• Multi-directional interfaces
• Accuracy, security
• Maintenance, operation, monitoring

7
Management challenge

• Knowledge propagation, marketing measuring
• Rights (contracts, warranties)
• Education

8
Scientific challenge

• Reliability improvement
• Capacity, performance estimation
• Unreliable human factors
• Statistics, trend analysis, data mining
• Optimisation
• Tourism business process modelling

9
Application environment
private persons
private persons
(client)
(client)
agencies
agencies
ASP
ASP
agencies
agencies
private persons
private persons
(provider)
(provider)
10
Suggested development steps

• Analysis of heterogeneous communication
  infrastructure
• Business process modelling
• Ensure of robust e-business applications
• Optimisation (capacity, reliability)

11
Benefits

• Statistics, feedbacks, optimisation
• Higher-level electronic services
• Analysis of regional tourism
• Sense of safety
• Customised programs
• New, complex services

12
Innovations

• BPM based development
• Failure analysis
• Robust application development

13
Trends at e-business application development

• BPM based requirement and process specification
• Connection of BPR and BPM
• BPM and CASE
• New standards (OMG MDA, EDOC)
• Mathematical model generation
• Failure modelling
• Pilot application

14
BPM and CASE

• BPM Business Process Modelling
• Aims
• Aid for analysing business processes
• Clear illustrations (BPR)
• Simulation, optimisation
• Start-up model for visual programming
• UML 1.x BPM profile

15
OMG MDA
PSM Services realisation,

• Model Driven Architecture

containers and platform.
Projection on a specific
platform(J2EE,.MET, CORBA, Web).
UML
PIM /PSM Core Languages
MOF
CWM
PIM to PIM
Mappings
PIM to PSM
Mappings
Software
Development
Lifecycle
16
Transformation and modelling
ltltbased ongtgt
PIM Mapping

• Key
• transformation

techniques
Mapping from PIM to PIM
1..n
UML
PIM
1..n
ltltexpressed withgtgt
1..n
ltltindependent ofgtgt
Metamodel
ltltare described withgtgt
ltltexpressed withgtgt
MOF
Mapping from PIM to PSM
1..n
1..n
ltltexpressed withgtgt
Refactoring from PSM to PIM
ltltare described withgtgt
Other
languages
1..n
ltltbased ongtgt
ltltdepends ongtgt
Infrastructure
PSM
1..n
PSM Mapping
techniques
17
Partial task BPM dialect definition

• ARIS conceptual compatibility
• UML EDOC semantic compatibility
• Expressive -gt many views
• business process,
• infrastructure,
• organisational,
• data,
• function,
• control

18
Partial taskselection of mathematical paradigm

• Dataflow formalism
• Same paradigm like designing security critical
  systems
• Qualitative failure modelling expandable,
  enumeration type failure set
• good, incomplete, syntax error, semantic error
• few, adequate, many
• early, in time, late, out

19
Analysis and synthesis

• Analysis possibilities
• FMEA
• formal verifications
• failure simulation
• Synthesis
• verification patterns