Abstract BPEL Candidate Use Case: Modeling for Business Understanding Wednesday, May 23, 2004 Disclaimer: These are the views of Phil Rossomando and not.

Slides:



Advertisements
Similar presentations
© Telelogic AB Modeling DoDAF Compliant Architectures Operational Systems Technical.
Advertisements

Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California
Comparison of Several Meta-modeling Tools Yi Lu Computer Science Department McGill University
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 4 Slide 1 Software processes 2.
2009 – E. Félix Security DSL Toward model-based security engineering: developing a security analysis DSML Véronique Normand, Edith Félix, Thales Research.
Team Skill 5: Refining the Use Cases Lecture 11. Advantages of Use Cases They are easy to write Written in users language Provide cohesive, related threads.
Introducing Formal Methods, Module 1, Version 1.1, Oct., Formal Specification and Analytical Verification L 5.
Week 3. Assembly Language Programming  Difficult when starting assembly programming  Have to work at low level  Use processor instructions >Requires.
Data Dependencies Describes the normal situation that the data that instructions use depend upon the data created by other instructions, or data is stored.
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 7 part 1 By Herb I. Gross and Richard A. Medeiros next.
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Unit 2. Software Lifecycle
Prof. Necula CS 164 Lecture 141 Run-time Environments Lecture 8.
Chapter 22 UML Tooks and UML as Blueprint Model-Driven Architecture (MDA) Object-Constraint Language (OCL)
© Curriculum Foundation1 Section 3 Assessing Skills Section 3 Assessing Skills There are three key questions here: How do we know whether or not a skill.
OASIS Reference Model for Service Oriented Architecture 1.0
Modeling Process-Oriented Integration of Services Using Patterns and Pattern Primitives Uwe Zdun and Schahram Dustdar Distributed Systems Group Institute.
Lecture #3 – Agenda Cell phones off & name signs out –I’ll judge signs on Wednesday next week Quick review & Questions Activity Problem solving.
Lecturer: Sebastian Coope Ashton Building, Room G.18 COMP 201 web-page: Lecture.
The Unified Software Development Process - Workflows Ivar Jacobson, Grady Booch, James Rumbaugh Addison Wesley, 1999.
CS 536 Spring Run-time organization Lecture 19.
7M701 1 Software Engineering Software Requirements Sommerville, Ian (2001) Software Engineering, 6 th edition: Chapter 5
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Software Requirements
Business Area Analysis Focus: Domain View (selected business area) Goals: –Isolate functions and procedures that allow the area to meet its goals –Define.
Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.
Bellevue University CIS 205: Introduction to Programming Using C++ Lecture 1: Getting Started by George Lamperti & BU Faculty.
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
© ABB - Page 1 Long lifetime guaranteed for IEC Designed for the future... SCL ACSI APP COM.
- Chaitanya Krishna Pappala Enterprise Architect- a tool for Business process modelling.
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
Requirements Expression and Modelling
A Generative and Model Driven Framework for Automated Software Product Generation Wei Zhao Advisor: Dr. Barrett Bryant Computer and Information Sciences.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 4 Slide 1 Software Processes.
Introduction to UML By: Prof. Aiman Hanna Department of Computer Science, Concordia University, Montreal, Canada.
Adaptive Processes © Adaptive Processes Simpler, Faster, Better Software Requirements.
Program Development Life Cycle (PDLC)
Proof Carrying Code Zhiwei Lin. Outline Proof-Carrying Code The Design and Implementation of a Certifying Compiler A Proof – Carrying Code Architecture.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
Software development process ธนวัฒน์ แซ่ เอียบ. The development process Process –set of rules which define how a development project. Methodology and.
Extending the Definition of Exponents © Math As A Second Language All Rights Reserved next #10 Taking the Fear out of Math 2 -8.
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
Business Integration Technologies © 2006 IBM Corporation Zurich Research Laboratory - BIT Validation.
An Introduction to Software Engineering. Communication Systems.
Object-Oriented Analysis and Design Fall 2009.
Lyra – A service-oriented and component-based method for the development of communicating systems (by Sari Leppänen, Nokia/NRC) Traditionally, the design,
CEN5011, Fall CEN5011 Software Engineering Dr. Yi Deng ECS359, (305)
Design Jon Walker. More UML ● What is UML again?
COP 4620 / 5625 Programming Language Translation / Compiler Writing Fall 2003 Lecture 1, 08/28/03 Prof. Roy Levow.
What Type of Defects are Really Discovered in Code Reviews. Mika V
COMPUTER ORGANIZATION AND ASSEMBLY LANGUAGE Lecture 19 & 20 Instruction Formats PDP-8,PDP-10,PDP-11 & VAX Course Instructor: Engr. Aisha Danish.
1.4 Representation of data in computer systems Instructions.
CONCLUSION The conclusion of this work is that it is possible to develop a problem-solving method providing evolutionary computational support to general.
Lecture 5 1 CSP tools for verification of Sec Prot Overview of the lecture The Casper interface Refinement checking and FDR Model checking Theorem proving.
Interfaces About Interfaces Interfaces and abstract classes provide more structured way to separate interface from implementation
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 17 part 2 By Herbert I. Gross and Richard A. Medeiros next.
Software Design Chapter 11. Purposes of Design Design transforms the specification into a design. The end purpose of the design is to produce detail and.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
COIT23003 Games Development 8. Elaboration: Behaviour.
+ Informatics 122 Software Design II Lecture 13 Emily Navarro Duplication of course material for any commercial purpose without the explicit written permission.
Module 9: Operator overloading #1 2000/01Scientific Computing in OOCourse code 3C59 Module 9: Operator Overloading In this module we will cover Overloading.
Object Oriented Analysis & Design By Rashid Mahmood.
Software Design. Introduction Designing engineering encompasses the set of principles concepts and practices that lead to the development of a high quality.
 The processes used for RE vary widely depending on the application domain, the people involved and the organisation developing the requirements.  However,
