This report describes the development of a RESTful web service for mobile applications. The web service makes resources from an existing system called kompetensdatabasen ("the competence database") available. Kompetensdatabasen holds information about the capabilities of consultants and about assignments carried out at the IT consultant business Nethouse AB. The web service was developed according to the principles of REST and ROA (Resource Oriented Architecture) which puts focus on making resources available. The resources are made available through the HTTP protocol and the methods associated with it. This means it was designed to use the same technologies as the world wide web. Following these principles when designing the system has been of great importance. To make sure that the service does not leak information to competing companies or violate the Personal Data Act some kind of solution for securing the service had to be implemented. A model for authentication was produced to make the system accessible only for employees of the company. / Rapporten beskriver utvecklandet av en RESTful web service för mobilapplikationer. Web servicen tillgängliggör resurser från ett befintligt system som kallas kompetensdatabasen. Kompetensdatabasen innehåller information om konsulters kompetenser och de uppdrag som utförts vid IT-konsultföretaget Nethouse AB. Web servicen utvecklades enligt principerna för REST och ROA (Resource Oriented Architecture) vilket innebär ett fokus på att tillgängliggöra resurser. Resurserna görs nåbara genom HTTP-protokollet och dess metoder, det vill säga samma tekniker som används på webben. Stor vikt har lagts på att designa systemet enligt dessa principer. För att servicen inte skulle läcka information till konkurrenter eller bryta mot personuppgiftslagen behövde någon form av säkerhetslösning implementeras. En autentiseringsmodell togs fram för att göra systemet nåbart enbart för anställda vid företaget.

