• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 36
  • 23
  • 5
  • 4
  • 3
  • 1
  • 1
  • 1
  • Tagged with
  • 76
  • 76
  • 26
  • 25
  • 22
  • 13
  • 11
  • 10
  • 10
  • 10
  • 10
  • 9
  • 8
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Ontology and Law: Bioprospecting in Antarctica

Prasad, Rakesh January 2022 (has links)
Could it be that even though no international treaty or regulation regulates bioprospecting in Antarctica, some features of the techno-science of bioprospecting already lie embedded in the deep texts of the potentially most relevant treaties and regulations? If so, international law already to that extent comprehends the phenomenon, making for sustainable governance and thereby sustainable development. To find out, first an ontology of bioprospecting was synthesized, by an activity theory based conceptual system modeling (CSM). Treating bioprospecting as an activity of search for and research of naturally occurring biota, a set of Conceptual Graphs and associated Tables were drawn up as its ontology-synthesis. Features of this conceptualization were then searched for by an ontological-analysis of the deep texts of selected twenty-five legal instruments, through an ontological legal research (OLR). Search results did unearth several features dispersed and intriguingly embedded in several of the treaties and regulations, quite richly in some of the more recent ones. The cross-application of CSM followed by the hybridized OLR, is a methodological innovation and the generated empirical results of each are resources for further research. The language of international law is revealed as possessing a surprisingly better-than-expected techno-scientific literacy of bioprospecting.
42

A Framework for Extraction Plans and Heuristics in an Ontology-Based Data-Extraction System

Wessman, Alan E. 26 January 2005 (has links) (PDF)
Extraction of information from semi-structured or unstructured documents, such as Web pages, is a useful yet complex task. Research has demonstrated that ontologies may be used to achieve a high degree of accuracy in data extraction while maintaining resiliency in the face of document changes. Ontologies do not, however, diminish the complexity of a data-extraction system. As research in the field progresses, the need for a modular data-extraction system that de-couples the various functional processes involved continues to grow. In this thesis we propose a framework for such a system. The nature of the framework allows new algorithms and ideas to be incorporated into a data extraction system without requiring wholesale rewrites of a large part of the system’s source code. It also allows researchers to focus their attention on parts of the system relevant to their research without having to worry about introducing incompatibilities with the remaining components. We demonstrate the value of the framework by providing a implementation of it, and we show that our implementation is capable of achieving accuracy in its extraction results comparable to that achieved by the legacy BYU-Ontos data-extraction system. We also suggest alternate ways in which the framework may be extended and implemented, and we supply documentation on the framework for future use by data-extraction researchers.
43

Designing Conventional, Spatial, and Temporal Data Warehouses: Concepts and Methodological Framework