Chapter 1 OBJECT-ORIENTED ANALYSIS AND DESIGN
Software Processes.
Graph Paper Programming
Software Architecture & Design
Presentation transcript:

Abstract BPEL Candidate Use Case: Modeling for Business Understanding Wednesday, May 23, 2004 Disclaimer: These are the views of Phil Rossomando and not necessarily those of his employer.

Why Modeling is Important for BPEL Customers think in pictures and rarely in code. Code requires a level of investment in time and money that most customers and business modelers are not usually willing to commit. Their focus is and should be on understanding the business and not on the learning a new coding language. For additional understanding business knowledge is chunked into bite sized morsels called business rules. Business people are used to thinking in the form of such rules.

Why Abstract BPEL Is Important to Modeling Business rules written in natural language may themselves be open to interpretation. Abstract BPEL may be used to serialize visual models: While people think in terms of pictures, computers think in terms of code (i.e. bits and bytes). This is another level of abstraction but still a models. Visual models are usually always simplifications of processes. Hence they are usually incomplete. Thus the underlying serialization is usually not directly executable. However, its validity must be verifiable.. It must be an accurate representation of the visual model seen by the customer. Abstract BPEL may be used to share models between tools. For example, round-trip engineering. Visual model – compiled -> Abstract BPEL -> elaborated -> Executable BPEL (interesting here, elaborations may become OCL constraints on the visual model itself.)

Observations Abstract BPEL is a variant of Executable BPEL in the sense that it is a form of PCODE/Pseudo Code for visual model representation. It is more formal than natural language but rather not as elaborate as executable BPEL. From a modeling perspective, it may be possible that Abstract BPEL may itself never be seen by the customer but be generated under the covers so-to-speak. The visual model represents the customer visible portion of the Abstract BPEL.

Observations Continued Going a step further, it would appear that elements within executable BPEL that can be produced automatically through compilation need no representation within Abstract BPEL hence these can be left un-said by either the human coder or the automated tool. On the other hand, things which the Abstract BPEL production engine would like to leave to the elaborator may be called out using opaque. Opaque thus become nothing more than the place holders that are placed by automatic code generators today in those places wherein the coder is expected to add elaboration.

Conclusion Abstract BPEL can become the bridge which moves business concepts from the drawing board to the real world. As such, it may be a key link in a Model Driven Architecture supporting traceability for concept to implementation and back again.