Mit der stetigen Konsolidierung der Web Service Standards vollzieht sich in der Diskussion zu serviceorientierten Architekturen ein Wechsel weg von der Implementierung und dem Deployment von Services hin zum Service Management. Die Indikatoren: Anzahl der Standardisierungsanfragen und die Menge großer Forschungsprogramme in diesem Bereich sind evident für einen wachsenden Bedarf an Managementmethoden für die Abbildung von Geschäftsanforderungen auf Servicekompositionen. Die Verwendung von semiformalen Modellen sowie die verteilte Entwicklung von SOA Services machen eine an Konventionen orientierte konstruktive Einschränkung der Freiheitsgrade bei der Prozess- und Servicemodellierung notwendig. In dieser Arbeit wird eine generische Methode vorgestellt, welche durch die Einführung von „Beschreibungsrahmen“ (Description Kits) sowohl eine Einschränkung der Modellierungsfreiheit in Bezug auf natürlichsprachliche Aspekte in fachkonzeptuellen Modellen erlaubt, als auch eine restriktive Benutzung bestehender Modellierungssprachen ermöglicht. Als Anwendungsfall wird die Konfiguration serviceorientierter Architekturen diskutiert. - (Die Dissertation ist veröffentlicht im Logos Verlag Berlin GmbH, http://www.logos-verlag.de, ISBN: 978-3-8325-2402-9) / With Service-oriented Architectures (SOA) companies are facing a paradigm shift towards services as the key unit of their enterprise architectures. An exploitation of the potential of Service-oriented Architectures is up to the applicability of semi-formal business models for a transformation into service compositions. However, several conceptual shortcomings prevent semi-formal models from being a suitable resource of an automated transformation process. Problems result from a multitude of modeling aims, objects, and procedures. Enhancements in order to solve these problems require both systematic preparation, and a methodical approach. This thesis provides a modeling method for business process-oriented SOA design using a meta-model based approach. An integrated modeling environment gives an overview of business requirements and allows appropriate assignment of SOA services to the business functions at the same time. The research refers to the example of process-oriented analysis and optimization of administrative procedures in German universities.

Nous proposons dans cette thèse les approches de test pour la composition de services web. Nous nous intéressons aux test unitaire et d’intégration d’une orchestration de services web. L’aspect de vérification d’exécution en-ligne est aussi consideré. Nous définissons une plateforme de test unitaire pour l’orchestration de services web qui compose une architecture de test, une relation de conformité et deux approches de test basés sur le modèle de machine à l’états finis étendues temporisés: l’approche offline où les activités de test comme la génération de cas de test temporisé, l’exécution de test et l’assignement de verdict sont appliquées en séquentielle tandis que ces activités sont appliquées en parallèle dans l’approche online. Pour le test d’intégration d’une orchestration, nous combinons deux approches: active et passive.Au debut, l’approche active est utilisée pour activer une nouvelle session d’orchestration par l’envoi d’un message de requête SOAP. Après, tous les messages d’entré et de sortie de l’orchestration sont collectés et analysés par l’approche passive.Pour l’aspect de vérification d’exécution en-ligne, nous nous intéressons à la vérification d’une trace qui respecte un ensemble des constraintes, noté règles, ou pas. Nous avons proposé extendre le langage Nomad en définissant des constraintes sur chaque action atomique et un ensemble de corrélation de données entre les actions pour définir des règles pour le service web. Ce langage nous permet de définir des règles avec le temps futur et passé, et d’utiliser des opérations NOT, AND, OR pour combiner quelque conditions dans le contexte de la règle. Ensuite, nous proposons un algorithme pour vérifier l’exactitude d’une séquence des messages en parallèle avec le moteur de collecte de trace. / In this thesis, we propose the testing approaches for web service composition. We focus on unit, integrated testing of an orchestration of web services and also the runtime verification aspect. We defined an unit testing framework for an orchestration that is composed of a test architecture, a conformance relation and two proposed testing approaches based on Timed Extended Finite State Machine (TEFSM) model: offline which test activities as timed test case generation, test execution and verdict assignment are applied in sequential, and online which test activities are applied in parallel. For integrated testing of an orchestration, we combines of two approaches: active and passive. Firstly, active approach is used to start a new session of the orchestration by sending a SOAP request. Then all communicating messages among services are collected and analyzed by a passive approach. On the runtime verification aspect, we are interested in the correctness of an execution trace with a set of defined constraints, called rules. We have proposed to extend the Nomad language, by defining the constraints on each atomic action (fixed conditions) and a set of data correlations between the actions to define the rules for web services. This language allows us to define a rule with future and past time, and to use the operations: NOT, AND, OR to combines some conditions into a context of the rule. Afterwards, we proposed an algorithm to check correctness of a message sequence in parallel with the trace collection engine. Specifically, this algorithm verifies message by message without storing them.

Les services Web ont émergé comme un support de développement et d’intégration d’applications ou de systèmes d’information. Dans ce cadre, les interactions entre deux applications consommateur et fournisseur, encapsulées par des services Web se font par échanges de messages. Ces échanges s’appuient sur la notion d’interfaces, qui décrivent les interactions dans lesquelles un service peut s’engager et les dépendances entre ces interactions. Dans le Web actuel, il arrive très fréquemment que de nombreux services répondent à un même ensemble de besoins fonctionnels. Ces services sont souvent offerts par le biais d’interfaces différentes. Des nombreuses raisons, telles que la panne du service fournisseur, peuvent amener un consommateur à substituer son fournisseur habituel par un autre fournisseur qui offre la même fonctionnalité. Cette substitution provoque des incompatibilités entre l’interface du service consommateur et celle du service fournisseur substitut. Cela est dû au fait que le service consommateur n’a pas été fait en fonction de ce nouveau service fournisseur. Les recherches que nous menons dans cette thèse visent à résoudre le problème des incompatibilités dans des interactions entre deux services consommateur et fournisseur substitut. En particulier, notre contribution s’étend, tant sur le plan théorique que sur le plan pratique. Il s’agit d’une part d’un canevas pour la génération automatique des adaptateurs des interactions entre deux services. D’autre part, nous proposons une architecture logicielle multicouche fournissant un cadre permettant une substitution transparente et flexible d’un service fournisseur par un autre service vis-à-vis du consommateur du premier. Dans notre canevas pour la génération automatique des adaptateurs, une modélisation des interfaces de services en des automates a été adoptée. Puis, une étape de détection des incompatibilités entre ceux-ci est réalisée. Ensuite, un adaptateur des interactions entre les deux services est généré automatiquement sur la base d’incompatibilités détectées. La génération de l’adaptateur est guidée par le modèle d’automates. Cela permet de modéliser l’adaptateur indépendamment de son implémentation cible, permettant ainsi une bonne réutilisation des modèles. Une fois généré, l’automate de l’adaptateur suffisamment détaillé est projeté sur la technologie CEP (Complexe Event Processing). Cette projection est réalisée à l’aide des composants cartouches (en anglais : Templates) que nous avons mis en oeuvre. Chaque cartouche étant conçue pour générer du code exécutable (en termes de requêtes continues) pour la technologie CEP / Web services have emerged as a support for development and integration of applications and information systems. In this context, the interactions between two consumer and supplier applications, encapsulated by Web services are done by exchanging messages. These exchanges are based on the concept of interfaces, which describe the interactions in which a service can handle and dependencies between these interactions. In the current Web, it is very often that many services meet the same set of functional requirements. These services are often delivered through different interfaces. For many reasons, such as failure of the service provider, the consumer has to replace his usual supplier with another supplier that offers the same functionality. This substitution leads to incompatibilities between the interfaces of the service consumer and new service provider. This is because the customer service was not been developed according to the new service provider. The research we conduct in this thesis aims to solve the problem of incompatibility in the interaction between two services; consumer and new provider. In particular, our contribution extends both in theory and in practice. It is a part of a framework for the automatic generation of adapters for interactions between two services. On the other hand, we propose a multi-layer software architecture providing a framework for transparent and flexible substitution of a service provider by another with respect to an existed consumer. In our framework for automatic generation of adapters, services interfaces modeling using automata has been adopted. Then, a step of detecting incompatibilities between them is achieved. After that, an adapter of the interactions between the two services is generated automatically based on the detected incompatibilities. The generation of the adapter is based on the automata model. The generated adapter automaton contains a sufficient detail for the projected technology CEP (Complex Event Processing). This projection is performed using components templates that are implemented by us. Each template is designed to generate executable code (in terms of continuous requests) for the CEP technology

La gestion des processus-métiers, des architectures orientées-services et leur rétro-ingénierie s’appuie fortement sur l’extraction des protocoles-métier des services Web et des modèles des processus-métiers à partir de fichiers de journaux. La fouille et l’extraction de ces modèles visent la (re)découverte du comportement d'un modèle mis en œuvre lors de son exécution en utilisant uniquement les traces d'activité, ne faisant usage d’aucune information a priori sur le modèle cible. Notre étude préliminaire montre que : (i) une minorité de données sur l'interaction sont enregistrées par le processus et les architectures de services, (ii) un nombre limité de méthodes d'extraction découvrent ce modèle sans connaître ni les instances positives du protocole, ni l'information pour les déduire, et (iii) les approches actuelles se basent sur des hypothèses restrictives que seule une fraction des services Web issus du monde réel satisfont. Rendre possible l'extraction de ces modèles d'interaction des journaux d'activité, en se basant sur des hypothèses réalistes nécessite: (i) des approches qui font abstraction du contexte de l'entreprise afin de permettre une utilisation élargie et générique, et (ii) des outils pour évaluer le résultat de la fouille à travers la mise en œuvre du cycle de vie des modèles découverts de services. En outre, puisque les journaux d'interaction sont souvent incomplets, comportent des erreurs et de l’information incertaine, alors les approches d'extraction proposées dans cette thèse doivent être capables de traiter ces imperfections correctement. Nous proposons un ensemble de modèles mathématiques qui englobent les différents aspects de la fouille des protocoles-métiers. Les approches d’extraction que nous présentons, issues de l'algèbre linéaire, nous permettent d'extraire le protocole-métier tout en fusionnant les étapes classiques de la fouille des processus-métiers. D'autre part, notre représentation du protocole basée sur des séries temporelles des variations de densité de flux permet de récupérer l'ordre temporel de l'exécution des événements et des messages dans un processus. En outre, nous proposons la définition des expirations propres pour identifier les transitions temporisées, et fournissons une méthode pour les extraire en dépit de leur propriété d'être invisible dans les journaux. Finalement, nous présentons un cadre multitâche visant à soutenir toutes les étapes du cycle de vie des workflow de processus et des protocoles, allant de la conception à l'optimisation. Les approches présentées dans ce manuscrit ont été implantées dans des outils de prototypage, et validées expérimentalement sur des ensembles de données et des modèles de processus et de services Web. Le protocole-métier découvert, peut ensuite être utilisé pour effectuer une multitude de tâches dans une organisation ou une entreprise. / Business process management, service-oriented architectures and their reverse engineering heavily rely on the fundamental endeavor of mining business process models and Web service business protocols from log files. Model extraction and mining aim at the (re)discovery of the behavior of a running model implementation using solely its interaction and activity traces, and no a priori information on the target model. Our preliminary study shows that : (i) a minority of interaction data is recorded by process and service-aware architectures, (ii) a limited number of methods achieve model extraction without knowledge of either positive process and protocol instances or the information to infer them, and (iii) the existing approaches rely on restrictive assumptions that only a fraction of real-world Web services satisfy. Enabling the extraction of these interaction models from activity logs based on realistic hypothesis necessitates: (i) approaches that make abstraction of the business context in order to allow their extended and generic usage, and (ii) tools for assessing the mining result through implementation of the process and service life-cycle. Moreover, since interaction logs are often incomplete, uncertain and contain errors, then mining approaches proposed in this work need to be capable of handling these imperfections properly. We propose a set of mathematical models that encompass the different aspects of process and protocol mining. The extraction approaches that we present, issued from linear algebra, allow us to extract the business protocol while merging the classic process mining stages. On the other hand, our protocol representation based on time series of flow density variations makes it possible to recover the temporal order of execution of events and messages in the process. In addition, we propose the concept of proper timeouts to refer to timed transitions, and provide a method for extracting them despite their property of being invisible in logs. In the end, we present a multitask framework aimed at supporting all the steps of the process workflow and business protocol life-cycle from design to optimization.The approaches presented in this manuscript have been implemented in prototype tools, and experimentally validated on scalable datasets and real-world process and web service models.The discovered business protocols, can thus be used to perform a multitude of tasks in an organization or enterprise.

Οι Δομές Δεδομένων είναι ένας από τους σημαντικότερους και ιστορικότερους κλάδους της Επιστήμης των Υπολογιστών, με συνεχή εξέλιξη από τη δεκαετία του εβδομήντα μέχρι σήμερα, παρέχοντας λύσεις σε θεμελιώδη προβλήματα σε ταξινόμηση, οργάνωση, διαχείριση και αναζήτηση πληροφορίας. Παράλληλα, η ανάπτυξη σύγχρονων κλάδων της Επιστήμης των Υπολογιστών όπως τα Σύγχρονα, Δικτυοκεντρικά Πληροφοριακά Συστήματα και η Βιοπληροφορική, έφερε μαζί της την έκρηξη των δεδομένων. Η ανάγκη αποδοτικής διαχείρισης της παρεχόμενης πληροφορίας καθίσταται έτσι πιο επιτακτική από ποτέ. Στα πλαίσια αυτής της διατριβής αναγνωρίζοντας την ανάγκη για αποδοτική διαχείριση πληροφορίας σε όλα τα επίπεδα, παρουσιάζουμε τη μελέτη και την πρόταση λύσεων σε σύγχρονα προβλήματα στους χώρους: της Διαχείρισης Συμβολοσειρών, της Αναδιοργάνωσης Δικτυακών Τόπων, της Ανακάλυψης Web Services με υποστήριξη χαρακτηριστικών Ποιότητας Υπηρεσίας και της Προσωποποιημένης Ανάκτησης Πληροφορίας στο Διαδίκτυο. Σε αυτή την κατεύθυνση, στον τομέα της Διαχείρισης Συμβολοσειρών, παραθέτουμε αλγορίθμους σε θεμελιώδη προβλήματα στο χώρο της διαχείρισης Σταθμισμένων Ακολουθιών (weighted sequences), όπως ταίριασμα προτύπου, εύρεση επαναληπτικών δομών, και συνεχίζουμε δίνοντας απλοποιητικές αλλά βέλτιστες λύσεις σε προβλήματα περιοδικοτήτων σε συνήθεις συμβολοσειρές, όπως τα προβλήματα εύρεσης όλων των καλυμμάτων μιας συμβολοσειράς, εύρεσης της περιόδου μιας συμβολοσειράς και εύρεσης όλων των φύτρων μιας συμβολοσειράς. Στην Αναδιοργάνωση Δικτυακών Τόπων, παραθέτουμε δυο διαφορετικές μετρικές για την αποτίμηση της αντικειμενικής αξίας των ιστοσελίδων του κάθε ιστοτόπου. Αυτές οι μετρικές παραλλάζουν τις προσβάσεις που δέχεται κάποια ιστοσελίδα με τρόπο που καταδεικνύει την αντικειμενική αξία της ιστοσελίδας. Από πειραματική αποτίμηση των μετρικών, προκύπτει ότι παρέχουν ακριβή πληροφόρηση για τα σημεία του δικτυακού τόπου που χρήζουν αναδιοργάνωσης. Στη συνέχεια δίνουμε μια μέθοδο για τον εντοπισμό σημαντικών τμημάτων μεγαλύτερου μεγέθους στο δικτυακό τόπο και παρουσιάζουμε μια σειρά μεθόδων τόσο σε τεχνικό όσο και θεωρητικό επίπεδο για την αναδιοργάνωση ενός δικτυακού τόπου. Στον τομέα της Ανακάλυψης Web Services, εξετάζουμε την Ανακάλυψη που πληροί περιορισμούς ως προς την παρεχόμενη Ποιότητα Υπηρεσίας. Αρχικά, παρουσιάζονται δυο απλές μέθοδοι για την καταχώριση χαρακτηριστικών ποιότητας υπηρεσίας επεκτείνοντας υπάρχοντα πρότυπα υλοποίησης Web Service. Στη συνέχεια παρουσιάζουμε έναν αλγόριθμο για την ανακάλυψη του σεναρίου εκτέλεσης μιας ακολουθίας (workflow) από συνεχόμενες Web Services, που ελαχιστοποιεί το συνολικό χρόνο εκτέλεσης. Μια σειρά από ευριστικές μεθόδους παρουσιάζονται επίσης, για την υλοποίηση σε πρακτικό επίπεδο του προτεινόμενου αλγορίθμου, οι οποίες αποτιμούνται πειραματικά. Τέλος, στον τομέα της Προσωποποιημένης Ανάκτησης Πληροφορίας στο Διαδίκτυο εξετάζουμε διαφορετικές τεχνικές προσωποποίησης των αποτελεσμάτων των μηχανών αναζήτησης. Η πρώτη τεχνική εφαρμόζει μετα-κατηγοριοποίηση των αποτελεσμάτων και παρουσίασή τους ανάλογα με τη σειρά ενδιαφέροντος του χρήστη ως προς τις κατηγορίες των αποτελεσμάτων. Η δεύτερη τεχνική, βασίζει την προσωποποίηση στην έμμεση απεικόνιση των ενδιαφερόντων χρήστη στις κατηγορίες του Open Directory Project, επεκτείνει μια τεχνική που έχει πρόσφατα προταθεί, τους ιδεατούς κόμβους συσχέτισης κατηγοριών, και χτίζει πολλαπλά επίπεδα ιδεατών κόμβων για την επίτευξη πιο εκλεπτυσμένης προσωποποίησης. Κλείνοντας, παρουσιάζουμε την επέκταση της λογικής της μεθόδου προσωποποίησης για την κατασκευή εστιασμένων συλλεκτών. / Data Structures is one of the most important and most historical sectors of Computer Science, being under continuous development since the seventies. Data Structuring has offered solutions to fundamental problems in sorting, organising, and retrieving information. Meanwhile, the development of the modern fields of Computer Science such as Modern, Net-centric Information Systems and Bioinformatics has signalled a data blow-up. Therefore, the need for efficient information management has become a necessity. In this Thesis, having recognized the need for efficient information management at every level, we present a study and solutions to contemporary problems in the areas of: String Processing, Website Reorganization, Web Service retrieval with support for Quality of Service characteristics, and Personalized Information Retrieval on the Web. In the area of String Processing, we present algorithms for solving fundamental problems in Weighted Sequence Processing, such as Pattern Matching, Repetitive Structures Detection and we continue by giving simplifying yet optimal solutions to periodicity problems in ordinary sequences, namely detecting all covers in a sequence, detecting the period of a sequence and detecting all the seeds of a sequence. In the area of Website Reorganization, we present two different metrics for evaluation of the objective importance of each website's pages. These metrics modify the accesses each page receives in order to present the actual page importance. We have seen from the experimental evaluation of those metrics that they provide accurate information about the areas inside the website in need of reorganization. Furthermore, we present a method to detect larger important parts inside the website and we present methods for website reorganisation both from a technical and from a theoretical viewpoint. In the area of Web Service Retrieval we are coping with retrieval under constraints for the provided Quality of Service (QoS). Firstly, we present two simple methods to register QoS information by extending existing Web Service protocols. Secondly, we present an algorithm to discover the execution scenario for a sequence of contiguous Web Services that minimizes the total execution time. A series of heuristics to implement the above algorithm is also presented. We also present an extensive experimental evaluation of those heuristics. Ultimately, we present different personalization techniques for personalized Web Information Retrieval. The first technique, applies post-categorization of search engine results and presents them according to user preferences with respect to the results' categories. The second technique is based on implicit mapping of user preferences to the categories of the Open Directory Project, it extends a recently proposed technique, namely virtual nodes for associating categories, and builds multiple layers of nodes to achieve more elaborate personalization. Finally, we present the extension of personalization methods in order to build focused crawlers.

No description available.

Maschinenlesbare und -abrufbare Web Services werden zu Produktionsmodulen in einem globalen 'Factory Floor'. Ihre 'Orchestrierung' erlaubt die standardisierte Bildung von Modulen höherer Ordnung. Die dabei gebildeten Prozesse können die Wahl der einzubindenden Dienste via 'Discovery Agency' optimieren. Das Organisieren von Wertschöpfungssystemen wird damit zur modularen Programmierung im Grossen, der Abruf von Leistungen zum Aufruf und dynamischen Einbinden eines Moduls. Wird damit eine ideale Infrastruktur für die Virtualisierung der Organisationen verfügbar? Wir analysieren den Begriff der Organisation, einerseits aus Informatik-Optik als Multi-Agenten-Systeme, aber auch als soziales Gebilde mit den Begriffen der Institution und des Symbolischen und verbinden sie im Begriff des Mediums. Wir argumentieren, dass der gegenwärtige Stand der Web Services-Protokolle noch zu wenig Struktur für virtuelle Organisationen hat und zeigen, was zu ergänzen ist.

No description available.

Made available in DSpace on 2014-12-17T15:47:50Z (GMT). No. of bitstreams: 1 JoseRSMJ.pdf: 1414617 bytes, checksum: 1d2d0cfcaa6654701268463c98f3c2e9 (MD5) Previous issue date: 2008-08-29 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Recently the focus given to Web Services and Semantic Web technologies has provided the development of several research projects in different ways to addressing the Web services composition issue. Meanwhile, the challenge of creating an environment that provides the specification of an abstract business process and that it is automatically implemented by a composite service in a dynamic way is considered a currently open problem. WSDL and BPEL provided by industry support only manual service composition because they lack needed semantics so that Web services are discovered, selected and combined by software agents. Services ontology provided by Semantic Web enriches the syntactic descriptions of Web services to facilitate the automation of tasks, such as discovery and composition. This work presents an environment for specifying and ad-hoc executing Web services-based business processes, named WebFlowAH. The WebFlowAH employs common domain ontology to describe both Web services and business processes. It allows processes specification in terms of users goals or desires that are expressed based on the concepts of such common domain ontology. This approach allows processes to be specified in an abstract high level way, unburdening the user from the underline details needed to effectively run the process workflow / O enfoque dado ultimamente ?s tecnologias de Servi?os Web e da Web Sem?ntica tem proporcionado o desenvolvimento de v?rios projetos de pesquisa abordando, de diferentes maneiras, o tema da composi??o de servi?os Web. Entretanto, o desafio de criar um ambiente que favore?a a especifica??o de um processo de neg?cio abstrato e que seja implementado automaticamente por servi?os compostos de forma din?mica ? considerado atualmente um problema em aberto. Os padr?es WSDL e BPEL providos pela a ind?stria de software suportam apenas a composi??o manual de servi?os, pois falta a eles a sem?ntica necess?ria para que os servi?os Web sejam descobertos, selecionados e combinados por agentes de software. As ontologias de servi?o providas pela Web Sem?ntica enriquecem as descri??es sint?ticas dos servi?os Web de modo a facilitar a automa??o de tarefas, como a descoberta e a composi??o. Este trabalho prop?e um ambiente para a especifica??o e execu??o ad-hoc de processos de neg?cio baseados em servi?os Web chamado WebFlowAH. Este ambiente emprega uma ontologia de dom?nio comum para descrever tanto os servi?os Web e quanto os processos de neg?cio. Ele permite a especifica??o de processos em termos de desejos ou objetivos do usu?rio que s?o expressos por conceitos da ontologia de dom?nio comum. Tal abordagem permite que processos de neg?cio sejam especificados de maneira abstrata e de alto n?vel, liberando o usu?rio de detalhes necess?rios para executar eficazmente o workflow do processo