Malinowski Gajda, Elzbieta 02 October 2006 (has links)
Decision support systems are interactive, computer-based information systems that provide data and analysis tools in order to better assist managers on different levels of organization in the process of decision making. Data warehouses (DWs) have been developed and deployed as an integral part of decision support systems. A data warehouse is a database that allows to store high volume of historical data required for analytical purposes. This data is extracted from operational databases, transformed into a coherent whole, and loaded into a DW during the extraction-transformation-loading (ETL) process. DW data can be dynamically manipulated using on-line analytical processing (OLAP) systems. DW and OLAP systems rely on a multidimensional model that includes measures, dimensions, and hierarchies. Measures are usually numeric additive values that are used for quantitative evaluation of different aspects about organization. Dimensions provide different analysis perspectives while hierarchies allow to analyze measures on different levels of detail. Nevertheless, currently, designers as well as users find difficult to specify multidimensional elements required for analysis. One reason for that is the lack of conceptual models for DW and OLAP system design, which would allow to express data requirements on an abstract level without considering implementation details. Another problem is that many kinds of complex hierarchies arising in real-world situations are not addressed by current DW and OLAP systems. In order to help designers to build conceptual models for decision-support systems and to help users in better understanding the data to be analyzed, in this thesis we propose the MultiDimER model - a conceptual model used for representing multidimensional data for DW and OLAP applications. Our model is mainly based on the existing ER constructs, for example, entity types, attributes, relationship types with their usual semantics, allowing to represent the common concepts of dimensions, hierarchies, and measures. It also includes a conceptual classification of different kinds of hierarchies existing in real-world situations and proposes graphical notations for them. On the other hand, currently users of DW and OLAP systems demand also the inclusion of spatial data, visualization of which allows to reveal patterns that are difficult to discover otherwise. The advantage of using spatial data in the analysis process is widely recognized since it allows to reveal patterns that are difficult to discover otherwise. However, although DWs typically include a spatial or a location dimension, this dimension is usually represented in an alphanumeric format. Furthermore, there is still a lack of a systematic study that analyze the inclusion as well as the management of hierarchies and measures that are represented using spatial data. With the aim of satisfying the growing requirements of decision-making users, we extend the MultiDimER model by allowing to include spatial data in the different elements composing the multidimensional model. The novelty of our contribution lays in the fact that a multidimensional model is seldom used for representing spatial data. To succeed with our proposal, we applied the research achievements in the field of spatial databases to the specific features of a multidimensional model. The spatial extension of a multidimensional model raises several issues, to which we refer in this thesis, such as the influence of different topological relationships between spatial objects forming a hierarchy on the procedures required for measure aggregations, aggregations of spatial measures, the inclusion of spatial measures without the presence of spatial dimensions, among others. Moreover, one of the important characteristics of multidimensional models is the presence of a time dimension for keeping track of changes in measures. However, this dimension cannot be used to model changes in other dimensions. Therefore, usual multidimensional models are not symmetric in the way of representing changes for measures and dimensions. Further, there is still a lack of analysis indicating which concepts already developed for providing temporal support in conventional databases can be applied and be useful for different elements composing a multidimensional model. In order to handle in a similar manner temporal changes to all elements of a multidimensional model, we introduce a temporal extension for the MultiDimER model. This extension is based on the research in the area of temporal databases, which have been successfully used for modeling time-varying information for several decades. We propose the inclusion of different temporal types, such as valid and transaction time, which are obtained from source systems, in addition to the DW loading time generated in DWs. We use this temporal support for a conceptual representation of time-varying dimensions, hierarchies, and measures. We also refer to specific constraints that should be imposed on time-varying hierarchies and to the problem of handling multiple time granularities between source systems and DWs. Furthermore, the design of DWs is not an easy task. It requires to consider all phases from the requirements specification to the final implementation including the ETL process. It should also take into account that the inclusion of different data items in a DW depends on both, users' needs and data availability in source systems. However, currently, designers must rely on their experience due to the lack of a methodological framework that considers above-mentioned aspects. In order to assist developers during the DW design process, we propose a methodology for the design of conventional, spatial, and temporal DWs. We refer to different phases, such as requirements specification, conceptual, logical, and physical modeling. We include three different methods for requirements specification depending on whether users, operational data sources, or both are the driving force in the process of requirement gathering. We show how each method leads to the creation of a conceptual multidimensional model. We also present logical and physical design phases that refer to DW structures and the ETL process. To ensure the correctness of the proposed conceptual models, i.e., with conventional data, with the spatial data, and with time-varying data, we formally define them providing their syntax and semantics. With the aim of assessing the usability of our conceptual model including representation of different kinds of hierarchies as well as spatial and temporal support, we present real-world examples. Pursuing the goal that the proposed conceptual solutions can be implemented, we include their logical representations using relational and object-relational databases.
44

Vers une approche linguistico-cognitive de la polysémie : Représentation de la signification et construction du sens / Towards a cognitive linguistic approach of polysemy : Meaning representation and sense construction

