• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 45
  • 22
  • 5
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 87
  • 87
  • 25
  • 24
  • 20
  • 13
  • 12
  • 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.
1

Using patterns in conceptual modeling of business activities

He, Feihu 11 1900 (has links)
Patterns are used as building blocks for design and construction in many fields such as architecture, music, literature, etc. Researchers and practitioners in the information systems area have been exploring patterns and using them in system analysis and design. Patterns found in the analysis stage, when analysts create conceptual models to abstractly represent domain reality, are call business patterns or analysis patterns. Although various business patterns were proposed in previous studies, we found that business semantics were missing in these patterns. These business patterns failed to show functionalities that is essential to patterns in general. Most of these patterns were also not capable of describing business activities, the dynamic aspect of business. This study is conducted to address these issues. In this thesis, we provide a brief literature review on business patterns, and discuss the major problems we found in these studies. Then we introduce our research approach and the major outcomes. We propose a new definition of business patterns with business semantics, which enables us to recover the missing functionality in business patterns. We suggest the key elements to represent business patterns, and propose a two-level template (functional and operational) to describe these elements. Based on theR²M approach, we propose a modeling method with graphical notations to describe the operational level of patterns, where business activities can be modeled. Examples and a case study are provided in this thesis to demonstrate how to use the modeling method and how to use business patterns in practice.
2

Using patterns in conceptual modeling of business activities

He, Feihu 11 1900 (has links)
Patterns are used as building blocks for design and construction in many fields such as architecture, music, literature, etc. Researchers and practitioners in the information systems area have been exploring patterns and using them in system analysis and design. Patterns found in the analysis stage, when analysts create conceptual models to abstractly represent domain reality, are call business patterns or analysis patterns. Although various business patterns were proposed in previous studies, we found that business semantics were missing in these patterns. These business patterns failed to show functionalities that is essential to patterns in general. Most of these patterns were also not capable of describing business activities, the dynamic aspect of business. This study is conducted to address these issues. In this thesis, we provide a brief literature review on business patterns, and discuss the major problems we found in these studies. Then we introduce our research approach and the major outcomes. We propose a new definition of business patterns with business semantics, which enables us to recover the missing functionality in business patterns. We suggest the key elements to represent business patterns, and propose a two-level template (functional and operational) to describe these elements. Based on theR²M approach, we propose a modeling method with graphical notations to describe the operational level of patterns, where business activities can be modeled. Examples and a case study are provided in this thesis to demonstrate how to use the modeling method and how to use business patterns in practice.
3

Using patterns in conceptual modeling of business activities

He, Feihu 11 1900 (has links)
Patterns are used as building blocks for design and construction in many fields such as architecture, music, literature, etc. Researchers and practitioners in the information systems area have been exploring patterns and using them in system analysis and design. Patterns found in the analysis stage, when analysts create conceptual models to abstractly represent domain reality, are call business patterns or analysis patterns. Although various business patterns were proposed in previous studies, we found that business semantics were missing in these patterns. These business patterns failed to show functionalities that is essential to patterns in general. Most of these patterns were also not capable of describing business activities, the dynamic aspect of business. This study is conducted to address these issues. In this thesis, we provide a brief literature review on business patterns, and discuss the major problems we found in these studies. Then we introduce our research approach and the major outcomes. We propose a new definition of business patterns with business semantics, which enables us to recover the missing functionality in business patterns. We suggest the key elements to represent business patterns, and propose a two-level template (functional and operational) to describe these elements. Based on theR²M approach, we propose a modeling method with graphical notations to describe the operational level of patterns, where business activities can be modeled. Examples and a case study are provided in this thesis to demonstrate how to use the modeling method and how to use business patterns in practice. / Business, Sauder School of / Management Information Systems, Division of / Graduate
4

Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models

GUERSON, J. O. 28 May 2015 (has links)
Made available in DSpace on 2016-08-29T15:33:21Z (GMT). No. of bitstreams: 1 tese_8885_JohnMScThesis[final]20150703-110844.pdf: 2078817 bytes, checksum: b7867cf01fac04ad68223c7eeca3fe68 (MD5) Previous issue date: 2015-05-28 / Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models.
5

An Object Oriented Simulator for Conceptual Graphs

