shaukat ali 1, tao yue 1, muhammad zohaib iqbal 2, 3, rajwinder kaur panesar-walawege 1 insights on...
TRANSCRIPT
![Page 1: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/1.jpg)
Shaukat Ali1, Tao Yue1, Muhammad Zohaib Iqbal2, 3, Rajwinder Kaur Panesar-Walawege1
Insights on the Use of OCL in Diverse Industrial Applications
1 Simula Research Laboratory, Norway2 National University of Computer & Emerging Sciences, Islamabad, Pakistan3 SnT Luxembourg, Luxembourg
![Page 2: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/2.jpg)
• Motivation and Contributions
• The Object Constraint Language (OCL)
• Terminology related to OCL
• Industrial Applications
• Discussion
Outline of the Presentation
![Page 3: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/3.jpg)
The Object Constraint Language
![Page 4: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/4.jpg)
• Standard language for writing constraints on UML models
• First order logic and is a highly expressive language
• Class and state invariants, guards in state machines, constraints in sequence diagrams, and pre and post conditions of operations
• Constraints on UML profiles and metamodels
The Object Constraint Language
![Page 5: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/5.jpg)
Motivation and Contributions
![Page 6: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/6.jpg)
• Clear and precise definitions of commonly used terminology related to the use of OCL
• A clear relationship among the different purposes (e.g., OCL solving and evaluation) that OCL can be used for
• Key results from our industrial applications of OCL
• Guide practitioners in choosing when to apply OCL for a particular purpose and at which meta level
Motivation and Contributions
![Page 7: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/7.jpg)
Terminology related to OCL
![Page 8: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/8.jpg)
Overview of the OCL Terminology
![Page 9: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/9.jpg)
MOF Levels
![Page 10: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/10.jpg)
MOF Levels
![Page 11: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/11.jpg)
MOF Levels
![Page 12: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/12.jpg)
MOF Levels
![Page 13: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/13.jpg)
Specification Levels
![Page 14: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/14.jpg)
Specification Levels
![Page 15: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/15.jpg)
Specification Levels
![Page 16: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/16.jpg)
Enforcement Levels
![Page 17: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/17.jpg)
Enforcement Levels
![Page 18: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/18.jpg)
Enforcement Levels
![Page 19: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/19.jpg)
Purposes of OCL
![Page 20: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/20.jpg)
Purposes of OCL
![Page 21: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/21.jpg)
Purposes of OCL
true false undefined
![Page 22: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/22.jpg)
Purposes of OCL
![Page 23: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/23.jpg)
Purposes of OCL
![Page 24: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/24.jpg)
Relationship between Purposes
![Page 25: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/25.jpg)
Relationship between Purposes
![Page 26: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/26.jpg)
Relationship between Purposes
![Page 27: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/27.jpg)
Industrial Applications
![Page 28: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/28.jpg)
Model-based Testing of Video Conferencing Systems: Cisco
Product Lines of Video Conferencing Systems at Cisco
![Page 29: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/29.jpg)
Model-based Testing of Video Conferencing Systems: Cisco
![Page 30: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/30.jpg)
Model-based Testing of Video Conferencing Systems: Cisco
CD: Class DiagramSM: State MachinesCSolv: Constraint SolvingCE: Constraint EvaluationOQ: OCL QueryingRTES: Real-Time and Embedded System
![Page 31: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/31.jpg)
Environment Model-Based Testing: WesternGeco and Tomra
Marine Seismic Acquisition System
Bottle Recycling Machine
• Soft RTES, Behavior driven by environment
• Independent testing Focusing on illegal/unsafe environment
conditions• Simulation
Testing on development platform
![Page 32: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/32.jpg)
Environment Model-Based Testing: WesternGeco and Tomra
MSM: Marine Seismic Acquisition, BRE: Bottle Recycling
![Page 33: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/33.jpg)
Environment Model-Based Testing: WesternGeco and Tomra
CD: Class Diagram, SM: State Machine, CSolv: Constraint Solving, CE: Constraint Evaluation, RTES: Real-Time and Embedded Systems
![Page 34: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/34.jpg)
Safety Certification of subsea production control system: Kongsberg Maritime
![Page 35: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/35.jpg)
Safety Certification of subsea production control system: Kongsberg Maritime
CD: Class Diagram, CE: Constraint Evaluation, OGP: Oil and Gas Production, ICS: Integrated Control System, RTES: Real-Time and Embedded System
![Page 36: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/36.jpg)
Architecture Modeling of subsea control modules : FMC Technologies
Large-scale, highly-hierarchical and high-configurable ICSs for managing exploitation of oil and gas production fields
Key components subsea control modules: software, electronics, instrumentation, and hydraulics for safety and efficient operation of subsea tree valves, and chokes
Subsea Field
![Page 37: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/37.jpg)
Architecture Modeling of subsea control modules : FMC Technologies
![Page 38: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/38.jpg)
Architecture Modeling of subsea control modules : FMC Technologies
CD: Class Diagram, CE: Constraint Evaluation, OGP: Oil and Gas Production, ICS: Integrated Control System, RTES: Real-Time and Embedded System
![Page 39: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/39.jpg)
• Selecting a subset of OCL select, collect, and forAll
• Choosing a Meta Level 6/8 are related to MBT, secifying constraints at M1 and
enforcing at M0 2/8 with UML profiles, Constraints at the M2 level and
enforced at M1
• Choosing Diagram Class diagrams or equivalent as the basis Behavioral diagrams, UML Profiles, Metamodels
• Selecting a purpose of OCL Evaluation (6/8) followed by solving (4/8)
Overall Discussion
![Page 40: Shaukat Ali 1, Tao Yue 1, Muhammad Zohaib Iqbal 2, 3, Rajwinder Kaur Panesar-Walawege 1 Insights on the Use of OCL in Diverse Industrial Applications 1](https://reader035.vdocuments.net/reader035/viewer/2022062712/56649c7b5503460f9492f859/html5/thumbnails/40.jpg)
Questions