Mazaleyrat, Hélène 10 December 2010 (has links)
Tout d’abord perçue comme un phénomène marginal, presque un accident en langue, on considère aujourd’hui que la polysémie fait partie intégrante des systèmes linguistiques. De nombreuses théories se sont intéressées au phénomène des unités à sens multiples et reliés. La première partie de notre travail en dresse un panorama non exhaustif mais révélateur, montrant comment et pourquoi la polysémie s’est peu à peu imposée comme un phénomène incontournable qui doit nécessairement être au cœur de tout modèle de la signification. Aussi, à partir de la distinction établie par G. Kleiber (1999), nous considérons deux grands courants selon le rapport établi entre signification, référence et polysémie. Le premier décrit la polysémie en termes de sens premier référentiel dont sont dérivés des sens secondaires (courant objectiviste). Le second l’analyse en termes de potentiel sémantique aréférentiel à partir duquel est obtenu l’ensemble des sens du polysème par spécialisation ou enrichissement contextuel(le) (courant constructiviste). Notre réflexion porte ensuite sur la représentation de la signification des polysèmes – principalement des noms – en grammaire cognitive (R.W. Langacker). Nous postulons que toute expression est associée, dans l’appareil cognitif des locuteurs-auditeurs, à une structure conceptuelle d’informations représentant sa signification. Nous proposons une modélisation en réseau structuré autour de valeurs sémantiques plus ou moins schématiques et de sens élaborés. Ainsi, c’est la valeur la plus schématique qui permet de faire le lien en langue entre ses élaborations que sont les sens observables en discours. Sur la base des travaux de D. Tuggy (1993), nous déclinons les représentations de la signification des mots à sens multiples le long d’un continuum homonymie-polysémie-multifacialité-indétermination, selon les degrés d’enracinement, de saillance, et les possibilités d’accessibilité et d’activation des différents composants (valeur schématique et élaborations sémantiques). Et, nous mettons ainsi en avant certaines des régularités organisatrices propres aux représentations sémanticoconceptuelles des polysèmes nominaux, ainsi qu’une typologie des sens polysémiques. Nous abordons enfin la construction du sens en grammaire cognitive, notamment l’influence du contexte dans l’interprétation d’expressions complexes comportant un polysème. Ainsi, nous considérons qu’il s’agit d’un processus non modulaire, compositionnel et dynamique. L’analyse de syntagmes nominaux du type Adj-N et N-Adj révèle en outre certaines régularités dans l’activation des sens polysémiques des unités linguistiques mises en jeu, liées au cotexte (place et fonction de l’adjectif par rapport au substantif recteur) et au contexte extralinguistique / For a long time, polysemy used to be considered as a marginal or accidental phenomenon in language. Where as today, it is well known that polysemy is being part of linguistic systems. The first part of our thesis draws up a panorama of semantic theories dealing with polysemy. Although it is not exhaustive, it reveals how and why that phenomenon has become a problematic of the utmost significance in linguistics. From the distinction established by G. Kleiber (1999), we consider two major trends in accordance with the way they conceive the link between meaning, reference and polysemy. On one hand, polysemy is described in terms of one basic referential sense from which secondary senses derive (objectivism). On the other hand, polysemy is analyzed as an areferential semantic potential from which senses emerge by contextual mechanisms (constructivism). About the question of the meaning representation of polysems, we postulate that linguistic unities are associated with a structure of pieces of conceptual information into the mind of speakers-hearers, so that it is possible to elaborate of conceptual modeling of it. In the framework of Cognitive Grammar (R.W. Langacker), the structure is a network constituted of semantic values, which are more or less schematic, and of elaborated senses stemmed from them. The most schematic meaning corresponds to the linguistic conceptual link between its instantiations. Some elaborations are the senses which can be constructed in discourse. On the basis of D. Tuggy’s works (1993), we propose to organize the conceptual modelings of multiple meanings words along a continuum homonymy-polysemy-multifaciality-vagueness, in function of various parameters : entrenchment, cognitive salience, possibility of accessibility and of activation of the network components (schematic or elaborated values). So, we can highlight some organizational regularities specific to the semantic representation of polysems as well as a typology of polysemous senses. The third and last part of our thesis is dedicated to sense construction. In Cognitive Grammar, it is a non modulary, compositional and dynamic process. Focusing especially on the impact of context on the interpretation of complex expressions containing a polysem, the analysis of Adj-N and N-Adj noun phrases puts to the fore some regularities governing the activation of polysemic senses. These regularities are linked to the linguistic context (position and function of the adjective towards the qualified substantive) and to the extra-linguistic context
45

Análise arquitetural, ontológica e proposta de modelo de referência para a Recomendação ITU-T G.805