Sastry, Kiran Srinivasa 12 May 2001 (has links)
This thesis deals with the design and implementation of an object-oriented simulator for conceptual graphs. Conceptual graphs are a means of representing information and knowledge. In particular, they may be used to represent the behavior of mechanisms. Conceptual graph simulation provides the means for verifying that the conceptual graph model of the system is a proper representation of the mechanism. The motivation for the design of this simulator is to help a conceptual graph model designer overcome the imprecision and ambiguity inherent in the English language. When a person translates an English language specification of a system to a conceptual graph model, the model may be incomplete, owing to semantic gaps in the English language specification. The simulator attempts to help the designer fill in these gaps by pointing out missing concepts and relations needed to simulate the model. This thesis covers the issues involved in designing such a simulator, and the implementation of the simulator in Java. The working of the simulator is demonstrated by simulating sample conceptual graphs. Also, a set of action procedures, and a small library of device schema graphs are created, so that devices may be effectively modeled. / Master of Science
6

Foundations for Multi-level Ontology-based Conceptual Modeling

CARVALHO, V. A. 16 December 2016 (has links)
Made available in DSpace on 2018-08-02T00:04:06Z (GMT). No. of bitstreams: 1 tese_10529_foundations_for_ontology_based_multi_level_conceptual_modeling_2012 - victorio.pdf: 6142526 bytes, checksum: 3e3483b04f4e9b86ab648e66104ac1e2 (MD5) Previous issue date: 2016-12-16 / Considerando que modelos conceituais são produzidos com o objetivo de representar certos aspectos do mundo físico e social de acordo com uma conceituação específica e que ontologias buscam descrever conceituações, tem havido crescente interesse no uso de ontologias para fornecer uma base teórica sólida para a disciplina de modelagem conceitual. Esse interesse deu origem a uma área de pesquisa denominada modelagem conceitual baseada em ontologias, com avanços significativos na modelagem conceitual nas últimas décadas. Apesar desses avanços, a modelagem baseada em ontologias não provê suporte adequado à modelagem de domínios que exigem a representação de categorias de indivíduos e de categorias de categorias (ou tipos de tipos). A representação de entidades de vários "níveis" de classificação tem sido o foco de uma área de pesquisa distinta denominada modelagem multi-nível. As iniciativas em modelagem multi-nível visam a contornar as limitações impostas pelo paradigma convencional de modelagem em dois níveis. Apesar das contribuições relevantes das áreas de modelagem multi-nível e de modelagem conceitual baseada em ontologias, a combinação dessas duas áreas ainda não recebeu a devida atenção. Este trabalho explora essa lacuna propondo o uso combinado de teorias formais para a modelagem multi-nível e de ontologias de fundamentação para apoiar o que chamamos de modelagem conceitual multi-nível baseada em ontologias. Para fornecer uma abordagem bem fundamentada à modelagem conceitual multi-nível, desenvolvemos uma teoria chamada MLT. MLT caracteriza formalmente a natureza dos níveis de classificação e define precisamente as relações que podem ocorrer entre elementos de diferentes níveis de classificação. A fim de aproveitar os benefícios do uso de ontologias de fundamentação na modelagem de domínios que abrangem vários níveis de classificação, combinamos MLT com uma ontologia de fundamentação. Essa combinação resulta em uma abordagem de modelagem que apoia a construção de modelos conceituais multi-níveis em um espectro de níveis de especificidade, desde ontologias de fundamentação até modelos conceituas de domínios específicos. Para demonstrar a aplicabilidade da nossa abordagem de modelagem conceitual multi-nível baseada em ontologias, a empregamos para desenvolver uma ontologia núcleo para estruturas organizacionais, um domínio que abrange vários níveis de classificação. Além disso, mostramos como MLT pode ser usada como uma teoria de referência para esclarecer a semântica e aumentar a expressividade de UML no que diz respeito à representação de modelos de multi-níveis. O perfil UML produzido viabiliza a aplicação prática de MLT pela comunidade de modelagem conceitual.
7

Validation of UML conceptual schemas with OCL constraints and operations

