INF 5120 Modellbasert Systemutvikling Modelbased System development Lecture
INF 5120 ”Modellbasert Systemutvikling” ”Modelbased System development” Lecture 1: 16. 01. 2012 Arne-Jørgen Berre arneb@ifi. uio. no and Arne. J. Berre@sintef. no Telecom and Informatics 1
Welcome to INF 5120 “Model based System development” n Model based System Development n http: //www. uio. no/studier/emner/matnat/ifi/INF 5120/v 11/ n Earlier: Modellering med objekter, Modeling with objects n Lecturers: n n n Arne-Jørgen Berre Franck Fleurey Brian Elvesæter Guest lecturers Email: inf 5120 -forelesere@ifi. uio. no n Responsible for Obligatory exercises: n Tore Vatnan, Weiqing Zhang, … n Email: inf 5120 -oppgaver@ifi. uio. no Telecom and Informatics 2
3 parts of the course n SSI (Service Innovation and Service Engineering) n MDE I-V (Model Driven Engineering) n MDI I-II (Model Driven Interoperability) n Each part will have separate handbook/material Telecom and Informatics 3
INF 5120 - Lecture plan - 2012 n n n Part I: SSI – Service Innovation and Agile Service/Software Engineering Part II: SSMDE – Model Driven Engineering Part III – Model Driven Interoperability and ADM n n n n n 1: 16/1: Introduction to Model Based System Development (INF 5120) 2: 23/1: SIE I: Service Innovation, Enterprise Architecture and Value Networks – Verna Allee (VNA) 3: 30/1: SIE II: : Business Architecture and Business Process Modeling with BPMN 2. 0 - Peter Lindgren (BMI) 4: 6/2: SIE III: AT ONE – Service Design, Agile User-oriented design – with Use cases/stories and UI models 5: 13/2: MDE I: Metamodels, Domain specific languages and UML profiles 6: 20/2: SIE IV: Service modeling with Soa. ML – Service modeling - Design, patterns 7: 27/2: SIE V: Information Modeling with UML and Design with DCI - Design, patterns 8: 5/3: MDE II: Metamodeling, MDLE and DSL Tools (EMF, GMF, ATL, Kermeta) 9: 12/3: MDE III: Model transformations - MOFScript, QVT 10: 19/3: MDE IV: Thing. ML and Cloud. ML with examples 11: 26/3: MDE V: Internet Service Architectures - with BPM/BPEL and SOA/Cloud 2/4, 9/4: EASTER 12: 16/4: MDE VI: User Interface Modeling – IFML etc. - ESITO 13: 23/4: MDI I: Semantic technologies, Ontologies and Semantic annotations , Rules/SBVR 14: 30/4: MDI II: Model Driven Service Interoperability 15: 7/5: MDI III: ADM and Migration to Cloud computing 16: 13/5: Conclusion and Summary for INF 5120 - Preparation of Exam n Exam: Monday June 4 th, 2011, 1430 -1830 (4 hours) Telecom and Informatics 4
Next Lecture – Enterprise Architecture and Value Networks. January 23 rd, 2012 n Enterprise Architecture n Business Architecture n IT Architecture n VNA – Value Network Analysis (Guest lecture by Verna Allee) n See online book: Value Netwoks and the true value of Collaboration – by Verna Allee (chapter 1 and 2) http: //www. valuenetworksandcollaboration. com Telecom and Informatics 5
Exam n Case-based (ref. earlier exams) n All written material can be used n 1330 -1830 (4 hours) – Monday June 4 th, 2012 Telecom and Informatics 6
Course literature – available on web n Material from all lectures and OBLIG 1 and 2 a/b n Some selected articles and documents, and subset of standard documents from OMG – see handbooks from last year(s). We are currently updating the handbooks for this year. n n n A. J. Berre & B. Elvesæter: Model Driven Engineering - MDE, Handbook. Part 1 - MDA. A. J. Berre & B. Elvesæter: Service Science and Service Oriented Architectures - SOA, Handbook. Part 2 - SOA. A. J. Berre & B. Elvesæter: Model Driven Interoperability - MDI, Handbook. Part 4 - MDI. n Practical use of tools (OBLIG): n EMF - http: //www. eclipse. org/modeling/emf/ n GMF - http: //www. eclipse. org/gmf/ n Kermeta: http: //www. kermeta. org/ n n Eugenia – http: //www. eclipse. org/gmt/epsilon/doc/eugenia/ See also: http: //live. eclipse. org/node/575 n Modelio - http: //www. modeliosoft. com/ n MOFScript -http: //www. eclipse. org/gmt/mofscript/ n n n BPMN – http: //www. eclipse. org/stp/bpmn ATL - http: //www. eclipse. org/gmt/atl/ og http: //www. modelbased. net/ Soa. ML - www. soaml. org Telecom and Informatics 7
Course literature – available on web n Material from all lectures and OBLIG 1 and 2 a/b n Some selected articles and documents, and subset of standard documents from OMG n BPMN – www. omg. org/bpmn (BPMN v 2 Beta 1) n Soa. ML – Latest standard document (Soa. ML Beta 2) – Articles by Jim Amsden, IBM, on Soa. ML (1 to 5), Article by Cory Casanave, Model Driven Solutions, n n Some selected articles on MDI K. Arnarsdóttir, A. -J. Berre, A. Hahn, M. Missikoff, F. Taglino: Semantic mapping: ontology-based vs. model-based approach Alternative or complementary approaches? , EMOI 06 Ppaper. pdf. Arne-Jørgen Berre, Fangning Liu, Jiucheng Xu, Brian Elvesæter: Model Driven Service Interoperability through use of Semantic Annotations, 2009. I-ESA paper. Fulltext. n Telecom and Informatics 8
UML 2. 0 n UML 2. 0 and Sys. ML Background and Reference material n See www. uml-forum. com/specs. htm n n Også hos OMG: http: //www. omg. org/uml/ (UML) http: //www. omg. org/mda/ (MDA) http: //www. omg. org/cwm/ (MOF, XMI, CWM) Telecom and Informatics 9
UML 2. 0 recommend books: UML 2. 0 in a Nutshell by Dan Pilone (Author), Neil Pitman (Author) The Unified Modeling Language User Guide Second edition (ISBN 0 -321 -26797 -4) (G, Booch, J. Rumbaugh, Jacobsson) Telecom and Informatics 10
Value Network Analysis http: //www. valuenetworksandcollaboration. com Telecom and Informatics 11
Agile Service Development (1/3) New book – in the publishing process until April 2012, Springer. We will use a publication preprint initially Telecom and Informatics 12
Agile Service Development (2/3) Telecom and Informatics 13
Agile Service Development (1/3) Telecom and Informatics 14
Open Services Innovation Book: January 2011 Telecom and Informatics
Software engineering practices and methods n modelbased. net n practices. modelbased. net n A practices framework, SEMAT, www. semat. org Telecom and Informatics 16
Supporting literature n Book: Model-Driven Software Development: Technology, Engineering, Management (Paperback) by Thomas Stahl, Markus Voelter, Krzysztof Czarnecki ISBN: 978 -0 -470 -02570 -3 n Engineering Service Oriented Systems: A Model Driven Approach, Karakostas, Bill; Zorgios, Yannis ISBN 10: 1599049686 ISBN 13: 9781599049687 Cover: Hardcover April 2008 Telecom and Informatics 17
Supporting literature – EMF and GMF n Book: Eclipse Modeling Framework (2 nd Edition) (Paperback) n Dave Steinberg (Author), Frank Budinsky (Author), Marcelo Paternostro (Author), Ed Merks (Author) n Book: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit (Paperback) n Richard C. Gronback Telecom and Informatics 18
Kermeta – www. kermeta. org Telecom and Informatics 19
Objectives n n n Model based System Development - through ”modeling with objects and services” 2 roles: 1) Tool developer (Software Factory) 2) Application developer, (user of Software Factory). n Object-oriented -> Componentbased -> Service oriented n Reuse n Learn techniques n n n MDA – Model driven architecture Meta Modeling and modelltransformation * SOA – Service oriented architecture Unified Modeling Language (UML 2. 0) – for architecture MDI – Model Driven Interoperability Telecom and Informatics 20
Change in course in 2012 n We will now start with the practical modeling part, Agile Service Engineering – before focusing on the MDE – Model Driven Engineering part – giving the introduction to modeling earlier in the course. n We will continue with the use of the Kermet Metamodel environment, on top of EMF, instead of only focusing on GMF. n In March we will focus on Model Driven Engineering, and in April we will introduce the additional topics of Semantic Web/services and Model Driven Interoperability (MDI) – and Architecture Driven Modernisation (ADM) – before a final conclusion of the course Telecom and Informatics 21
New in 2012 n Continued focus on “Service Science” – with Service Innovation (with BI/NHH), Service Design (OAH) and Service Engineering (UIO) n n VNA – Value Network Analysis, Verna Allee New standard: OMG MDA standard: VDML, FACESEM Service Design: AT ONE Business Model Innovation: Osterwalder/Lindgren Telecom and Informatics 22
New in 2011 n Initial focus on Eclipse with EMF and GMF and transformation tools n Use of Modelio commercial modeling tool – for UML 2 and BPMN 2. 0 (This is a new version of Objecteering) n New focus on “Service Science” – with Service Innovation (with BI/NHH), Service Design (OAH) and Service Engineering (UIO) n New standards: Focus on OMG MDA standards, and on Soa. ML with links to BPMN 2. 0, Sys. ML and UPDM. Telecom and Informatics 23
Which OMG modeling standards will you learn ? n n n n n VDML – Value Delivery Modeling Language – with VNA Soa. ML – SOA Modeling Language UML 2. 0 – what is new in version 2 MDA – Model Driven Architecture BPMN 2. 0 – Business Process Modeling Notation BMM _ Business Motivation Model Sys. ML – Systems Engineering Modeling Language SPEM – Software Process Engineering Metamodel QVT, MOF 2 Text – Query, View, Transformation n See www. omg. org Telecom and Informatics 24
Which tools/environments will you learn ? n n n n n VNA – Value Network Analysis BMI – Business Model Innovation/Generation AT ONE – Service Design Modelio UML Modeler (BPMN, UML 2, Sys. ML) Modelio SOA Solution (Soa. ML) Eclipse EMF and XMI, Principles of GMF Eu. GENia – for GMF MOFScript (Model 2 Text, Model 2 Model) EPF/SPEM Software Process Modeler Overview of ATL, Ker. Meta, Open. Architecture. Ware-OAW, Microsoft OSLO n Ref. also IBM RSA/RSM, Enterprise Architect, Magic Draw supporting Soa. ML and BPMN Telecom and Informatics 25
OBLIG 1: – “Service Analysis and Design for University of Oslo – Institute for Informatics” – with group presentations n n n n Value Network Analysis Business Model Innovation AT ONE – Service Design Business Process Modeling – BPMN Select Service Innovation area with potential IT support Design and Specify Service Modeling with Soa. ML Telecom and Informatics 26
OBLIGS: – “MDE tools in practice” n Oblig 2 a/b: Design a Kermeta and GMF based editor in Eclipse with EMF and use of MOFScript etc. for transformations to Java. (TBD). n OBLIG 2 a – Smart House– with BPMN/Soa. ML modeling. (TBD). n OBLIG 2 b part 1/2 - MDI support etc. INF 9120 – Extra Oblig: essay on Model based system development related to thesis topic – or similar Telecom and Informatics 27
OBLIG 2 a: – “MDE tools in practice” n Design a GMF based editor in Eclipse with EMF and use of MOFScript for transformations: n Practical use of n EMF n GMF n Eu. GENia n MOFScript n Compare with UML profiles n Individual work Telecom and Informatics 28
OBLIG 2 b – “Smart House Design” – increments with group presentations n n CIM models (BPMN) CIM models (Scope, Goal, Requirements) Requirements models Soa. ML models n Access to web based sensor services n MOFScript transformations to Java and potentially to different technologies/platforms n Discussion on Model Driven Interoperability Telecom and Informatics 29
Requirements for the course n Student at UIO n Only assumption is basic knowledge of UML and Java (but not necessarily UML 2. 0) Telecom and Informatics 30
Course literature – Update to become available on web n Material from all lectures and OBLIG n Some selected articles and documents, and subset of standard documents from OMG – to be updated n Handbook: ”Model Driven Engineering - MDE” , A. J. Berre & B. Elvesæter n Handbook: ”Service Innovation and Service Engineering ” , A. J. Berre & B. Elvesæter n Handbook: ” Model Driven Interoperability - MDI”, A. J. Berre & B. Elvesæter n Practical use of tools (OBLIG): n Modelio - http: //www. modeliosoft. com/ n MOFScript -http: //www. eclipse. org/gmt/mofscript/ n BPMN – http: //www. eclipse. org/stp/bpmn n EMF - http: //www. eclipse. org/modeling/emf/ n GMF - http: //www. eclipse. org/gmf/ n Papyrus UML 2 - http: //www. papyrusuml. org n ATL - http: //www. eclipse. org/gmt/atl/ og http: //www. modelbased. net/ n JEE 5. 0 - http: //java. sun. com/javaee/technologies/ Telecom and Informatics 31
Exam n Case-based (ref. earlier exams) n All written material can be used n 4 hours – (Note, extended from 3 from previous years, we will, however, still keep the same amonunt of work) n Monday June 4 th, 2012, 1430 -1830 Telecom and Informatics 32
OMG Model-Driven Architecture (MDA) www. omg. org/mda Telecom and Informatics 33
Automation in Software Development Requirements Manually implement High-level spec (functional and nonfunctional) Source in domain-specific language (DSL) Compile Source in a general-purpose language, e. g. , Java or C++ Compile Implementation (may generate code in Java or C++) Compile Implementation Implement with Interactive, automated support Compile Implementation Telecom and Informatics 34
Computational Independent Model BPMN, POP*, ARIS, Archi. Mate, GERAM, GRAI, Zachman, UEML, B. Rules CIM ATL Platform Independent Model MOFScript Platform Specific Model/Code MDA CIM, PIM and PSM/Code BPDM, SBVR, EDOC, UPMS, PIM 4 SOA, ODM PIM ADM UML profiles and metamodels for Java JEE, BPEL, WSDL, PSM XML, XPDL, OWL-S, WSML, WSDL-S ADM BPEL, WSDL, XML, XPDL, OWL-S, WSML, WSDL-S Code, Java JEE, …. Telecom and Informatics 35
Telecom and Informatics 36 Extending COMET for SOA (1)
CIM Flexible business models according to source input Transformer (engine) Executable business processes Service interfaces Service contracts Service enactment Business rules SLAs Parameterized services … output Semanticallyenabled heterogeneous SOA model Executable artefacts XSD, WSDL, BPEL Teams and plans Resource management Semantic Web Services … transformation engine PIM according to input Transformer (engine) output Semantically. Interconnected enabled Interconnected heterogeneous SOA platform models Business metamodels EPC POP* BPDM, BPMN BMM … Transformation rules target Unified and standardised metamodel for SOA & SHA Soa. ML source transformation engine PSM according to Transformation rules target Semanticallyenabled Heterogeneous heterogeneous SOA platforms SOAplatforms SOA metamodels Telecom and Informatics Heterogeneous service platforms WSA JXTA OGSA JACK, JADE WSMO, WSMX … Which metamodels and languages to use What service-oriented aspects to capture in models Goals Business rules Business processes Business services E-contracts …
BPMN BPDM BMM CIM Business Models EPC UPMSHA PIM Models UPMSHA (core) UPMS WSA PIM 4 SWS Service Variability PIM 4 Agents PIMs for different Architectural Styles P 2 P/Grid/ Components WS, WSMO, OWL-S, JACK, JADE, JXTA, OGSA, J 2 EE, CORBA J 2 EE, Net. Weaver, . Net Realisation Technologies Telecom and Informatics PSM Models
CIM-K Ontologies Bus. Process Bus. Rules Goals Information Process PIM-K Services PSM-K Wflow/Comp Interfaces Data XML, OWL, NFA/Qualities Org Rules NFA UI UI Technologies/Realisation-K BPEL/XPDL, WSDL, SWRL, Security, OWL-S/WSML WSDL-S, Induction, … Qo. S AJAX BPMN, POP*, ARIS, Archi. Mate, GERAM, GRAI, Zachman, UEML, B. Rules. . . BPDM, SBVR, EDOC, UPMS, PIM 4 SOA, ODM UML profiles and metamodels for BPEL, WSDL, XML, XPDL, OWL-S, WSML, WSDL-S Technology Reliastion Code Legacy and New systems/services, ERPs/ESAs Telecom and Informatics 39
CIM ODM, Concepts PIM Information PSM Persistence API XML, , OWL, WSML Jack, JADE SAP BPMN BMM Soa. ML Services EJB 3. 0, Process Java, Metro/WSDL OWL-S/WSML Jack, JADE SAP BPEL/XPDL SA/WSML ASM Jack, JADE SAP Technologies/Realisation INF 5120 OMG standard focus Telecom and Informatics
SHAPE Solution Overview Flexible Business Modelling BPMN EPC … BMM SHA-ML Core Business Models PIM System Models Service Variability Soa. ML PIM 4 SWS CIM PIM 4 Agents P 2 P/Grid/ Components/… WSDL, WSMO, OWLS, JACK, JADE, JXTA, OGSA, CORBA, … PIMs for different Architectural Styles PSM Implementation Models Execution Environments J 2 EE, Net. Weaver, . Net, … 2 nd EC Review, Brussels, January 28 th 2010 Telecom and Informatics 41
Models on Different Abstraction Levels Telecom and Informatics 42
Agile Service Development Framework Telecom and Informatics 43
CIM – PSM methods CIM 2 PIM PIM 2 PSM Information Service Process Rules Total: 40 Sources: ESIM, SCM, SM, ISE, ESOA, Cyc, DILIGENT, EOnto, Meth. Onto, Ne. On, OTK, TOVE, GERAM, ARIS, EUP, COMET-S Total: 25 Sources: ESIM, SCM, SMART, SOMA, ISE, ESOA, GERAM, ARIS, EUP COMET-S, OGSOA Total: 23 Sources: ESIM, SAE, SCM, SMART, SOAD, SOMA, ISE, ESOA, GERAM, ARIS, EUP, COMET-S, OGSOA Total: 14 Sources: ESIM, SOMA, ISE, ESOA, Cyc, GERAM, EUP Total: 4 Sources: GERAM, EUP Total: 15 Sources: ESIM, SAE, SMART, SOMA, ISE, ESOA, GERAM, ARIS, EUP Total: 17 Sources: ESIM, SMART, SOMA, ISE, ESOA, GERAM, ARIS, EUP, COMET-S Total: 11 Sources: ESIM, SCM, SOMA, ISE, ESOA, GERAM Total: 1 Sources: COMET-S Total: 10 Sources: ESIM, SCM, SMART, SOMA, ISE, ESOA, COMET-S, OASIS Total: 19 Sources: ESIM, SAE, SCM, SMART, SOAD, SOMA, ISE, ESOA, COMETS, OASIS, OGSOA Total: 21 Sources: ESIM, SAE, SCM, SMART, SOAD, SOMA, ISE, ESOA, OASIS, OGSOA Total: 7 Sources: SMART, ISE, ESOA Total: 1 Sources: OASIS Total: 6 Sources: SMART, ESOA Total: 1 Sources: SMART Total: 10 Sources: ESIM, SCM, SMART, SOMA, ISE, ESOA, OASIS Total: 1 Sources: COMET-S Total: 3 Sources: ESOA, COMET-S Total: 2 Sources: ESOA Total: 2 Sources: ESIM, ESOA Total: 1 Sources: ESIM, Total: 11 Sources: ESIM, SCM, SOAD, SOMA, ISE, ESOA COMET-S Total: 21 Sources: ESIM, SAE, SCM, SOAD, SOMA, ISE, ESOA, COMET-S Total: 7 Sources: SM, SOAD, SOMA, ISE, ESOA Total: 1 Sources: SOAD Total: 4 Sources: SAE, SM, SOAD Total: 1 Sources: SOAD Total: 5 Sources: SM, SOMA, ESOA Total: 19 Sources: ESIM, SAE, SCM, SOAD, SOMA, ISE, ESOA Events Organization Telecom and Informatics Goals NFA 44
CIM – PSM methods in this INF 5120 course CIM Information Service SM: Dictionary OSOA: Business semantic model Soa. ML collaboration diagram Process BPMN Rules SM: Business rules Organization OSOA: Business organisation model Goals SM: Goals NFA SM: Requirements manual CIM 2 PIM PIM 2 PS M PSM UML Class diagram Soa. ML OSOA UML Activitiy diagrams, sequence diagrams, BPMN Objecteering & MOFScript Java and Web services (XML) Java and Web services (WSDL) Java and Web services (BPEL) Telecom and Informatics 45
CIM-PSM Reference Matrix Telecom and Informatics 46
Part 4: MDI Model Driven Interoperabtiliy Organisational Interoperability CIM-K TR/QVT Semantic Interoperability PIM-K TR/QVT TR/M 2 T Technical Interoperability ADM BPEL, WSDL, XML, XPDL, OWL-S, WSML, WSDL-S ADM Code BPDM, SBVR, EDOC, UPMS, PIM 4 SOA, ODM PIM-K TR/QVT ADM PSM-K CIM-K TR/QVT ADM BPMN, POP*, ARIS, Archi. Mate, GERAM, GRAI, Zachman, UEML, B. Rules ADM UML profiles and metamodels for PSM-K TR/M 2 T BPEL, WSDL, XML, XPDL, OWL-S, WSML, WSDL-S ADM BPEL, WSDL, XML, XPDL, OWL-S, WSML, WSDL-S Telecom and Informatics Code 47
EPF Composer n EPF Composer is a tool platform for process engineers, project leads, project and program managers who are responsible for mainteining and implementing processes for development organizations or individual projects n Aims to: n provide for development practitioners a knowledge base of intelectual capital that allows them to browse, manage and deploy content. n provide process engineering capabilities by supporting processe engineers and project managers in selecting, tailoring, and rapidly assembling processes for their concrete development process. Telecom and Informatics
SEMAT – Software Engineering Methods and Theory www. semat. org Telecom and Informatics 49
What is Enterprise Modelling? Enterprise Modelling (EM) is a capability for externalising, making and sharing enterprise knowledge. EM tools can either be: • used stand-alone to produce various kinds of model views, • integrated as front-ends to other systems, • part of an environment providing a contextual user-environment. Telecom and Informatics 50
Why Enterprise Architecture? How can I use best How can I involve my people in improving the performance of the business ? ? practices to ensure the success of the business? How can I ensure that the IS technology helps the work of my people? Telecom and Informatics ? 51
Representations of Architecture ARIS ZACHMAN GERAM EKA POPS EN/ISO 19439 NIST Athena OEA Telecom and Informatics 52
Three Views in DOD Architecture Framework and C 4 ISR-AF Telecom and Informatics 53
To-be Operational Do. DAF Architectural Standards Current architecture To be As is Target architecture To-Be Architectural models supported Hub by the necessary tools. New Form Organisationof Service-Team Organization Telecom and Informatics 54
Zachman Framework – for Enterprise Architecture Telecom and Informatics 55
CSI Norway – Center for Service Innovation led by Norwegian Business School, Bergen, SINTEF, AOH, Telenor, . . (National Center for Research Driven Innovation (SFI) – 20 Meuro budget, 8 years 2011 – 2018) Telecom and Informatics
CSI planned Activities Telecom and Informatics
Business Motivation Model (BMM) with Means. Realizations Telecom and Informatics
What is BPMN (Business Process Modeling Notation) ? Telecom and Informatics
BPMN example Telecom and Informatics
System and objects A system is a part of the real world which we choose to regard as a whole, separated from the rest of the world during some period of consideration. A whole that we choose to consider as a collection of objects, each object being characterized by attributes and by actions which may involve itself and other objects. Mental modell Real-World phenomenon Manifest Model Telecom and Informatics 61
Next Lecture – Enterprise Architecture and Value Networks. January 23 rd, 2012 n Enterprise Architecture n Business Architecture n IT Architecture n VNA – Value Network Analysis (Guest lecture by Verna Allee) n See online book: Value Netwoks and the true value of Collaboration – by Verna Allee (chapter 1 and 2) http: //www. valuenetworksandcollaboration. com Telecom and Informatics 62
- Slides: 62