Sergey Lukichev

Visual rules modeling

Rules are widely recognized to play an important role in the SemanticWeb. They are a critical technology component for the early adoption and applications of knowledge-based techniques in e-business, especially enterprize integration and B2B e-commerce. This includes, in particular, markup languages for integrity and derivation rules, such as the Semantic Web Rule Language (SWRL)[5] that has recently been proposed as an extension of the Web ontology language OWL[4]. Rules also play an important role in information systems engineering, especially in the specification of functional requirements where business rules are the foundation for capturing and modeling business application logic.

Using UML-based Rules for Web Services Modeling

In this paper, we present a UML- and rule-based approach to modeling Web services. The core of the solution is the UML-based rule model language (URML) that allows for developing business vocabularies and rules independent of an implementation technology. This helps developers to focus on solving problems under study rather than on low-level platform-specific details. Here we demonstrate how several Web service message exchange patterns can be modeled by URML. To support the use of the proposed solution we: extend a well-known UML tool Fujaba, employ the REWERSE rule markup language (R2ML) for encoding rules, and provide transformations between R2ML and WSDL, and thus round-trip engineering of Web services.

Semantic Web and Rule Reasoning inside of E-Learning Systems

This paper describes how the Semantic Web and the JenaRules can work together in order to empower e-Learning platform Moodle with rich reports and flexible courses management. We discuss aspects of using Semantic Web technologies in e-learning in general and the JenaRules in particular. The main focus is towards using rules for reasoning on top of existing Moodle content.

Bridging concrete and abstract syntax of web rule languages

This paper proposes a solution for bridging abstract and concrete syntax of a Web rule language by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) define its abstract syntax (e.g., EBNF notation) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering demonstrates that such a separation of two types of syntax is a good practice (due to the complexity of languages), one should also have tools that check validity of rules written in a concrete syntax with respect to the abstract syntax of the rule language. In this study, we use analyze the REWERSE I1 Rule Markup Language (R2ML) whose abstract syntax is defined by using metamodeling, while its textual concrete syntax is defined by using XML schema. We bridge this gap by a bi-directional transformation defined in a model transformation language (i.e., ATL).