Queralt Calafat, Anna 02 March 2009 (has links)
Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament correcte.La correctesa d'un esquema conceptual es pot veure des de dues perspectives. Per una banda, des del punt de vista de la seva definició, determinar la correctesa d'un esquema conceptual consisteix en respondre la pregunta "És correcte l'esquema conceptual?". Aquesta pregunta es pot respondre determinant si l'esquema satisfà certes propietats, com satisfactibilitat, no redundància o executabilitat de les seves operacions.D'altra banda, des de la perspectiva dels requisits que el sistema d'informació ha de satisfer, l'esquema conceptual no només ha de ser correcte sinó que també ha de ser el correcte. Per tal d'assegurar-ho, el dissenyador necessita algun tipus de guia i ajut durant el procés de validació, de manera que pugui entendre què està representant l'esquema exactament i veure si es correspon amb els requisits que s'han de formalitzar.En aquesta tesi presentem una aproximació que millora els resultats de les propostes anteriors adreçades a validar un esquema conceptual en UML, amb les restriccions i operacions formalitzades en OCL. La nostra aproximació permet validar un esquema conceptual tant des del punt de vista de la seva definició com de la seva correspondència amb els requisits.La validació es porta a terme mitjançant un conjunt de proves que s'apliquen a l'esquema, algunes de les quals es generen automàticament mentre que d'altres són definides ad-hoc pel dissenyador. Totes les proves estan formalitzades de tal manera que es poden tractar d'una manera uniforme,independentment de la propietat específica que determinen.La nostra proposta es pot aplicar tant a un esquema conceptual complet com només a la seva part estructural. Quan es pretén validar només la part estructural d'un esquema, oferim un conjunt de condicions que permeten determinar si qualsevol prova de validació que es pugui fer sobrel'esquema acabarà en temps finit. Per aquells casos en els quals aquestes condicions de terminació se satisfan, també proposem un procediment de raonament sobre l'esquema que s'aprofita d'aquest fet i és més eficient que en el cas general. Aquesta aproximació permet validar esquemes conceptuals molt expressius, assegurant completesa i decidibilitat al mateix temps.Per provar la factibilitat de la nostra aproximació, hem implementat el procés de validació complet per a la part estructural d'un esquema. A més, per a la validació d'un esquema conceptual que inclou la definició del comportament, hem implementat el procediment de raonament estenent un mètode existent. / To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain and the functions it has to perform is semantically correct.The correctness of a conceptual schema can be seen from two different perspectives. On the one hand, from the point of view of its definition, determining the correctness of a conceptual schema consists in answering to the question "Is the conceptual schema right?". This can be achieved by determining whether the schema fulfills certain properties, such as satisfiability, non-redundancy or operation executability.On the other hand, from the perspective of the requirements that the information system should satisfy, not only the conceptual schema must be right, but it also must be the right one. To ensure this, the designer must be provided with some kind of help and guidance during the validation process, so that he is able to understand the exact meaning of the schema and see whether it corresponds to the requirements to be formalized.In this thesis we provide an approach which improves the results of previous proposals that address the validation of a UML conceptual schema, with its constraints and operations formalized in OCL. Our approach allows to validate the conceptual schema both from the point of view of its definition and of its correspondence to the requirements.The validation is performed by means of a set of tests that are applied to the schema, including automatically generated tests and ad-hoc tests defined by the designer. All the validation tests are formalized in such a way that they can be treated uniformly, regardless the specific property they allow to test.Our approach can be either applied to a complete conceptual schema or only to its structural part. In case that only the structural part is validated, we provide a set of conditions to determine whether any validation test performed on the schema will terminate. For those cases in which these conditions of termination are satisfied, we also provide a reasoning procedure that takes advantage of this situation and works more efficiently than in the general case. This approach allows the validation of very expressive schemas and ensures completeness and decidability at the same time. To show the feasibility of our approach, we have implemented the complete validation process for the structural part of a conceptual schema.Additionally, for the validation of a conceptual schema with a behavioral part, the reasoning procedure has been implemented as an extension of an existing method.
8

Testing and test-driven development of conceptual schemas