Barcelos, Pedro Paulo Favato 07 April 2011 (has links)
Made available in DSpace on 2016-12-23T14:07:26Z (GMT). No. of bitstreams: 1 Pedro Paulo Favato Barcelos Cap 1 a 5.pdf: 1996678 bytes, checksum: 06570d7feadc8f768039f34ccc71400a (MD5) Previous issue date: 2011-04-07 / A recomendação ITU-T G.805 (ITU-T, 2000) é uma importante recomendação para redes de transporte, pois descreve uma arquitetura funcional genérica independente de tecnologias para este domínio e é usada como base para outras recomendações que descrevem a arquitetura funcional de redes, a gerência, a avaliação de desempenho e a especificação funcional de equipamentos. Apesar de fornecer uma ferramenta ágil para a descrição da arquitetura, a apresentação dos conceitos é feita de forma textual, gerando confusão por conta de definições recursivas e exemplos não claros, que muitas vezes até mesmo se contradizem. Esses aspectos da recomendação a torna de difícil entendimento, podendo confundir o leitor. É importante que, devido sua fundamental relevância, essa recomendação seja livre desses problemas. Para tal, é proposta nesta dissertação a utilização de técnicas de modelagem conceitual baseadas em ontologias para a geração de um modelo de referência para a área de redes de transporte, a partir da Recomendação ITU-T G.805. Além dos principais conceitos da recomendação são também apresentadas as vantagens da criação de um modelo de referência em ontologias e as principais tecnologias utilizadas para este objetivo. São realizadas uma análise arquitetural e uma reestruturação dos componentes definidos pela recomendação e uma avaliação ontológica da mesma, verificando casos de incompletudes, ambiguidades e outras deficiências ontológicas e apontando soluções. Por fim, é apresentado o modelo de referência em ontologia desenvolvido para a Recomendação ITU-T G.805, incluindo o modelo conceitual e suas regras de derivação e de restrição / The ITU-T Recommendation G.805 (ITU-T, 2000) is an important recommendation for transport networks. It describes a generic functional architecture that is independent of technology for this domain and it is used as the basis for recommendations that describe the functional architecture of networks, management, performance analysis and functional specification of equipment. Despite providing a flexible tool for the architecture description, the recommendation presents its concepts textually, leading to confusion because of recursive definitions and unclear examples that are often contradictory. These aspects of the recommendation make it difficult to understand and may confuse the reader. It is important that, due to its fundamental importance, this recommendation is free from these problems. For this purpose, this work proposes the use of ontology-based conceptual modeling techniques for the generation of a reference model for the transport network domain, based on the ITU-T Recommendation G.805. In addition to the recommendation main concepts, the advantages of creating an ontology-based reference model and the main technologies used for this purpose are also presented. An architectural analysis and a restructuring of the components defined by the recommendation are performed together with an ontological evaluation of it. Cases of incompleteness, ambiguities and other deficiencies are checked and solutions are pointed. Finally, the ontology-based reference model developed for the ITU-T Recommendation G.805 is presented, including the conceptual model and its derivation and restrictions rules
46

Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses / Methodological guidelines and statistical data validation for the construction of data warehouses

Takecian, Pedro Losco 14 August 2014 (has links)
Os sistemas de integração de dados que usam a arquitetura de data warehouse (DW) têm se tornado cada vez maiores e mais difíceis de gerenciar devido à crescente heterogeneidade das fontes de dados envolvidas. Apesar dos avanços tecnológicos e científicos, os projetos de DW ainda são muito lentos na geração de resultados pragmáticos. Este trabalho busca responder à seguinte questão: como pode ser reduzida a complexidade do desenvolvimento de sistemas de DW que integram dados provenientes de sistemas transacionais heterogêneos? Para isso, apresenta duas contribuições: 1) A criação de diretrizes metodológicas baseadas em ciclos de modelagem conceitual e análise de dados para guiar a construção de um sistema modular de integração de dados. Essas diretrizes foram fundamentais para reduzir a complexidade do desenvolvimento do projeto internacional Retrovirus Epidemiology Donor Study-II (REDS-II), se mostrando adequadas para serem aplicadas em sistemas reais. 2) O desenvolvimento de um método de validação de lotes de dados candidatos a serem incorporados a um sistema integrador, que toma decisões baseado no perfil estatístico desses lotes, e de um projeto de sistema que viabiliza o uso desse método no contexto de sistemas de DW. / Data integration systems that use data warehouse (DW) architecture are becoming bigger and more difficult to manage due to the growing heterogeneity of data sources. Despite the significant advances in research and technologies, many integration projects are still too slow to generate pragmatic results. This work addresses the following question: how can the complexity of DW development for integration of heterogeneous transactional information systems be reduced? For this purpose, we present two contributions: 1) The establishment of methodological guidelines based on cycles of conceptual modeling and data analysis to drive construction of a modular data integration system. These guidelines were fundamental for reducing the development complexity of the international project Retrovirus Epidemiology Donor Study-II (REDS-II), proving suited to be applied in real systems. 2) The development of a validation method of data batches that are candidates to be incorporated into an integration system, which makes decisions based on the statistical profile of these batches, and a project of a system that enables the use of this method in DW systems context.
47

