iii 2 bsdl at iess
DESCRIPTION
Definition of a Description Language for Business Service DecompositionLam-Son Lê, Aditya Ghose, Evan MorrisonSchool of Computer Science and Software EngineeringUniversity of Wollongong (UoW)AustraliaTRANSCRIPT
![Page 1: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/1.jpg)
Slide1 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Definition of a Description Language for Business Service Decomposition
Lam-Son Lê, Aditya Ghose, Evan Morrison School of Computer Science and Software Engineering
University of Wollongong (UoW) Australia
![Page 2: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/2.jpg)
Slide2 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Outline
• Services - An introduction • Representation Spectrum of Services • BSDL - Contribution • Related Work & Future Work
![Page 3: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/3.jpg)
Slide3 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Context
• IT & business operated by services – BMS – ITIL
• Services at various perspectives: universal, IT-enabling, business
• Services & Strategy correlation
![Page 4: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/4.jpg)
Slide4 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Example
Bridge Construction
Cost: 2’000’000 Schedule: 28 months
Penalty: 6 % deduction on cost for every month late
Pre-construction clearance
Cost: 300’000 Schedule: 6 months
Penalty: 10 % deduction on cost for every week
late
Pillars construction
Cost: 350’000 Schedule: 5 months
Penalty: 8 % deduction on cost for every week late
Span construction
Cost: 600’000 Schedule: 4 months
Penalty: 12 % deduction on cost for every week
late
Lighting Facility
Cost: 150’000 Schedule: 3 months
Penalty: 9% deduction on cost for every week late
![Page 5: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/5.jpg)
Slide5 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
To describe business services
1. Provider and Requester (Customer) 2. Capabilities 3. Non-functional Properties 4. Decomposition 5. Distribution of (2) and (3)
![Page 6: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/6.jpg)
Slide6 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Representation Continuum
Net work of web services and their interaction Internet of generic services Goal-oriented
requirements
Business services and service decomposition Business processes
Business strategy
Execution of web services
<message name="GetLastTr"> </message> <portType ame="StockQuotePortType">
<wsag:ServiceDescriptionTerm wsag:Name=„EcoInf" wsag:ServiceName=„Eco Calc"> <usdl:ServiceDescription> <usdl:ServiceName>Eco Calculator</usdl:ServiceName>
SML BSDL USDL BPEL4WS GRL BPMN WSDL
![Page 7: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/7.jpg)
Slide7 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Existing Work on Business Services
• Description of Service Capabilities and Properties – (DSCP) http://service-description.com/ – Capabilities – Non-functional Properties – Language (meta-)presented in ORM
![Page 8: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/8.jpg)
Slide8 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
BSDL
• Is based on DSCP • More concepts added to address
– Service decomposition – Additional non-functional properties
• Meta-modelled in UML – good input for tool implementation in Eclipse
• Formalized in Alloy
![Page 9: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/9.jpg)
Slide9 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
BSDL: Meta-model
Rule Description
Acyclic There must be no cycle along the decomposition
hierarchy of business services.
Mutual For each business service, all properties and
capabilities declared in it must take it as their sole
service.
Uniqueness The set of parameters of two different signatures must
be different.
Same service
An obligation and corresponding penalties
must be of the same business service.
![Page 10: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/10.jpg)
Slide10 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
BS
DL
Met
a-m
odel
![Page 11: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/11.jpg)
Slide11 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Alloy as Formalization Language
• Alloy language – Is a declarative modeling language based on
1st order logic and set theory – Has OO syntax
• Benefits of using Alloy – Building blocks & well-formedness rules
formalized together – Alloy Analyzer tool enables:
• consistency checking • visualization an instance model
![Page 12: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/12.jpg)
Slide12 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Formalized in Alloy
Decomposition
1 decomposedService
sig Decomposition { decomposedService: one BusinessService, constituentServices: some BusinessService }
fact acyclic { all e: seamHierarchicalElement | e not in (e.^components + e.^parent) }
sig Subcontracting extends Decomposition { }
Subcontracting
Business Service constituentServices 1..*
![Page 13: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/13.jpg)
Slide13 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Well-formedness rules in Alloy
sig Decomposition { decomposedService: one BusinessService, constituentServices: some BusinessService }
fact acyclic { all bs: BusinessService | bs not in bs.^(~decomposedService.constituentServices) and
bs not in bs.^(~constituentServices.decomposedService) }
sig Subcontracting extends Decomposition { }
![Page 14: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/14.jpg)
Slide14 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Alloy code
![Page 15: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/15.jpg)
Slide15 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Using Alloy Analyzer
![Page 16: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/16.jpg)
Slide16 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Implementation
![Page 17: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/17.jpg)
Slide17 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Related Work
• SLA@SOI • WSDL • DSCP • USDL • SML
![Page 18: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/18.jpg)
Slide18 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Conclusion
• Services from a business perspective • DSCP defines business services, service
capability and non-functional properties • More concepts needed • BSDL addresses
– service decomposition – schedule, penalty…
• BSDL defined using UML and Alloy
![Page 19: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/19.jpg)
Slide19 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Future work
• Improvement of BSDL – Decomposition of Capabilities – Distribution of Non-Functional Properties
• Strategic alignment of business services • Evaluation
– Case-studies with CRC industrial partners – Toolkit
![Page 20: Iii 2 Bsdl At Iess](https://reader034.vdocument.in/reader034/viewer/2022051817/5479d2ea5806b5a3048b4755/html5/thumbnails/20.jpg)
Slide20 IESS1.0,Geneva,Feb2010BSDL,UoW–fundedby
Thank you!