Tort Pugibet, Albert 11 April 2012 (has links)
The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its implementation. However, the quality of an IS can be largely determined in the first stages of its development. Several studies reveal that more than half the errors that occur during systems development are requirements errors. A requirements error is defined as a mismatch between requirements specification and stakeholders¿ needs and expectations. Conceptual modeling is an essential activity in requirements engineering aimed at developing the conceptual schema of an IS. The conceptual schema is the general knowledge that an IS needs to know in order to perform its functions. A conceptual schema specification has semantic quality when it is valid and complete. Validity means that the schema is correct (the knowledge it defines is true for the domain) and relevant (the knowledge it defines is necessary for the system). Completeness means that the conceptual schema includes all relevant knowledge. The validation of a conceptual schema pursues the detection of requirements errors in order to improve its semantic quality. Conceptual schema validation is still a critical challenge in requirements engineering. In this work we contribute to this challenge, taking into account that, since conceptual schemas of IS can be specified in executable artifacts, they can be tested. In this context, the main contributions of this Thesis are (1) an approach to test conceptual schemas of information systems, and (2) a novel method for the incremental development of conceptual schemas supported by continuous test-driven validation. As far as we know, this is the first work that proposes and implements an environment for automated testing of UML/OCL conceptual schemas, and the first work that explores the use of test-driven approaches in conceptual modeling. The testing of conceptual schemas may be an important and practical means for their validation. It allows checking correctness and completeness according to stakeholders¿ needs and expectations. Moreover, in conjunction with the automatic check of basic test adequacy criteria, we can also analyze the relevance of the elements defined in the schema. The testing environment we propose requires a specialized language for writing tests of conceptual schemas. We defined the Conceptual Schema Testing Language (CSTL), which may be used to specify automated tests of executable schemas specified in UML/OCL. We also describe a prototype implementation of a test processor that makes feasible the approach in practice. The conceptual schema testing approach supports test-last validation of conceptual schemas, but it also makes sense to test incomplete conceptual schemas while they are developed. This fact lays the groundwork of Test-Driven Conceptual Modeling (TDCM), which is our second main contribution. TDCM is a novel conceptual modeling method based on the main principles of Test-Driven Development (TDD), an extreme programming method in which a software system is developed in short iterations driven by tests. We have applied the method in several case studies, in the context of Design Research, which is the general research framework we adopted. Finally, we also describe an integration approach of TDCM into a broad set of software development methodologies, including the Unified Process development methodology, MDD-based approaches, storytest-driven agile methods and goal and scenario-oriented requirements engineering methods. / Els enfocaments per assegurar la qualitat deis sistemes d'informació s'han basal tradicional m en! en l'avaluació de la seva implementació. No obstan! aix6, la qualitat d'un sis tema d'informació pot ser ampliament determinada en les primeres fases del seu desenvolupament. Diversos estudis indiquen que més de la meitat deis errors de software són errors de requisits . Un error de requisit es defineix com una desalineació entre l'especificació deis requisits i les necessitats i expectatives de les parts im plicades (stakeholders ). La modelització conceptual és una activitat essencial en l'enginyeria de requisits , l'objectiu de la qual és desenvolupar !'esquema conceptual d'un sistema d'informació. L'esquema conceptual és el coneixement general que un sistema d'informació requereix per tal de desenvolupar les seves funcions . Un esquema conceptual té qualitat semantica quan és va lid i complet. La valides a implica que !'esquema sigui correcte (el coneixement definit és cert peral domini) i rellevant (el coneixement definit és necessari peral sistema). La completes a significa que !'esquema conceptual inclou tot el coneixement rellevant. La validació de !'esquema conceptual té coma objectiu la detecció d'errors de requisits per tal de millorar la qualitat semantica. La validació d'esquemes conceptuals és un repte crític en l'enginyeria de requisits . Aquesta te si contribueix a aquest repte i es basa en el fet que els es quemes conceptuals de sistemes d'informació poden ser especificats en artefactes executables i, per tant, poden ser provats. Les principals contribucions de la te si són (1) un enfocament pera les pro ves d'esquemes conceptuals de sistemes d'informació, i (2) una metodología innovadora pel desenvolupament incremental d'esquemes conceptuals assistit per una validació continuada basada en proves . Les pro ves d'esquemes conceptuals poden ser una im portant i practica técnica pera la se va validació, jaque permeten provar la correctesa i la completesa d'acord ambles necessitats i expectatives de les parts interessades. En conjunció amb la comprovació d'un conjunt basic de criteris d'adequació de les proves, també podem analitzar la rellevancia deis elements definits a !'esquema. L'entorn de test proposat inclou un llenguatge especialitzat per escriure proves automatitzades d'esquemes conceptuals, anomenat Conceptual Schema Testing Language (CSTL). També hem descrit i implementa! a un prototip de processador de tes tos que fa possible l'aplicació de l'enfocament proposat a la practica. D'acord amb l'estat de l'art en validació d'esquemes conceptuals , aquest és el primer treball que proposa i implementa un entorn pel testing automatitzat d'esquemes conceptuals definits en UML!OCL. L'enfocament de proves d'esquemes conceptuals permet dura terme la validació d'esquemes existents , pero també té sentit provar es quemes conceptuals incomplets m entre estant sent desenvolupats. Aquest fet és la base de la metodología Test-Driven Conceptual Modeling (TDCM), que és la segona contribució principal. El TDCM és una metodología de modelització conceptual basada en principis basics del Test-Driven Development (TDD), un métode de programació en el qual un sistema software és desenvolupat en petites iteracions guiades per proves. També hem aplicat el métode en diversos casos d'estudi en el context de la metodología de recerca Design Science Research. Finalment, hem proposat enfocaments d'integració del TDCM en diverses metodologies de desenvolupament de software.
9

