Post on 24-Dec-2015
StanfordStanford SAP SAP Business bY DesignBusiness bY Design Configurator ProjectConfigurator Project
Policy Oriented Enterprise Management User Frustration Problem Demo Further Issues
This presentation available at http://logic.stanford.edu/poem/saptalks/ BYDproject250808.ppt
Use computational logic as executable expression of Use computational logic as executable expression of enterprise "laws"enterprise "laws"
* current examples of first steps w/ papers/talks
Cool TechnologiesLogical
Spread-sheets*
Logical Spread-sheets*
Semantic Email
Addressing*
Semantic Email
Addressing*
Process Instance
Synthesis*
Process Instance
Synthesis*
Direct Computational
Logic Mgt.I/F
Direct Computational
Logic Mgt.I/F
Computational LogicComputational Logic
SAP Applications: e.g. Data Web University, BYD configurationSAP Applications: e.g. Data Web University, BYD configuration
Policy-Oriented Enterprise Management (POEM)BYD is focused application of
WebSheets
Semantic ModelingSemantic Modeling
Logic-based data
integration*
Logic-based data
integration*
BYD Scoping Select Packages and
Topics on left side Available options for
selection appear on right
Options are lower-level than topics
Constraints determine selection of options
Some options may not be selectable
Configuration is Difficult Current BYD system controls complexity with
hierarchical tasks reflecting business logic But many choices have to be made Backtracking cannot be eliminated Complex constraints make it difficult for user
to decide what to do
Topics &
Packages
Optio
ns
User
User
Rules
Wants “No Time or Cost” but this is not
selectable
Wants “No Time or Cost” but this is not
selectable
Topics & PackagesOptions
Selects “Cost Collecting Project”
Selects “Cost Collecting Project”
De-selects “Cost Collecting Projects”
and Selects “Marketing Projects”
De-selects “Cost Collecting Projects”
and Selects “Marketing Projects”
“No Time or Cost” is still not selectable
“No Time or Cost” is still not selectable
Select “Research and Development
Projects”
Select “Research and Development
Projects”
Can finally select “No Time or Cost”Can finally select “No Time or Cost”
Firefox or Safari:http://logic.stanford.edu/POEM/ScopingDemo/
Use of Condition/Action (C/A) rules instead of logical rules
Refinement selections cannot change scoping selections
◦1. Use True Logical Rules:◦ Rules describe logical constraints◦ Clearer semantics than action/condition rules that
encode operational behaviour
• 2. Use Logical Websheets: (logical spreadsheets
running on local browsers)
◦ Consistency still flows down from topics to options◦ Paraconsistency allows inconsistencies to exist◦ Users can now select inconsistent optionsUsers can now select inconsistent options
Safari or Firefox:http://logic.stanford.edu/POEM/ScopingDemo/
Greyed background means the item may change status with respect to the cell currently under the mouse cursor -This allows users to “look-ahead”.This allows users to “look-ahead”.
Reddened text means the item is involved in a constraint violation - This allows users to “anchor” desired choices lower This allows users to “anchor” desired choices lower down in the hierarchy.down in the hierarchy.
Potential conflicts across several levels are shown in info box
This also allows users to “look-ahead”.This also allows users to “look-ahead”.Delayed resolution of inconsistency is possible for more Delayed resolution of inconsistency is possible for more
flexible problem solvingflexible problem solving
Better model of change propagation
Multi-level hierarchy
Explanations & Look-Ahead Administrator UI - better rule editor / simpler rule
syntax
Scaling
Research Issues
Explanations / Look-Ahead One issue: “Or”s are problematic
Option-A <-->Topic-5 & (Topic-T3 VTopic-T4))Option-A <-->Topic-5 & (Topic-T3 VTopic-T4))Suppose the user wants Option-A after
selecting Topic-5.What is the proper guidance?Explanation or Look-Ahead?
Advice: “Select Topic-T3 or Topic-T4”Advice: “Select Topic-T3 or Topic-T4”Or allow the user to create which conflict?
Topic-T3 <--> (Topic-T1 or Topic-2) & Topic-0Topic-T3 <--> (Topic-T1 or Topic-2) & Topic-0How deep to show?
Many Further User Interaction Questions Persistence of change
◦ Previously selected by constraint◦ Previously selected / approved by user
Change Notification◦ Was previously selected / approved by user◦ Was a default◦ Only selected because previously selected by
constraint Cooperation/authorization/conflicts among
departments
We have many ourselves.