Un modèle de données pour bibliothèques numériques / A data model for digital libraries

Yang, Jitao 30 May 2012 (has links)
Les bibliothèques numériques sont des systèmes d'information complexes stockant des ressources numériques (par exemple, texte, images, sons, audio), ainsi que des informations sur les ressources numériques ou non-numériques; ces informations sont appelées des métadonnées. Nous proposons un modèle de données pour les bibliothèques numériques permettant l'identification des ressources, l’utilisation de métadonnées et la réutilisation des ressources stockées, ainsi qu’un langage de requêtes pour l’interrogation de ressources. Le modèle que nous proposons est inspiré par l'architecture du Web, qui forme une base solide et universellement acceptée pour les notions et les services attendus d'une bibliothèque numérique. Nous formalisons notre modèle comme une théorie du premier ordre, afin d’exprimer les concepts de bases de la bibliothèque numérique, sans aucune contrainte technique. Les axiomes de la théorie donnent la sémantique formelle des notions du modèle, et en même temps fournissent une définition de la connaissance qui est implicite dans une bibliothèque numérique. La théorie est traduite en un programme Datalog qui, étant donnée une bibliothèque numérique, permet de la compléter efficacement avec les connaissances implicites. Le but de notre travail est de contribuer à la technologie de gestion des informations des bibliothèques numériques. De cette façon, nous pouvons montrer la faisabilité théorique de notre modèle, en montrant qu'il peut être efficacement appliqué. En outre, nous démontrons la faisabilité pratique du modèle en fournissant une traduction complète du modèle en RDF et du langage de requêtes en SPARQL.Nous fournissons un calcul sain et complet pour raisonner sur les graphes RDF résultant de la traduction. Selon ce calcul, nous prouvons la correction de ces deux traductions, montrant que les fonctions de traduction préservent la sémantique de la bibliothèque numérique et de son langage de requêtes. / Digital Libraries are complex information systems, storing digital resources (e.g., text, images, sound, audio), as well as knowledge about digital or non-digital resources; this knowledge is referred to as metadata. We propose a data model for digital libraries supporting resource identification, use of metadata and re-use of stored resources, as well as a query language supporting discovery of resources. The model that we propose is inspired by the architecture of the Web, which forms a solid, universally accepted basis for the notions and services expected from a digital library. We formalize our model as a first-order theory, in order to be able to express the basic concepts of digital libraries without being constrained by any technical considerations. The axioms of the theory give the formal semantics of the notions of the model, and at the same time, provide a definition of the knowledge that is implicit in a digital library. The theory is then translated into a Datalog program that, given a digital library, allows to efficiently complete the digital library with the knowledge implicit in it. The goal of our research is to contribute to the information management technology of digital libraries. In this way, we are able to demonstrate the theoretical feasibility of our digital library model, by showing that it can be efficiently implemented. Moreover, we demonstrate our model’s practical feasibility by providing a full translation of the model into RDF and of the query language into SPARQL. We provide a sound and complete calculus for reasoning on the RDF graphs resulting from translation. Based on this calculus, we prove the correctness of both translations, showing that the translation functions preserve the semantics of the digital library and of the query language.
48

State-Oriented Business Process Modeling : Principles, Theory and Practice

Bider, Ilia January 2002 (has links)
In the last 50 years, a considerable amount of research workhas been completed in the mathematical system theory and theoryof control. Implementation of the results from this researchinto practice has drastically decreased the production costs.Most production processes are highly automated, and the use ofrobots in industry is growing. As far as office, or businessprocesses are concerned, the situation is quite different.Though the office workers and sales personnel have obtainedmuch help from the modern computers, the office and salesprocesses are far behind the production processes on the levelof automation. The computers are used in the office mainly tohelp in performing various activities, e.g., to write a letter,to print an invoice, to complete a transaction, etc. Thecontrol of the business processes in the office remains, to alarge extent, manual. There is a lot to gain if the controlover business processes could be automated, at leastpartially. The material presented in this thesis is aimed to supportthe following hypothesis: "The ideas worked out in the Mathematical system theory formodeling and controlling physical processes can be successfullyused for modeling and controlling business processes." Oneof the main ideas of mathematical system theory is to considera process as a set of valid trajectories in a state space, andthis idea is the keystone for the thesis. The thesis startswith reformulating the state-oriented approach for the domainof business processes to show what kind of sate space can beused in this domain. First, the approach is introducedinformally by means of an example. Next, a possibleformalization adjusted to the properties of business processesis discussed. Then, experimental evidences that the methodsuggested in the thesis can be used in practice are presented.The suggested method is also compared with other methods ofbusiness process modeling to find out the areas where it hasadvantages over the other methods. In the conclusion, theresults are summarized, and plansfor the future are drawn. Most of the material included in the thesis has beenpublished and presented at international conferences. Thecontribution of this thesis consists in organizing the materialin support of the main hypothesis.
49