Cocreating Value in Knowledge-intensive Business Services: An Empirically-grounded Design Framework and a Modelling Technique

Lessard, Lysanne 22 July 2014 (has links)
While knowledge-intensive business services (KIBS) play an important role in industrialized economies, little research has focused on how best to support their design. The emerging understanding of service as a process of value cocreation – or collaborative value creation – can provide the foundations for this purpose; however, this body of literature lacks empirically grounded explanations of how value is actually cocreated and does not provide adequate design support for the specific context of KIBS. This research thus first identifies generative mechanisms of value cocreation in KIBS engagements; it then develops a design framework from this understanding; finally, it elaborates a modeling technique fulfilling the requirements derived from this design framework. A multiple-case study of two academic research and development service engagements, as a particular type of KIBS engagement, was first undertaken to identify generative mechanisms of value cocreation. Data was gathered through interviews, observation, and documentation, and was analyzed both inductively and deductively according to key concepts of value cocreation proposed in literature. Data from a third case study was then used to evaluate the ability of the modeling technique to support the analysis of value cocreation processes in KIBS engagements. Empirical findings identify two contextual factors; one core mechanism; six direct mechanisms; four supporting mechanisms; and two overall processes of value cocreation, aligning and integrating. These findings emphasize the strategic nature of value cocreation in KIBS engagements. Results include an empirically grounded design framework that identifies points of intervention to foster value cocreation in KIBS engagements, and from which modeling requirements are derived. To fulfill these requirements, a modeling technique Value Cocreation Modeling 2 (VCM2) was created by adapting and combining concepts from several existing modeling approaches developed for strategic actors modeling, value network modeling, and business intelligence modeling.
10

Data Quality By Design: A Goal-oriented Approach

Jiang, Lei 13 August 2010 (has links)
A successful information system is the one that meets its design goals. Expressing these goals and subsequently translating them into a working solution is a major challenge for information systems engineering. This thesis adopts the concepts and techniques from goal-oriented (software) requirements engineering research for conceptual database design, with a focus on data quality issues. Based on a real-world case study, a goal-oriented process is proposed for database requirements analysis and modeling. It spans from analysis of high-level stakeholder goals to detailed design of a conceptual databases schema. This process is then extended specifically for dealing with data quality issues: data of low quality may be detected and corrected by performing various quality assurance activities; to support these activities, the schema needs to be revised by accommodating additional data requirements. The extended process therefore focuses on analyzing and modeling quality assurance data requirements. A quality assurance activity supported by a revised schema may involve manual work, and/or rely on some automatic techniques, which often depend on the specification and enforcement of data quality rules. To address the constraint aspect in conceptual database design, data quality rules are classified according to a number of domain and application independent properties. This classification can be used to guide rule designers and to facilitate building of a rule repository. A quantitative framework is then proposed for measuring and comparing DQ rules according to one of these properties: effectiveness; this framework relies on derivation of formulas that represent the effectiveness of DQ rules under different probabilistic assumptions. A semi-automatic approach is also presented to derive these effectiveness formulas.

Page generated in 0.1795 seconds