SEMANTIC BUSINESS RULES IN SERVICE ORIENTED DEVELOPMENT OF INFORMATION SYSTEMS

Extended Model Driven Approach for Service Oriented Information Systems is reconsidered starting it from Semantic Business Rules with intention to transforming their specifications to object-oriented rules expressed as UML&OCL constraints. Recent analysis has shown that UML&OCL models are capable to express all types of executable business rules subsumed in their different classifications and typologies. Rules specified according to SBVR standard are completely based on first order logic with some extensions of modal logic. They may be transformed to UML&OCL with minor losses of semantics. We present a possible IS development process incorporating semantic business rules and discussion of essential aspects of these transformations illustrating them with the example of the service oriented information system model.