ISO_IEC_19763-7_2015.pdf

Information technology Metamodel framework for interoperability(MFI)Part 7:Metamodel for service model registrationTechnologies de linformation Cadre du mtamodle pour linteroprabilit(MFI)Partie 7:Mtamodle pour lenregistrement du modle de serviceINTERNATIONAL STANDARDISO/IEC19763-7Reference numberISO/IEC 19763-7:2015(E)First edition2015-10-15 ISO/IEC 2015 ii ISO/IEC 2015 All rights reservedCOPYRIGHT PROTECTED DOCUMENT ISO/IEC 2015,Published in SwitzerlandAll rights reserved.Unless otherwise specified,no part of this publication may be reproduced or utilized otherwise in any form or by any means,electronic or mechanical,including photocopying,or posting on the internet or an intranet,without prior written permission.Permission can be requested from either ISO at the address below or ISOs member body in the country of the requester.ISO copyright officeCh.de Blandonnet 8 CP 401CH-1214 Vernier,Geneva,SwitzerlandTel.+41 22 749 01 11Fax+41 22 749 09 47copyrightiso.orgwww.iso.orgISO/IEC 19763-7:2015(E)ISO/IEC 19763-7:2015(E)ISO/IEC 2015 All rights reserved iii Contents Page Foreword.vIntroduction.vi1 Scope.12 Normative references.13 Terms,definitions and abbreviated terms.23.1 Terms and definitions.23.2 Abbreviated terms.44 Conformance.54.1 General.54.2 Degree of conformance.54.2.1 General.54.2.2 Strictly conforming implementation.54.2.3 Conforming implementation.54.3 Implementation Conformance Statement(ICS).55 MFI Service model registration.65.1 Overview of MFI Service model registration.65.2 Associations between MFI Service model registration and other parts in MFI.75.3 Structure of MFI Service model registration.85.3.1 Atomic_Expression.85.3.2 Composite_Expression.95.3.3 Exit_Condition.95.3.4 Expression.105.3.5 Input_Message.115.3.6 Message_Type.115.3.7 Output_Message.125.3.8 Postcondition.135.3.9 Precondition.135.3.10 QoS_Assertion.145.3.11 QoS_Type.145.3.12 Service.155.3.13 Service_Description_Language.165.3.14 Service_Model.165.3.15 Service_Operation.175.3.16 Service_Type.185.3.17 User_Tag.18Annex A(informative)List of existing service description languages.19Annex B(informative)Examples.20Bibliography.35 ISO/IEC 19763-7:2015(E)iv ISO/IEC 2015 All rights reserved Figures Figure 1 Scope of MFI Service model registration.1Figure 2 Metamodel of MFI service model registration.6Figure 3 The associations between MFI Service model registration and MFI Process model registration and MFI Role and Goal model registration.7Figure 4 The associations between MFI Service model registration and MFI Core and mapping.8Figure B.1 The service model of Hotel_Reservation in WSDL 2.0 notation(fragment)(Part 1 of 2).21Figure B.1 The service model of Hotel_Reservation in WSDL 2.0 notation(fragment)(Part 2 of 2).22Figure B.2 Registration of the Hotel_Reservation example.23Figure B.3 The service model of Book_Ticket in WSML notation(fragment).24Figure B.4 Registration of the Book_Ticket example(Part 1 of 2).25Figure B.4 Registration of the Book_Ticket example(Part 2 of 2).26Figure B.5 The service model of Search_item in WADL notation(fragment).27Figure B.6 Registration of the Search_Item example.28Figure B.7 The service model of Congo_BookBuying_Agent in OWL-S notation(fragment)(Part 1 of 4).29Figure B.7 The service model of Congo_BookBuying_Agent in OWL-S notation(fragment)(Part 2 of 4).30Figure B.7 The service model of Congo_BookBuying_Agent in OWL-S notation(fragment)(Part 3 of 4).31Figure B.7 The service model of Congo_BookBuying_Agent in OWL-S notation(fragment)(Part 4 of 4).32Figure B.8 Registration of the Congo_BookBuying_Agent example(Part 1 of 2).33Figure B.8 Registration of the Congo_BookBuying_Agent example(Part 2 of 2).34 Tables Table A.1-List of existing service description languages.19 ISO/IEC 19763-7:2015(E)ISO/IEC 2015 All rights reserved v Foreword ISO(the International Organization for Standardization)and IEC(the International Electrotechnical Commission)form the specialized system for worldwide standardization.National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity.ISO and IEC technical committees collaborate in fields of mutual interest.Other international organizations,governmental and non-governmental,in liaison with ISO and IEC,also take part in the work.In the field of information technology,ISO and IEC have established a joint technical committee,ISO/IEC JTC 1.The procedures used to develop this document and those intended for its further maintenance are described in the ISO/IEC Directives,Part 1.In particular the different approval criteria needed for the different types of document should be noted.This document was drafted in accordance with the editorial rules of the ISO/IEC Directives,Part 2(see www.iso.org/directives).Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights.