Визначення та вирішення задачі виявлення Веб-сервісів за допомогою апарату дескриптивних логік

На сьогодні Веб-сервіси дозволяють вирішувати конкретні бізнес-задачі, що реалізують бізнес процеси у різних галузях життєдіяльності людини. Але для того, щоб отримати виконуваний Веб-сервіс, треба вміти ефективно вирішувати цілу низьку задач самих Веб-сервісів на всіх етапах їх життєвого циклу. Апарат дескриптивних логік, завдяки своїм механізмам міркувань та можливостям логічного виводу та надання описам семантичного змісту, є ефективним та потужним інструментом для вирішення задач Веб-сервісів. Мета даної роботи полягає у визначенні ланцюжка задач Веб-сервісів на функціональному рівні та підходів до вирішення цих задач із застосуванням апарата дескриптивних логік.В настоящее время Веб-сервисы позволяют решать конкретные бизнес-задачи, реализующие бизнес процессы в разных сферах жизнедеятельности человека. Но для того, чтоб получить выполняемый Веб-сервис, необходимо уметь эффективно решать целое множество задач самих Веб-сервисов на всех этапах их жизненного цикла. Аппарат дескриптивных логик, благодаря своим механизмам суждений и возможностям логического вывода и придания описаниям семантического содержания, является эффективным и мощным инструментом для решения задач Веб-сервисов. Цель данной работы заключается в определении цепочки задач Веб-сервисов на функциональном уровне и подходов к их решению с использованием аппарата дескриптивных логик.Now Web-services allow to solve the business-problems that realize business-processes in different areas of human activities. But it is necessary to solve a lot of problems of Web-services on all stages of their life cycle to obtain executed Web-service. Description logics formalism is the effective and powerful tool to solve problems of Web–services due to its reasoners and abilities of logical inference and giving semantics to descriptions. Goal of this research is to define Web-services tasks chain on functional level and to find approaches for their resolving with description logics formalisms

Service Contract Automation

Today’s transition from a product- to a service-oriented economy implies fundamental technical, organizational and economic challenges. The trend of compensating missing core competencies by requesting business services from external providers to be integrated in internal end-to-end processes has recently gained tremendous momentum. Nevertheless, service level agreements between the parties involved are still specified for each service entity that is part of composite business services which results in a managerial overhead generated from multiple contractual relations. The contribution of this paper is threefold: (i) We analyze the fundamental requirements in the context of describing services, quality and agreements as well as their aggregation in a generic manner. Based on the results, we (ii) provide a holistic framework that enables the automation of service contracts for composite business services. Facilitating semantic technologies we provide means for describing service quality from a technical and business-oriented perspective, adequate metrics as well as quality aggregation operations in the context of composite business services. Furthermore, we (iii) evaluate our framework based on an industrial application scenario

Семантична анотація Веб-сервісів

Важливість опису Веб-сервісів на рівні процесів та створення механізмів для роботи з такими описами широко визнана. Визначення та розуміння клієнтом семантик кожного елементу такого процесу забезпечує можливість їх адекватного вибору та застосування. Використання та формалізація семантичних анотацій відкриває шлях до автоматизованого вирішення такої складної задачі Веб-сервісів, як їх композиція. В даній роботі визначається роль анотацій. Типи семантик, що надаються в анотаціях, розглядаються у взаємозв’язку з існуючими задачами Веб-сервісів на всіх етапах їх життєвого циклу. При цьому Веб-сервіс розглядається як з точки зору даних, так і поведінки. Наведені основні етапи анотування. Розглядається проблема мінімізації анотацій, як механізму підвищення ефективності вирішення проблем Веб-сервісів. Визначається місце та роль дескриптивних логік в семантизації Веб-сервісів

Choreography-based business process consolidation in one-to-many interactions

In different real world scenarios the big companies can acquire other companies, or the company can insource some of its own organizational units residing abroad to increase security and control on those units, also achieve minimization of transaction costs. In these scenarios business processes of partner companies need to be consolidated with each other. Interaction of the business processes of partner companies can be modeled by choreographies. The related works contain an approach for consolidation of the business processes which are represented in choreography with only one instance per process type. In other words, the related works only contain consolidation solution for one-to-one interaction scenarios. However, this thesis presents a concept for choreography based business process consolidation in one-to-many interaction scenarios, where one process interacts with multiple instances of another process. In particular, the number of involved instances is unknown at design time, and it only becomes known at run time of choreography. Flight ticket booking choreography is used as a motivation scenario, where it is assumed that number of involved airlines is not known in advance. On the whole, the process consolidation approach is extended for supporting consolidation of multi-instance partner processes into one merged process

Modeling and Selection of Software Service Variants

Providers and consumers have to deal with variants, meaning alternative instances of a service?s design, implementation, deployment, or operation, when developing or delivering software services. This work presents service feature modeling to deal with associated challenges, comprising a language to represent software service variants and a set of methods for modeling and subsequent variant selection. This work?s evaluation includes a POC implementation and two real-life use cases

Methods for Efficient and Accurate Discovery of Services

With an increasing number of services developed and offered in an enterprise setting or the Web, users can hardly verify their requirements manually in order to find appropriate services. In this thesis, we develop a method to discover semantically described services. We exploit comprehensive service and request descriptions such that a wide variety of use cases can be supported. In our discovery method, we compute the matchmaking decision by employing an efficient model checking technique

On Interdisciplinary Development of Safety-Critical Automotive Assistance and Automation Systems

Assistenz- und Automationssysteme im Automobil zeichnen sich verstärkt durch eine große Komplexität und einen hohen Vernetzungsgrad aus. Weiterhin existiert eine Vielzahl von Anforderungen anderer Fachdisziplinen an die Funktionsentwicklung, beispielsweise im Bereich der funktionalen Sicherheit. Somit ergibt sich für Entwickler nicht nur eine gestiegene Komplexität der Systeme, sondern auch der einzuhaltenden Entwicklungsprozesse. Die vorliegende Arbeit liefert eine neue Methode, die Entwickler bei der Bewältigung dieser Komplexität unterstützt. Dabei wird ihnen problemorientiert und zielgerichtet relevantes Wissen anderer Fachdisziplinen aufbereitet und zur Verfügung gestellt. Somit können Entwurfsalternativen früher als bisher im Kontext der Gesamtentwicklung bewertet werden, was sich positiv auf Produktqualität und Entwicklungszeit auswirkt. Die Basis dieser Methode ist die offen und flexibel gestaltete Formalisierung des Entwicklungsprozesses unter Verwendung der Web Ontology Language (OWL). Darauf aufbauend werden interdisziplinäre Entwicklungsaktivitäten verknüpft und die Analysierbarkeit des formalisierten Wissens wird für automatische Schlussfolgerungen genutzt. So werden insbesondere Einflussanalysen möglich, um über die eigene Domäne hinaus Änderungen bezüglich des Gesamtentwicklungsprozesses zu bewerten. Im Rahmen dieser Arbeit wurde eine prototypische Werkzeugkette implementiert, die die beschriebene Methode umsetzt und deren technische Realisierbarkeit demonstriert. Als Anwendungsbeispiel dient die angedeutete Weiterentwicklung eines radarbasierten Abstandsregeltempomaten zu einem Notbremssystem. Dabei wird insbesondere der Einfluss der funktionalen Sicherheit auf die Funktionsentwicklung beleuchtet, indem aus einem formalisierten Wissensmodell des Standards ISO 26262 notwendige Anforderungen und Methoden für den Gesamtentwicklungsprozess abgeleitet werden.Automotive assistance and automation systems increasingly present high levels of complexity and connectivity. In addition, more and more specific requirements in disciplines like functional safety have to be considered during functional development. Thus, developers have to cope with increasing levels of product complexity, but also complexity of the development process. This thesis presents a new method which supports developers in handling these dimensions of complexity. Therefore relevant knowledge of other disciplines is presented to them in a solution-oriented way. Thus, design alternatives can be assessed much earlier in the overall development process which has a positive impact on product quality and development cycles. The method’s base is an open and flexible formalization of the development process using the Web Ontology Language (OWL). OWL is used to link different interdisciplinary development activities whereas the analyzability of formalized knowledge enables automated reasoning. This especially introduces an impact analysis to assess major cross-cutting changes to the product in the context of the overall development process. For this thesis a prototype toolchain has been developed which implements the described method and demonstrates its technical feasibility. The extension of a radar-based adaptive cruise control system towards an emergency braking system is sketched as an example for the prototype toolchain. In this example, the impact of functional safety on the functional development is focused, involving a formalized model of requirements and methods from ISO 26262

Information Management and Market Engineering. Vol. II

The research program Information Management and Market Engineering focuses on the analysis and the design of electronic markets. Taking a holistic view of the conceptualization and realization of solutions, the research integrates the disciplines business administration, economics, computer science, and law. Topics of interest range from the implementation, quality assurance, and advancement of electronic markets to their integration into business processes and legal frameworks