Maximizing the benefits of courtroom POEs in design decision support and academic inquiry through a unified conceptual model.

Pati, Debajyoti 10 February 2005 (has links)
Post-occupancy evaluations represent an important missed opportunity. While POEs are often used to inform design guides, and to support facility management, they are seldom used to support design decision-making. While there are several technical, methodological, and cultural impediments to the ongoing use of POE results in design, characteristics of POE data and data structure is an important, and often overlooked, impediment. Some evaluators have attempted to resolve this problem by involving actively as consultants in design teams or involving users, such as Placemaking or Process Architecture. Recent advances in conceptual data modeling provide another strategy to interface POE findings and design decision-making. This thesis uses EXPRESS modeling language to develop a conceptual data structure for POE data, and integrate POE data with as-built building descriptions. While this effort has the potential to develop an improved way to structure POE data and make it more useful, it is also an extension of ISO-STEP. This study develops a data structure based on post-occupancy evaluations of state and federal trial courtrooms conducted by the researcher. Thirty-one courtrooms were evaluated, resulting in usable data from 93 courtroom users in 26 courtrooms. An EXPRESS-G schema was developed and was translated into a relational database for holding data and running queries. The investigator illustrated a range of query-generated outcomes to support decision-making during design and design review. Such outcomes include exploring existing courtrooms, comprehending the types of design decisions implemented across federal and state courtrooms, identifying design decisions that have been rated favorably or otherwise by courtroom users, rating design decisions based on evaluation data from existing courtrooms, and predicting a designed environments supportiveness to task performance. Further, multivariate analysis of the POE data provides the first scientific investigation of courtrooms as work settings. Finally, eight key performance indicators of courtrooms were developed based on the POE data.
50

State-Oriented Business Process Modeling : Principles, Theory and Practice

Bider, Ilia January 2002 (has links)
<p>In the last 50 years, a considerable amount of research workhas been completed in the mathematical system theory and theoryof control. Implementation of the results from this researchinto practice has drastically decreased the production costs.Most production processes are highly automated, and the use ofrobots in industry is growing. As far as office, or businessprocesses are concerned, the situation is quite different.Though the office workers and sales personnel have obtainedmuch help from the modern computers, the office and salesprocesses are far behind the production processes on the levelof automation. The computers are used in the office mainly tohelp in performing various activities, e.g., to write a letter,to print an invoice, to complete a transaction, etc. Thecontrol of the business processes in the office remains, to alarge extent, manual. There is a lot to gain if the controlover business processes could be automated, at leastpartially.</p><p>The material presented in this thesis is aimed to supportthe following hypothesis: "<i>The ideas worked out in the Mathematical system theory formodeling and controlling physical processes can be successfullyused for modeling and controlling business processes</i>." Oneof the main ideas of mathematical system theory is to considera process as a set of valid trajectories in a state space, andthis idea is the keystone for the thesis. The thesis startswith reformulating the state-oriented approach for the domainof business processes to show what kind of sate space can beused in this domain. First, the approach is introducedinformally by means of an example. Next, a possibleformalization adjusted to the properties of business processesis discussed. Then, experimental evidences that the methodsuggested in the thesis can be used in practice are presented.The suggested method is also compared with other methods ofbusiness process modeling to find out the areas where it hasadvantages over the other methods. In the conclusion, theresults are summarized, and plansfor the future are drawn.</p><p>Most of the material included in the thesis has beenpublished and presented at international conferences. Thecontribution of this thesis consists in organizing the materialin support of the main hypothesis.</p>

Page generated in 0.4346 seconds