Production Rule Representation - W3

Transcription

Submission to Production Rule RepresentationSubmission to Business Modeling and Integration Domain TaskforceProduction Rule RepresentationVer. 1.01Submitted byFair Isaac CorporationILOG SAMarch 19, 20071

Submission to Production Rule RepresentationCopyright 2007 Fair Isaac CorporationCopyright 2007 ILOG SAFair Isaac Corporation and ILOG SA hereby grant a royalty-free license to the ObjectManagement Group, Inc. (OMG) for a world-wide distribution of this document or any derivativeworks thereof, so long as the OMG reproduces the copyright notice and the following paragraphson all distributed copies.The material in this document is submitted to the OMG for evaluation. Specification of thisdocument does not represent a commitment to implement any portion of this specification in theproducts of the submitter.WHILE THE INFORMATION IN THIS PUBLICATION IS BELIEVED TO BE ACCURATE,THE COMPANIES LISTED ABOVE MAKE NO WARRANTY OF ANY KIND WITHREGARD TO THIS MATERIAL INCLUDING BUT NOT LIMITED TO THE IMPLIEDWARRANTIES OF THE MERCANTABILITY AND FITNESS FOR A PARTICULARPURPOSE. The companies listed above shall not be liable for errors contained herein or forincidental or consequential damages in connection with the furnishing, performance or use of thismaterial. The information contained in this document is subject to change without notice.This document contains information that is protected by copyright. All rights are reserved. Exceptas otherwise provided herein, no part of this work may be reproduced or used in any form or byany means-graphic, electronic, or mechanical, including photocopying, recording, taping orinformation and retrieval systems-without the permission of the copyright owners. All copies ofthis document must include the copyright and other information contained on this page.The copyright owners grant member companies of the OMG permission to make a limitednumber of copies of this document (up to fifty copies) for their internal use as part of the OMGevaluation process.RESTRICTED RIGHTS LEGEND. Use, duplication, or disclosure by government is subject torestrictions as set forth in subdivision (c) (1) (ii) of the Right in Technical Data and ComputerSoftware Clause at DFARS 252.227.7013.CORBA, CORBAfacilities, CORBAservices, OMG, OMG IDL, Object Request Broker, aretrademarks of the Object Management Group.Other names may be the trademarks or registered trademarks of their respective holders.2

Submission to Production Rule RepresentationContent1PREFACE 2.32.3.12.3.22.42.52.5.12.5.22.5.32.63SUBMITTERS .5CONTACT POINTS .5Submitters .5Supporters.5GUIDE TO THE SUBMISSION .5HOW TO READ THIS DOCUMENT .6STANDARDS BODIES INVOLVED .6COMMERCIAL AVAILABILITY .7EDITS SINCE LAST VERSION .7SCOPE .8OBJECTIVES .8OMG MDA CONTEXT .8Class of Platform .9MDA layers.9UML AND BUSINESS RULES.9RESOLUTION OF RFP REQUIREMENTS AND REQUESTS .10Execution Modes.10XMI Schema.10Ruleset Aggregation .10TABLE OF RFP COMPLIANCE ITEMS .11PRODUCTION RULE REPRESENTATION .123.4.133.53.63.6.13.6.23.6.33.6.4INTRODUCTION TO PRR-CORE AND PRR-OCL .17PRODUCTION RULES .18Production Rule definition.18Production Ruleset definition .18Rule Variable definition.18Semantics of Rule Variables .19Semantics of Production Rules .19OVERVIEW OF PRR-CORE .22PRR-CORE METAMODELS .22Overview of PRR-Core concept classes.22Overview of PRR-Core Production Ruleset.23Overview of PRR-Core Production Rule .24Overview of PRR-Core RuleVariable .25Classes used in PRR Core .25Computer Executable Rule .26Computer Executable Ruleset.26Variable .27ProductionRuleset .27ProductionRule.28RuleCondition.29RuleAction .29RuleVariable.30OVERVIEW OF PRR OCL .31PRR OCL METAMODEL .31Classes used in PRR OCL.34RuleVariable.35RuleCondition.37RuleAction .393

Submission to Production Rule ass ImperativeExp.40Class AssignExp .40Class InvokeExp .41Class UpdateStateExp .42Class AssertExp .42Class RetractExp .42Class UpdateExp .43PRR OCL: STANDARD LIBRARY .44The OclAny, OclVoid types.44OclType.45Primitive Types .45Real.45Integer.46String .46Boolean.47Collection-Related Types.47CONFORMANCE .51COMPARISON WITH OTHER OMG STANDARDS.524.1UML.524.1.1 UML Activities .524.1.2 UML Events .524.2ALIGNMENT WITH MDA - MODEL DRIVEN ARCHITECTURE .524.3ALIGNMENT WITH OCL - OBJECT CONSTRAINT LANGUAGE .524.4ALIGNMENT WITH ACTION SEMANTICS .534.5SEMANTICS OF BUSINESS VOCABULARY AND BUSINESS RULES (SBVR).534.6BUSINESS PROCESS DEFINITION METAMODEL (BPDM) .544.7ONTOLOGY DEFINITION METAMODEL (ODM) .544.8ENTERPRISE DISTRIBU

Jon Pellant of Pega Systems: jon.pellant@pega.com David Springgay of IBM: David_Springgay@ca.ibm.com Pedram Abrari of Corticon: Pedram@Corticon.com Paul Vincent of Tibco pvincent@tibco.com Representing associated tool vendors for UML and BPM: Jim Frank of IBM: joachim_frank@us.ibm.com Mark Linehan of IBM: mlinehan@us.ibm.com