Dissertations / Theses: 'Requirements Ontology'

1

Siegemund, Katja. "Contributions To Ontology-Driven Requirements Engineering." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-162704.

Full text

Abstract:

Today, it is well known that missing, incomplete or inconsistent requirements lead to faulty software designs, implementations and tests resulting in software of improper quality or safety risks. Thus, an improved Requirements Engineering contributes to safer and better-quality software, reduces the risk of overrun time and budgets and, most of all, decreases or even eliminates the risk for project failures. One significant problem requirements engineers have to cope with, are inconsistencies in the Software Requirements Specification. Such inconsistencies result from the acquisition, specification, and evolution of goals and requirements from multiple stakeholders and sources. In order to regain consistency, requirements information are removed from the specification which often leads to incompleteness. Due to this causal relationship between consistency, completeness and correctness, we can formally improve the correctness of requirements knowledge by increasing its completeness and consistency. Furthermore, the poor quality of individual requirements is a primary reason why so many projects continue to fail and needs to be considered in order to improve the Software Requirements Specification. These flaws in the Software Requirements Specification are hard to identify by current methods and thus, usually remain unrecognised. While the validation of requirements ensures that they are correct, complete, consistent and meet the customer and user intents, the requirements engineer is hardly supported by automated validation methods. In this thesis, a novel approach to automated validation and measurement of requirements knowledge is presented, which automatically identifies incomplete or inconsistent requirements and quality flaws. Furthermore, the requirements engineer is guided by providing knowledge specific suggestions on how to resolve them. For this purpose, a requirements metamodel, the Requirements Ontology, has been developed that provides the basis for the validation and measurement support. This requirements ontology is suited for Goal-oriented Requirements Engineering and allows for the conceptualisation of requirements knowledge, facilitated by ontologies. It provides a huge set of predefined requirements metadata, requirements artefacts and various relations among them. Thus, the Requirements Ontology enables the documentation of structured, reusable, unambiguous, traceable, complete and consistent requirements as demanded by the IEEE specification for Software Requirement Specifications. We demonstrate our approach with a prototypic implementation called OntoReq. OntoReq allows for the specification of requirements knowledge while keeping the ontology invisible to the requirements engineer and enables the validation of the knowledge captured within. The validation approach presented in this thesis is capable of being applied to any domain ontology. Therefore, we formulate various guidelines and use a continuous example to demonstrate the transfer to the domain of medical drugs. The Requirements Ontology as well as OntoReq have been evaluated by different methods. The Requirements Ontology has been shown to be capable for capturing requirements knowledge of a real Software Requirements Specification and OntoReq feasible to be used by a requirements engineering tool to highlight inconsistencies, incompleteness and quality flaws during real time requirements modelling.

APA, Harvard, Vancouver, ISO, and other styles

2

Yu, Jonathan, and Jonathan Yu@csiro au. "Requirements-Oriented Methodology for Evaluating Ontologies." RMIT University. Computer Science and Information Technology, 2009. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20090514.142724.

Full text

Abstract:

Ontologies play key roles in many applications today. Therefore, whether using a newly-specified ontology or an existing ontology for use in its target application, it is important to determine the suitability of an ontology to the application at hand. This need is addressed by carrying out ontology evaluation, which determines qualities of an ontology using methodologies, criteria or measures. However, for addressing the ontology requirements from a given application, it is necessary to determine what the appropriate set of criteria and measures are. In this thesis, we propose a Requirements-Oriented Methodology for Evaluating Ontologies (ROMEO). ROMEO outlines a methodology for determining appropriate methods for ontology evaluation that incorporates a suite of existing ontology evaluation criteria and measures. ROMEO helps ontology engineers to determine relevant ontology evaluation measures for a given set of ontology requirements by linking these requirements to existing ontology evaluation measures through a set of questions. There are three main parts to ROMEO. First, ontology requirements are elicited from a given application and form the basis for an appropriate evaluation of ontologies. Second, appropriate questions are mapped to each ontology requirement. Third, relevant ontology evaluation measures are mapped to each of those questions. From the ontology requirements of an application, ROMEO is used to determine appropriate methods for ontology evaluation by mapping applicable questions to the requirements and mapping those questions to appropriate measures. In this thesis, we perform the ROMEO methodology to obtain appropriate ontology evaluation methods for ontology-driven applications through case studies of Lonely Planet and Wikipedia. Since the mappings determined by ROMEO are dependent on the analysis of the ontology engineer, the validation of these mappings is needed. As such, in addition to proposing the ROMEO methodology, a method for the empirical validation of ROMEO mappings is proposed in this thesis. We report on two empirical validation experiments that are carried out in controlled environments to examine the performance of the ontologies over a set of tasks. These tasks vary and are used to compare the performance of a set of ontologies in the respective experimental environment. The ontologies used vary on a specific ontology quality or measure being examined. Empirical validation experiments are conducted for two mappings between questions and their associated measures, which are drawn from case studies of Lonely Planet and Wikipedia. These validation experiments focus on mappings between questions and their measures. Furthermore, as these mappings are application-independent, they may be reusable in subsequent applications of the ROMEO methodology. Using a ROMEO mapping from the Lonely Planet case study, we validate a mapping of a coverage question to the F-measure. The validation experiment carried out for this mapping was inconclusive, thus requiring further analysis. Using a ROMEO mapping from the Wikipedia case study, we carry out a separate validation experiment examining a mapping between an intersectedness question and the tangledness measure. The results from this experiment showed the mapping to be valid. For future work, we propose additional validation experiments for mappings that have been identified between questions and measures.

APA, Harvard, Vancouver, ISO, and other styles

3

Al-Ahmad, Bilal Ibrahim. "Domain Ontology Based Detection Approach to Identify Effect Types of Security Requirements upon Functional Requirements." Diss., North Dakota State University, 2015. https://hdl.handle.net/10365/27632.

Full text

Abstract:

Requirements engineering is a subfield of software engineering that is concerned with analyzing software requirements specifications. An important process of requirement engineering is tracing requirements to investigate relationships between requirements and other software artifacts (i.e., source code, test cases, etc.). Requirements traceability is mostly manual because of difficulties automating the process. A specific mode of tracing is inter-requirements traceability, which focuses on tracing requirements with other requirements. Investigating inter-requirements traceability is very important because it has significant influence on many activities of software engineering such as requirements implementation, consistency checking, and requirements impact change management. Several studies used different approaches to identify three types of relationships: cooperative, conflicting, and irrelevant. However, the current solutions have several shortcomings: (1) only applicable to fuzzy requirements, user requirements, and technical requirements, (2) ignoring the syntactic and semantic aspects of software requirements, and (3) little attention was given to show the influence of security requirements on functional requirements. Furthermore, several traceability tools have a lack of using predefined rules to identify relationships.

APA, Harvard, Vancouver, ISO, and other styles

4

Mahmud, Nesredin. "Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35386.

Full text

Abstract:

Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. Besides to natural language, template-based requirementsspecification methods are used to specify requirements specifications (esp. insafety-critical applications), which reduce ambiguity and improves the com-prehensibility of the specifications. However, the template-based method areusually rigid due to the fixed structures of the templates. They also lack meta-models for extensibility, and template selection is challenging.In this thesis, we proposed a domain specific language for embedded sys-tems, called ReSA, which is constrained natural language but flexible enoughto allow engineers to use different constructs to specify requirements. Thelanguage has formal semantics in proportional logic and description logic thatenables non-trivial and rigorous analysis of requirements specification, e.g.,consistency checking, completeness of specifications, etc.Moreover, we propose a scalable formal verification of Simulink models,whichisusedtodescribethebehaviorofsystemsthroughcommunicatingfunc-tional blocks. In industry, Simulink is the de facto modeling and analysis en-vironment of embedded systems. It is also used to generate code automati-cally from special Simulink models for various hardware platforms. However,Simulink lacks formal approach to verify large and hybrid Simulink models.Therefore, we also propose a formal verification of Simulink models, repre-sented as stochastic timed automata, using statistical model checking, whichhas proven to scale for industrial applications.We validate our approaches on industrial use cases from the automotiveindustry. These includes Adjustable Speed Limiter (ASL) and Brake-By-Wire(BBW) systems from Volvo Group Trucks Technology, both safety-critical. Verispec

APA, Harvard, Vancouver, ISO, and other styles

5

Karatas, Elif Kamer. "An Ontology-based Approach To Requirements Reuse Problem In Software Product Lines." Master's thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12614615/index.pdf.

Full text

Abstract:

With new paradigms in software engineering such as Software Product Lines, scope of reuse is enlarged from implementation upto design, requirements, test-cases, etc. In this thesis an ontology-based approach is proposed as a solution to systematic requirement reuse problem in software product lines, and the approach is supported with a reuse automation tool. A case study is performed on the projects of an industrial software product line using hereby proposed solution and then based on the evaluated metrics it&rsquo s reported that the content of requirements specifications documents can be prepared upto 80% by derivation of reusable requirements.

APA, Harvard, Vancouver, ISO, and other styles

6

Siegemund, Katja [Verfasser], Uwe [Akademischer Betreuer] Aßmann, and Gerd [Akademischer Betreuer] Wagner. "Contributions To Ontology-Driven Requirements Engineering / Katja Siegemund. Gutachter: Uwe Aßmann ; Gerd Wagner." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://d-nb.info/1069096571/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Dwairi, S. "Development of an Ontology-based framework and tool for Employer Information Requirements (OntEIR)." Thesis, University of the West of England, Bristol, 2018. http://eprints.uwe.ac.uk/38154/.

Full text

Abstract:

The identification of proper requirements is a key factor for a successful construction project. Many attempts in the form of frameworks, models, and tools have been put forward to assist in identifying those requirements. In projects using Building Information Modelling (BIM), the Employer Information Requirements (EIR) is a fundamental ingredient in achieving a successful BIM project. As of April 2016, Building Information Modelling (BIM) was mandated for all UK government projects, as part of the Government Construction Strategy. This means that all central Government departments must only tender with suppliers that demonstrate their capability on working with the Level-2 BIM. One of the fundamental ingredients of achieving the BIM Level-2 is the provision of full and clear Employer Information Requirements (EIR). As defined by PAS 1192-2, EIR is a "pre- tender document that sets out the information to be delivered and the standards and processes to be adopted by the suppler as part of the project delivery process". it also notes that "EIR should be incorporated into tender documentation to enable suppliers to produce an initial BIM Execution Plan (BEP)". Effective definition of EIRs can contribute to better productivity; within the budget and time limit set and improve the quality of the built facility. Also, EIR contribute to the information clients get at the end of the project, which will enable the effective management and operation of the asset at less cost, in an industry, where typically 60% of the cost go towards maintenance and operation. The aim of this research is to develop a better approach, for producing a full and complete set of EIRs, which ensures that the clients information needs for the final model delivered by BIM be clearly defined from the very beginning of the BIM process. It also manages the collaboration between the different stakeholders of the project, which allows them to communicate and deliver to the client's requirements. In other words, an EIR that manages the whole BIM process and the information delivered throughout its lifecycle, and the standards to be adopted by the suppliers as an essential ingredient for the success of a BIM project. For the research to be able to achieve the aims set and the formulated objectives, firstly a detailed and critical review on related work and issues was conducted. Then the initial design of the OntEIR Framework, which introduced the new categorisation system of the information requirements and the elicitation of requirements from high-level needs using ontology was presented. A research prototype of an online tool was developed as a proof-of- concept to implement and operationalise the research framework. The evaluation of the framework and prototype tool via interviews and questionnaires was conducted with both industry experts and inexperienced stakeholders. The findings indicate iv that the adoption of the framework and tool, in addition to the new categorisation system, could contribute towards effective and efficient development of EIRs that provide a better understanding of the information requirements as requested by BIM, and support the production of a complete BIM Execution Plan (BEP) and a Master Information Delivery Plan (MIDP).

APA, Harvard, Vancouver, ISO, and other styles

8

Umoh, Emem Koffi. "REFINTO : an ontology-based requirements engineering framework for business-IT alignment in financial services." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/refinto-an-ontologybased-requirements-engineering-framework-for-businessit-alignment-in-financial-services(06738060-cedd-47cb-925e-1b897129bfd0).html.

Full text

Abstract:

Business-IT alignment has been a top research topic for three decades now and consistently ranks high on CIO priorities and concerns. In spite of its seeming advantages, sustainable business-IT alignment remains elusive in practice. This can be attributed to the language and knowledge gaps which impede mutual understanding between business and IT stakeholders. It can also be attributed to the limitations imposed by approaching alignment solely from a strategic perspective. This thesis argues for an ontology-based framework that bridges the language and knowledge gaps through closer interaction between business and IT stakeholders throughout the software development and project management lifecycles, especially at the requirements engineering stage. Attempts at achieving sustainable business-IT alignment predominantly focus on strategic alignment and have not been successful for various reasons. Firstly, driving down alignment initiatives to the operational and tactical levels is challenging. Secondly, it is difficult to operationalize the metrics used for evaluating alignment maturity at strategic levels. These limitations are less pronounced at the functional levels of an organization. It is at these levels that business strategies are executed and interaction between business and IT personnel is most frequent. The interaction between business and IT stakeholders in the execution of IT projects presents an opportunity that can be leveraged to drive alignment maturity. The proposed framework is discussed in terms of its underpinning hypotheses, workflows, tool design and implementation, its use with a third party framework and tool. Antecedents to operational and tactical alignment such as quality, reuse, communication, learning, and shared understanding, are proposed as a practical means of achieving sustainable alignment maturity. The framework is applied to real world, business-critical projects in a top global financial services organization and validated using descriptive statistical analysis and structural equation modelling techniques. Contributions made through the study are highlighted. This includes the Alignment Forces Model which unifies the proposed framework and its support tool within software development and project management lifecycles. The Alignment Forces model and how it can be applied in practice is presented. Results of the quantitative data analyses indicate support for the arguments for the framework towards improving business-IT alignment, however with some limitations. Results also indicate support for the hypotheses for the antecedents to sustainable alignment maturity at lower organizational levels put forward. Finally, suggestions on furthering the study, addressing its limitations, and refining the framework and tool are articulated.

APA, Harvard, Vancouver, ISO, and other styles

9

CERQUEIRA, ANA LUIZA AVILA. "THE INTEGRATION OF BUSINESS PROCESS MODELING AND BUSINESS ONTOLOGY: AN METHOD FOR FACILITADE REQUIREMENTS ELICITATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2007. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10986@1.

Full text

Abstract:

FUNDAÇÃO DE APOIO A PESQUISA DA BAHIA A definição dos requisitos do software, onde os engenheiros interagem com os clientes para conhecerem as atividades da organização e entenderem suas necessidades, é um processo chave para o sucesso dos sistemas de informação. Portanto, requisitos definidos de maneira clara e de acordo com as necessidades dos clientes são condições fundamentais para o desenvolvimento de sistemas de informações úteis para a organização. Nessa dissertação propomos um método que visa auxiliar o engenheiro de requisitos na tarefa de elicitação de requisitos mais aderentes ao negocio e com isto conseguir desenvolver melhores sistemas de informação para as organizações.O método proposto parte do princípio que, integrando conhecimentos adquiridos com o modelo de processo do negócio, e o modelo ontológico do negócio, podemos produzir uma sólida fonte de conhecimentos. O uso dessa fonte de conhecimentos na elicitação dos requisitos do sistema de informação da organização objetiva prover aos engenheiros de requisitos uma sólida base para a definição de requisitos aderentes ao negócio da organização. A integração da perspectiva ontológica com a perspectiva de processos é detalhada e exemplificada através de um estudo de caso. Requirements definition, where engineers interact with clients to better know the organization`s activities and understand their needs, is a key process to the success of an information system. As such, requirements defined with clarity and according to the client`s needs are fundamental to the development of effective information systems for the organization. This dissertation proposes a method to help requirements engineers in the task of eliciting requirements. These requirements must be in accordance with the business as to improve the quality of the organization`s information systems. The proposed method integrates process modeling and business ontology. The work assumes that the integration of these perspectives provides a solid source of organization knowledge. Using this knowledge source, requirements engineers are empowered to define requirements that better fits the organization business. The integration of process modeling and business ontology is described in detail and exemplified by a case study.

APA, Harvard, Vancouver, ISO, and other styles

10

Ahmed, Saqib, and Bilal Ahmad. "Transforming Requirements to Ontologies." Thesis, Jönköping University, Tekniska Högskolan, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-50048.

Full text

Abstract:

Capturing client’s needs and expectations for a product or service is an important problem in software development. Software requirements are normally captured in natural language and mostly they are unstructured which makes it difficult to automate the process of going from software requirements to the executable code. A big hurdle in this process is the lack of consistency and standardization in software requirements representation. Thus, the aim of the thesis is to present a method for transforming natural language requirement text into ontology. It is easy to store and retrieve information from ontology as it is a semantic model, and it is also easy to infer new knowledge from it. As it is clear from the aim of this work, the main component of our research was software requirements, so there was a need to investigate and decide the types of requirements to define the scope of this research. We selected INCOSE guidelines as a benchmark to scrutinize the properties which we desired in the Natural Language Requirements. These natural language requirements were used in the form of user stories as the input of the transformation process. We selected a combination of two methods for our research i.e. Literature Review and Design Science Research. The reason for selecting these methods was to obtain a good grip on existing work going on in this field and then to combine the knowledge to propose new rules for the requirements to ontology transformation. We studied different domains during literature review such as Requirements Engineering, Ontologies, Natural Language Processing, and Information Extraction. The gathered knowledge was then used to propose the rules and the flow of their implementation. This proposed system was named as “Reqtology”. Reqtology defines the process, from taking the requirements in form of user stories, to extracting the useful information based on the rules and then classifying that information so that it can be used to form ontologies. The workflow consists of a 6-step process which starts from input text in form of user stories and at the end provides us entities which can be used for ontologies formation.

APA, Harvard, Vancouver, ISO, and other styles

11

Blake, Jacqueline. "Business-to-business communication and the requirements for an ontology for the Australian timber and wood products industry." University of Southern Queensland, Faculty of Business, 2006. http://eprints.usq.edu.au/archive/00003204/.

Full text

Abstract:

[Executive Summary]: The purpose of this thesis is to describe business-to-business communication and the characteristics of an open standard for electronic communication within the Australian timber and wood products industry. The current issues, future goals and strategies for using business-to-business communication identified by respondents in a questionnaire are discussed. The study addresses these questions, by using a self-administered questionnaire which was constructed and mailed to 2000 organisations. The questionnaire was used to ascertain a base-line of information systems’ use in the Australian timber and wood products industry, and to establish how to make successful the introduction of a more accessible means for system to system interoperation between organisations. A prototype domain specific ontology was engineered using content analysis of a representative timber and wood product organisation product listing. A visual representation of the ontology modelled using unified modelling language is presented. The formal specification of the ontology was constructed using an ontology editor, Protégé. The outcomes of the questionnaire include that the industry has a small number of large enterprises and a large proportion of small to medium enterprises. Computer and Internet use in the industry is comparable to that in other Australian industry sectors. For both intrabranch and business-to- business the established communication modes of postal service, telephone and facsimile are those most frequently used. However where advanced information technology modes exist, it is used extensively. Use of electronic data interchange is now used mostly by organisations employing over 100 employees, whereas supply chain management use is limited. Small to medium enterprises have failed to adopt an information systems strategy plan, while organisations employing over 100 do have plans in place. Attitudes toward information technology, business-to-business communication and information systems security are dependent upon organisational size while compliance to information systems’ standards was not. Barriers to adoption of technology specific communication identified in the study are location, lack of resources, organisational size and a lack of planning. Drivers to increase the bandwagon effect in the industry are education and the availability of a simple low-cost complete package to demystify technology intensive electronic business-to-business communication. For the ontology to proceed to a standard a collaborative effort must be made by industry partners to reach consensus on an acceptable standard.

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Yufei. "Ontology engineering the brain gene ontology case study : submitted by Yufei Wang ... in partial fulfillment of the requirements for the degree of Master of Computer and Information Sciences, Auckland University of Technology, March 2007." Click here access this resource online, 2007. http://aut.researchgateway.ac.nz/handle/10292/104.

Full text

Abstract:

Thesis (MCIS - Computer and Information Sciences) --AUT University, 2007. Includes bibliographical references. Also held in print (ix, 74 leaves : ill. ; 30 cm.) in City Campus Theses Collection (T 006.33 WAN)

APA, Harvard, Vancouver, ISO, and other styles

13

Peng, Yong. "Modelling and designing IT-enabled service systems driven by requirements and collaboration." Phd thesis, INSA de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00737773.

Full text

Abstract:

Compared to traditional business services, IT-enabled services provide more value to customers and providers by enabling traditional business services with Information and Communication Technologies (ICT) and delivering them via e-channels (i.e., Internet, Mobile networks). Although IT-enabled service systems help in co-creating value through collaboration with customers during service design and delivery, they raise challenges when we attempt to understand, design and produce innovative and intelligent IT-enabled services from a multi-disciplinary perspective by including businesses, technology and people for value addition and increasing benefits. Due to their social-technical nature and characteristics (i.e., Intangibility, Inseparability, Perishability, Simultaneity), IT-enabled services also lack common methods to systemize services driven by customer requirements and their satisfactions and co-produce them through ad-hoc collaboration. In this thesis, we propose a middle-out methodology to model, design and systemize advanced IT-enabled service driven by customer requirements and collaboration among all actors to jointly co-create service systems. From a multi-disciplinary perspective, the methodology relies on a multi-view models including a service system reference model, a requirement model and a collaboration model to ensure system flexibility and adaptability to requirement changes and take into account joint efforts and collaboration of all service actors. The reference model aims at a multi-disciplinary description of services (ontological, systematical and characteristic-based descriptions), and formalizing business knowledge related to different domains. As for the requirement model, customer needs are specified in common expressiveness language understandable by all service actors and made possible its top-down propagation throughout service lifecycle and among actors. The collaboration model advocates a data-driven approach, which increases busi-ness, technical and semantic interoperability and exhibits stability in comparison to business processes centric approaches. Finally, the collaboration hinges on de-livery channels expressed as data flows and encapsulating business artifacts as per which business rules are generated to invoke underlying software components.

APA, Harvard, Vancouver, ISO, and other styles

14

Sadoun, Driss. "Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivot." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01060540.

Full text

Abstract:

Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.

APA, Harvard, Vancouver, ISO, and other styles

15

Verma, Anju. "Ontology based personalized modeling for chronic disease risk evaluation and knowledge discovery an integrated approach : a thesis submitted to Auckland University of Technology in fulfilment of the requirements for [the] degree of Doctor of Philosophy (PhD), 2009 /." Click here to access this resource online, 2009. http://hdl.handle.net/10292/784.

Full text

Abstract:

Populations are aging and the prevalence of chronic disease, persisting for many years, is increasing. The most common, non-communicable chronic diseases in developed countries are; cardiovascular disease (CVD), type 2 diabetes, obesity, arthritis and specific cancers. Chronic diseases such as cardiovascular disease, type 2 diabetes and obesity have high prevalence and develop over the course of life due to a number of interrelated factors including genetic predisposition, nutrition and lifestyle. With the development and completion of human genome sequencing, we are able to trace genes responsible for proteins and metabolites that are linked with these diseases. A computerized model focused on organizing knowledge related to genes, nutrition and the three chronic diseases, namely, cardiovascular disease, type 2 diabetes and obesity has been developed for the Ontology-Based Personalized Risk Evaluation for Chronic Disease Project. This model is a Protégé-based ontological representation which has been developed for entering and linking concepts and data for these three chronic diseases. This model facilitates to identify interrelationships between concepts. The ontological representation provides the framework into which information on individual patients, disease symptoms, gene maps, diet and life history can be input, and risks, profiles, and recommendations derived. Personal genome and health data could provide a guide for designing and building a medical health administration system for taking relevant annual medical tests, e.g. gene expression level changes for health surveillance. One method, called transductive neuro-fuzzy inference system with weighted data normalization is used to evaluate personalized risk of chronic disease. This personalized approach has been used for two different chronic diseases, predicting the risk of cardiovascular disease and predicting the risk of type 2 diabetes. For predicting the risk of cardiovascular disease, the National Nutrition Health Survey 97 data from New Zealand population has been used. This data contains clinical, anthropometric and nutritional variables. For predicting risk of type 2 diabetes, data from the Italian population with clinical and genetic variables has been used. It has been discovered that genes responsible for causing type 2 diabetes are different in male and female samples. A framework to integrate the personalized model and the chronic disease ontology is also developed with the aim of providing support for further discovery through the integration of the ontological representation in order to build an expert system in genes of interest and relevant dietary components.

APA, Harvard, Vancouver, ISO, and other styles

16

França, Heyde Francielle do Carmo. "Uma solução baseada em ontologia para a prevenção de erros comuns em modelos de requisitos escriitos na linguagem i*." Universidade Federal de Goiás, 2016. http://repositorio.bc.ufg.br/tede/handle/tede/5894.

Full text

Abstract:

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-08-09T17:19:49Z No. of bitstreams: 2 Dissertação - Heyde Francielle do Carmo França - 2016.pdf: 7287432 bytes, checksum: 9138c675f605c1734af600ab0faf3141 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-10T11:33:59Z (GMT) No. of bitstreams: 2 Dissertação - Heyde Francielle do Carmo França - 2016.pdf: 7287432 bytes, checksum: 9138c675f605c1734af600ab0faf3141 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Made available in DSpace on 2016-08-10T11:33:59Z (GMT). No. of bitstreams: 2 Dissertação - Heyde Francielle do Carmo França - 2016.pdf: 7287432 bytes, checksum: 9138c675f605c1734af600ab0faf3141 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-29 The Goal Oriented Requirements Engineering (GORE) approach represents users’ needs through goals with focus on capturing the real intentions of stakeholders. Based on the GORE technique, the i* modeling language represents system’s and organization’s goals and brings several advantages. Despite that, the i* language faces problems regarding the quality of models, which include typical mistakes of misuse of i* constructs, the presence of ambiguities on the interpretation of those constructs, and the complexity of the resulting i* models. The aim of this work is to present an ontology-based solution for i* models in order to reduce the most well-known errors while constructing such models. To achieve this goal was accomplished initially a literature search, followed by an experimental research to produce the proposed solution This solution includes the extension of an ontology called OntoiStar+ with OWL restrictions to ensure that frequent mistakes in i* models are not found. Besides, the TAGOOn+ tool was also extended to validate i* models in the iStarML language and convert those to an OWL representation.To perform the tests were modeled two different domains, Media Shop and on universities, using these domains case studies have been reproduced and measured results. Results demonstrate an approximate coverage of 70% of those common errors with extension of OntoiStar+ and more than 80% with extension of TAGOOn+ tool. A abordagem de Engenharia de Requisitos Orientada a Metas (do Inglês, GORE) representa as necessidades dos usuários através de metas e intenções, focando em capturar a real intenção dos stakeholders. Baseada na técnica GORE, a linguagem de modelagem i* representa metas do sistema e da organização e traz diversas vantagens. Apesar disso, a linguagem i* apresenta problemas relacionados à qualidade dos modelos, que incluem erros típicos de mau uso dos construtores, à presença de ambiguidades na interpretação dos construtores e à complexidade dos modelos resultantes. Assim, o objetivo desta dissertação é apresentar uma solução baseada em ontologia visando a redução de erros comuns em modelos de requisitos construídos na linguagem i*. Para atingir tal objetivo foi realizada inicialmente uma pesquisa bibliográfica, seguida de uma pesquisa experimental para produzir a solução proposta. Esta solução foi implementada realizando a extensão de um ontologia chamada OntoiStar+, na qual foram inseridas restrições na linguagem OWL para garantir que os erros frequentes de modelos i* não sejam reproduzidos. Foi realizada também a extensão da ferramenta TAGOOn+ para validação de modelos i* escritos em iStarML e conversão para modelos em OWL. Para realização dos testes foram modelados dois domínios diferentes, o Media Shop e um sobre universidades, usando estes domínios foram reproduzidos estudos de casos e mensurados os resultados. Os testes realizados em ambas soluções geraram resultados satisfatórios. Os resultados demonstraram uma cobertura de mais de 70% dos erros mais comuns com a extensão da OntoiStar+ e mais de 80% com a extensão da ferramenta TAGOOn+ .

APA, Harvard, Vancouver, ISO, and other styles

17

Wang, Yuepeng. "Integrative methods for gene data analysis and knowledge discovery on the case study of KEDRI's brain gene ontology a thesis submitted to Auckland University of Technology in partial fulfilment of the requirements for the degree of Master of Computer and Information sciences, 2008 /." Click here to access this resource online, 2008. http://hdl.handle.net/10292/467.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Damak, Youssef. "Operational Context-Based Design and Architecting of Autonomous Vehicles A semi-automated requirements reuse and recycling process for Autonomous Transportation Systems R&D." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASC029.

Full text

Abstract:

Les Véhicules Autonomes (VA) sont des systèmes émergents et considérés comme une pierre angulaire de la mobilité du futur. Leur conception est à l'origine de nombreux efforts de recherche universitaires et industrielles. L'industrialisation des VAs est un moyen pour les acteurs de la mobilité de renforcer le positionnement futur. Les VAs fonctionnent en interagissant avec leur contexte opérationnel (CO) et doivent être adaptés à celui-ci. L'adaptation des architectures des VAs à leur CO dès la conception devient un défi important dans la conception de VA robustes.L'état de l’art actuel ne propose pas de méthodes de conception d’architecture de VAs basées sur le CO. Ce travail de recherche vise à soutenir les activités d'architecture des Véhicules Autonomes pour aboutir à des architectures adaptées à leurs contextes opérationnels. Une ontologie du CO pour Véhicules Autonomes est proposée pour soutenir l'identification et la définition de scénarios dans la phase initiale de conception, suivant une approche de conception basée sur les scénarios. En utilisant cette ontologie, une méthode de conception de l'architecture logique des VAs basée sur l'OC est proposée. La prise en compte du CO dans les activités de conception d'architecture des VAs est renforcée par une deuxième méthode visant à évaluer l'impact du changement du CO sur l'architecture durant la phase de conception. Les contributions proposées sont validées par des études de cas industriels sur la conception d'architectures AV tenant en compte du CO et de son évolution Autonomous Vehicles (AV) are emerging systems and considered cornerstones of the future of mobility. Their design is a source of many academic and industrial research efforts. The industrialization of AV is the mean for mobility stakeholders to strengthen their future position. AVs function by interacting with their operational environment and must be fit for their Operational Context (OC). Adapting AVs architectures to their Operational Context during design becomes an important challenge in designing robust AV.The current state of the art does not propose AV architecting methods based on the OC. This research work aims to support the architecting activities of Autonomous Vehicles to result in architectures fit for their Operational Context. An OC ontology for AV is proposed to support scenario identification and definition in the early design phase, for a scenario-based design approach. Using this ontology, a method to design AV logical architecture based on the OC is proposed. The consideration of the OC in the architecting activities of AV is strengthened with a second method aiming at assessing the impact of OC change on the AV’s architecture during the design phase. The proposed contributions are validated with industrial case studies on the design of AV architectures given the OC and its evolution

APA, Harvard, Vancouver, ISO, and other styles

19

Laoufi, Nabil. "Processus guidé pour l'identification des exigences de sécurité à partir de l'analyse des risques." Thesis, Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1103/document.

Full text

Abstract:

Toute organisation est activée par un flux physique continu et un flux décisionnel qui opèrent de symbiose pour atteindre des objectifs déterminés. Ce qui engendre l’implantation d’un système d’information fiable, opérant avec un contrôle continu et une sécurité maximale, prenant en compte le contexte interne et externe pour garder son rôle opérationnel et stratégique. Compte tenu du niveau d'exposition aux risques et de la dépendance vitale des entreprises vis-à-vis de leurs systèmes d'information, il est crucial de prêter attention aux exigences de sécurité. La réalisation d'un équilibre entre la sécurité et l'efficacité du système d’information est une tâche complexe qui exige au préalable une analyse approfondie du contexte organisationnel. Elle nécessite également l'identification, l'analyse, et la gestion des risques encourus par l’entreprise. Elle nécessite aussi la détermination des exigences de sécurité. Peu d'approches offrent un guidage permettant de dériver les exigences de sécurité à partir des risques encourus. Le but de cette thèse est de concevoir un mécanisme de guidage suggestif qui permet de dériver les exigences de sécurité à partir de l'analyse des risques. Nous proposons, pour cela, une approche fondée sur une ontologie modulaire et un ensemble de règles de correspondance. A cette fin, nous proposons le développement de quatre ontologies et un processus d'alignement entre celles-ci en utilisant des relations sémantiques cohérentes. Le processus de validation se fonde sur une étude de cas et un prototype Any organization is enabled by continuous physical flow and decision flow from operating symbiosis to achieve specific objectives. Which generates the implementation of a reliable information system, operating with a continuous control and maximum security, taking in to account the internal and external environment to maintain its operational and strategic role. Given the level of risk exposure and the vital dependence of companies on their information systems, it is crucial to pay attention to security requirements. Achieving a balance between the security and effectiveness of the information system is a complex task requiring an in-depth analysis of the organizational context. It also requires the identification, analysis, and management of the risks incurred by the company. It also requires the determination of security requirements. Few approaches offer guidance to derive security requirements from the risks involved. The aim of this thesis is to design a suggestive guiding mechanism that allows to derive the security requirements from the risk analysis. We propose an approach based on a modular ontology and a set of correspondence rules. To achieve, we propose the development of four ontologies and an alignment process between then using consistent semantic relationships. The validation process is based on a case study and a prototype

APA, Harvard, Vancouver, ISO, and other styles

20

Belfadel, Abdelhadi. "Enterprise Architecture Capability Profile for Software Reuse." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE2125.

Full text

Abstract:

La plupart des projets de développement logiciel actuel dépendent de l'utilisation des solutions existantes pour gagner du temps et réduire les coûts de développement. Pour atteindre cet objectif, les entreprises doivent tirer parti des fonctionnalités offertes par les services techniques ou les interfaces de programmation applicatives exposées par les solutions existantes. La collecte et la qualification de ces composants ou services techniques permet de les réutiliser directement ou par orchestration. L'objectif de ce travail est double. Tout d'abord, nous visons la conception d'un conteneur de capacités logicielles qui offre une vision plus large des solutions applicatives internes ou externes d'une organisation. Le deuxième objectif est de définir un modèle d'exploitation de ces profils de capacités logicielles en adéquation avec l'ingénierie des besoins et l'architecture d'entreprise, afin de combler l'écart entre les objectifs des parties prenantes et ce qui peut être fourni comme solution pratique. Cependant, pour atteindre les objectifs susmentionnés, il y a de nombreux défis à relever pour gérer la complexité de l'exploitation des profils de capacités logicielles internes ou externes, afin de sélectionner les meilleurs composants candidats pour servir d'éléments constitutifs dans un nouveau système. Parmi ces défis, on peut citer l'identification des connaissances architecturales pour l'évaluation et la réutilisation des composants techniques, ou l'alignement des besoins et des artefacts d'architecture dans un cycle d'ingénierie pour la consolidation et le raffinement des exigences, afin de faciliter la découverte et la réutilisation des solutions applicatives existantes. A cet effet, nous définissons un Framework offrant un processus de qualification qui permet de recueillir les exigences initiales utilisées pour guider le développement des applications existantes et des services techniques exposés. Le processus de qualification est4basé sur un profil de capacité d'architecture d'entreprise proposé et de son ontologie associée. Cette dernière est utile pour spécifier formellement le profil de capacité produit qui offre une qualification couvrant les aspects organisationnels, opérationnels et techniques des applications orientées services. De plus, une méthodologie d'exploitation du conteneur conçu pour agréger ces profiles est proposée avec le Framework et basée sur l'alignement du processus d'ingénierie des besoins avec une méthode de développement d'architecture. Ces derniers évoluent ensemble pour étudier la plus grande compatibilité fonctionnelle et technique des fonctionnalités souhaitées et des contraintes associées, pour répondre aux besoins des utilisateurs finaux et réutiliser efficacement les solutions qualifiées.Notre contribution vise à améliorer l'évaluation, la découverte et la réutilisation des applications et des services techniques associés. Par ailleurs, l'originalité de ce travail de recherche consiste à mettre à niveau la recherche sur la consommation et l'orchestration des services au niveau des besoins des utilisateurs finaux, afin d'accélérer et de faciliter le développement d'applications métier futures. Une implémentation du Framework ainsi qu'une étude de cas industriels sont proposés pour valider et démontrer l'efficacité de cette approche Most of today's software development projects depend on the usage of existing solutions to save time and development cost. To achieve this goal, companies should take advantage of the features provided by services or application programming interfaces exposed by existing solutions. Collecting and qualifying IT components and services helps to reuse them directly or via orchestration. The goal of this work is twofold. First, we target the design of a software capability container that provides a broader view of an organization’s internal and external software. The second objective is to define an exploitation model of the software capability profiles in line with requirements engineering and enterprise architecture, to fill the gap between the goals of the stakeholders and what can be delivered as a practical solution. However, to achieve the above-stated objectives, there are many challenges to manage the complexity of the exploitation of internal or external’s software capability profiles, to select the best candidate components to act as a building blocks in a new system. Among those challenges, one can mention the identification of architectural artifacts for the evaluation and reuse of software components. Adding to this challenge, the alignment of requirements and architectural artifacts in engineering cycle for requirements consolidation and refinement to facilitate the discovery and reuse of existing solutions.For this purpose, we define a Framework offering a qualification process that helps to retrieve and gather initial requirements used to guide the development of existing software and related services. The qualification process is based on a proposed Enterprise Architecture Capability Profile and its associated ontology. This latter is useful to formally specify and encode the produced capability2profile that offers a qualification and covers business, operational and technical aspects for service-oriented software. Furthermore, an exploitation methodology of the designed container is proposed along with the Framework and based on the alignment of requirements engineering process with an architecture development method. These latter evolve together to investigate the highest functional and technical compatibility of the desired functionalities and related constraints, to respond to end-user’s requirements and efficiently reuse the qualified solutions.Our contribution aims to improve the evaluation, discovery, and reuse of existing software and related services. Besides, the originality of this research work consists in upgrading research on services consumption and orchestration to the level of end-users’ requirements, mapped with advanced service assets as an enabler for accelerating business application development. An implementation of the Framework along with an industrial case study are proposed to validate and demonstrate the effectiveness of this approach

APA, Harvard, Vancouver, ISO, and other styles

21

Ілляшенко, Олег Олександрович. "Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці". Thesis, Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут", 2018. http://repository.kpi.kharkov.ua/handle/KhPI-Press/38554.

Full text

Abstract:

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Thesis for scientific degree of candidate of technical sciences (philosophy doctor) in the specialty 05.13.05 – computer systems and components. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv 2018. The dissertation is devoted to the development of methods and tools of ensuring the cybersecurity requirements compliance of the programmable logic systems. The scientific results are: 1) for the first time, a case-oriented method for the cybersecurity evaluation of digital components and systems on programmable logic is proposed, which is based on using a set of interrelated formal and semi-formal procedures and analyzing possible gaps in the evaluation, that allows increasing the safety and security requirements assurance; 2) the ontological model and notation for cybersecurity evaluation of programmable logic – based systems is improved, which unlike the known ones, takes into account its process-product vulnerabilities and additional decomposition with the introduction of algorithms of requirements compliance actions, which allows increasing the reliability of the evaluation; 3) the indexes of cybersecurity requirements clarity and depth detail are improved taking into account the possibility of their decomposition, as well as the presence, type, and structure of evidence of its implementation, which allows to estimate the limits of methodological errors in the evaluation and to formulate recommendations concerning the requirements detailing; 4) the method of cybersecurity ensuring for digital components and systems on the programming logic have been further developed, which unlike the known ones, allows analyzing the discrepancies of the requirements using the procedures for describing the vulnerabilities and assessing the criticality of the consequences of the intrusions as well as the defining of a set of countermeasures by the "cybersecurity-cost" criterion, that allows risk reduction to an acceptable level.

APA, Harvard, Vancouver, ISO, and other styles

22

Ілляшенко, Олег Олександрович. "Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці". Thesis, Національний технічний університет "Харківський політехнічний інститут", 2018. http://repository.kpi.kharkov.ua/handle/KhPI-Press/38543.

Full text

Abstract:

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Thesis for scientific degree of candidate of technical sciences (philosophy doctor) in the specialty 05.13.05 – computer systems and components. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv 2018. The dissertation is devoted to the development of methods and tools of ensuring the cybersecurity requirements compliance of the programmable logic systems. The scientific results are: 1) for the first time, a case-oriented method for the cybersecurity evaluation of digital components and systems on programmable logic is proposed, which is based on using a set of interrelated formal and semi-formal procedures and analyzing possible gaps in the evaluation, that allows increasing the safety and security requirements assurance; 2) the ontological model and notation for cybersecurity evaluation of programmable logic – based systems is improved, which unlike the known ones, takes into account its process-product vulnerabilities and additional decomposition with the introduction of algorithms of requirements compliance actions, which allows increasing the reliability of the evaluation; 3) the indexes of cybersecurity requirements clarity and depth detail are improved taking into account the possibility of their decomposition, as well as the presence, type, and structure of evidence of its implementation, which allows to estimate the limits of methodological errors in the evaluation and to formulate recommendations concerning the requirements detailing; 4) the method of cybersecurity ensuring for digital components and systems on the programming logic have been further developed, which unlike the known ones, allows analyzing the discrepancies of the requirements using the procedures for describing the vulnerabilities and assessing the criticality of the consequences of the intrusions as well as the defining of a set of countermeasures by the "cybersecurity-cost" criterion, that allows risk reduction to an acceptable level.

APA, Harvard, Vancouver, ISO, and other styles

23

Laoufi, Nabil. "Processus guidé pour l'identification des exigences de sécurité à partir de l'analyse des risques." Electronic Thesis or Diss., Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1103.

Full text

Abstract:

Toute organisation est activée par un flux physique continu et un flux décisionnel qui opèrent de symbiose pour atteindre des objectifs déterminés. Ce qui engendre l’implantation d’un système d’information fiable, opérant avec un contrôle continu et une sécurité maximale, prenant en compte le contexte interne et externe pour garder son rôle opérationnel et stratégique. Compte tenu du niveau d'exposition aux risques et de la dépendance vitale des entreprises vis-à-vis de leurs systèmes d'information, il est crucial de prêter attention aux exigences de sécurité. La réalisation d'un équilibre entre la sécurité et l'efficacité du système d’information est une tâche complexe qui exige au préalable une analyse approfondie du contexte organisationnel. Elle nécessite également l'identification, l'analyse, et la gestion des risques encourus par l’entreprise. Elle nécessite aussi la détermination des exigences de sécurité. Peu d'approches offrent un guidage permettant de dériver les exigences de sécurité à partir des risques encourus. Le but de cette thèse est de concevoir un mécanisme de guidage suggestif qui permet de dériver les exigences de sécurité à partir de l'analyse des risques. Nous proposons, pour cela, une approche fondée sur une ontologie modulaire et un ensemble de règles de correspondance. A cette fin, nous proposons le développement de quatre ontologies et un processus d'alignement entre celles-ci en utilisant des relations sémantiques cohérentes. Le processus de validation se fonde sur une étude de cas et un prototype Any organization is enabled by continuous physical flow and decision flow from operating symbiosis to achieve specific objectives. Which generates the implementation of a reliable information system, operating with a continuous control and maximum security, taking in to account the internal and external environment to maintain its operational and strategic role. Given the level of risk exposure and the vital dependence of companies on their information systems, it is crucial to pay attention to security requirements. Achieving a balance between the security and effectiveness of the information system is a complex task requiring an in-depth analysis of the organizational context. It also requires the identification, analysis, and management of the risks incurred by the company. It also requires the determination of security requirements. Few approaches offer guidance to derive security requirements from the risks involved. The aim of this thesis is to design a suggestive guiding mechanism that allows to derive the security requirements from the risk analysis. We propose an approach based on a modular ontology and a set of correspondence rules. To achieve, we propose the development of four ontologies and an alignment process between then using consistent semantic relationships. The validation process is based on a case study and a prototype

APA, Harvard, Vancouver, ISO, and other styles

24

panagiotopoulou, Olga. "Determinants of symphyseal form in the catarrhine mandible : Biochanical and spatial requirement models during ontology." Thesis, University of York, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533507.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

España, Cubillo Sergio. "METHODOLOGICAL INTEGRATION OF COMMUNICATION ANALYSIS INTO A MODEL-DRIVEN SOFTWARE DEVELOPMENT FRAMEWORK." Doctoral thesis, Universitat Politècnica de València, 2012. http://hdl.handle.net/10251/14572.

Full text

Abstract:

It is widely recognised that information and communication technologies development is a risky activity. Despite the advances in software engineering, many software development projects fail to satisfy the clients' needs, to deliver on time or to stay within budget. Among the various factors that are considered to cause failure, an inadequate requirements practice stands out. Model-driven development is a relatively recent paradigm with the potential to solve some of the dragging problems of software development. Models play a paramount role in model-driven development: several modelling layers allow defining views of the system under construction at different abstraction levels, and model transformations facilitate the transition from one layer to the other. However, how to effectively integrate requirements engineering within model-driven development is still an open research challenge. This thesis integrates Communication Analysis, a communication-oriented business process modelling and requirements engineering method for information systems development, and the OO Method, an object-oriented model-driven software development method provides automatic software generation from conceptual models. We first provide a detailed specification of Communication Analysis intended to facilitate the integration; among other improvements to the method, we build an ontology-based set of concept definitions in which to ground the method, we provide precise methodological guidelines, we create a metamodel for the modelling languages included in the method, and we provide tools to support the creation of Communication Analysis requirements models. Then we perform the integration by providing a technique to systematically derive OO-Method conceptual models from Communication Analysis requirements models. The derivation technique is offered in two flavours: a set of rules to be manually applied by a human analyst, and an ATL model transformation that automates this task. España Cubillo, S. (2011). METHODOLOGICAL INTEGRATION OF COMMUNICATION ANALYSIS INTO A MODEL-DRIVEN SOFTWARE DEVELOPMENT FRAMEWORK [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/14572 Palancia

APA, Harvard, Vancouver, ISO, and other styles

26

Fourli-Kartsouni, Florendia. "Intelligent workflow support for context sensitive business process modelling." Saarbrücken VDM Verlag Dr. Müller, 2004. http://d-nb.info/99121773X/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Zheng, X. (Xiaosong). "Reference modeling for high value added mobile services." Doctoral thesis, University of Oulu, 2007. http://urn.fi/urn:isbn:9789514285455.

Full text

Abstract:

Abstract The era of mobile communications and mobile services has begun. The ongoing mobile revolution has dramatically and fundamentally changed our daily lifestyles, and it will continue to do so in a foreseeable future. For the next generation, mobile service end users have more demands for such services. This thesis examines the challenging user perspectives in designing and developing high value added mobile services. The aim of this research is to develop reference models and elicit user requirements for 3G and beyond mobile services in order to improve the quality of mobile services. This thesis first examines the existing architectures and models for high value added mobile services, followed by the contributions of the thesis. In this thesis, a Cyberworld model, which is a contribution to the WWRF reference modeling initiative and a specification of the WSI reference model, was developed and it serves as a basis for 3G and beyond mobile services design and development. A series of definitions of the Cyberworld model and a roadmap of the enabling technologies were also built up. The emphasis of this part is on how to describe and model user participation in mobile services. For this purpose, a model of the communication element to represent the components of the wireless world was created. Both static and dynamic reference modeling steps were established to better describe and understand user participation in mobile services. The validation was achieved through the CyPhone navigation mobile service. In order to enhance mobile service mobility, personalisation, and security, an ontology based model was developed to extend the Cyberworld model functionalities. The innovative ontology based mobile system will greatly increase service mobility, personalisation and security, thus improving the quality of mobile services. The ontology based model was illustrated and validated using a healthcare mobile service. A Quality Function Deployment (QFD) approach was adopted in this research in order to elicit, weigh and prioritise actual user requirements and link them to technical design requirements of mobile services. Traditionally QFD is employed in manufacturing industry. This approach is now extended to the mobile service industry for the first time. In this thesis, a detailed step by step QFD approach was proposed for designing high value added mobile services. As a result, the developed mobile services will better meet users' wants and needs which also means that the quality of mobile services will be significantly improved. The QFD approach was validated through a mobile e-learning service and another dedicated healthcare service for senior citizens. Through development of reference models and examination of user requirements for 3G and beyond mobile services from user perspectives, this thesis contributes to the design and development of high value added mobile services.

APA, Harvard, Vancouver, ISO, and other styles

28

Martins, Júnior Machado. "RequirementX: um a ferramenta para suporte à gerência de requisitos em extreme Programming baseada em mapas conceituais." Universidade do Vale do Rio do Sinos, 2007. http://www.repositorio.jesuita.org.br/handle/UNISINOS/2244.

Full text

Abstract:

Made available in DSpace on 2015-03-05T13:58:27Z (GMT). No. of bitstreams: 0 Previous issue date: 23 Coordenação de Aperfeiçoamento de Pessoal de Nível Superior Uma das tarefas críticas na confecção de sistemas de software é a elicitação de requisitos, a qual configura uma ação de descoberta de conhecimento. Assim, muitas técnicas são empregadas na tentativa de minimizar conflitos de idéias, conceitos mal formados, interpretações redundantes e omissão de dados; sendo que, para tanto, o uso de cenários, entrevistas, cartões, viewpoints e diagramas de Use Case são utilizados como ferramentas para diminuir a distância entre o técnico e o usuário na definição dos requisitos. Além disso, os Mapas Conceituais têm sido empregados com muita eficiência em tarefas de captura de conhecimento, portanto, este trabalho utiliza esse conceito como forma de organizar, identificar, aprimorar conceitos e definições dos requisitos de um software de forma cooperativa, formatado em User Story da metodologia Extreme Programming (XP). Com esse objetivo, o processo é apoiado por uma ferramenta baseada na web, que automatiza a geração, organização e acompanhamento da captura dos requisitos ge One of the hardest tasks of building a software system is requirements elicitation, which triggers a knowledge discovery action. Thus, many techniques are used with the intention to minimize idea conflicts, misformed concepts, erroneous interpretations and missing data; In order to achieve this goal, scenarios interviews, User Stories, viewpoints and Use Case diagrams are techniques to reduce the distance between the researcher and the user on requirement elicitation. Concept maps have been used as efficient way to represent knowledge. This research uses concept maps to deal with the organization, identification and improvement of concepts and software requirements definitions in a cooperative way, making use of the User Story format introduced by the Extreme Programming (XP) methodology. The proposed process is supported by a web-based tool, which automates the generation, organization and management of the requirements capture generated in the Concept Maps format

APA, Harvard, Vancouver, ISO, and other styles

29

Minuzzi, Tiago da Silva. "Ustory-Refactory: ferramenta de refatoração de requisitos aplicada em cartões user stories (CRC Cards)." Universidade do Vale do Rio do Sinos, 2007. http://www.repositorio.jesuita.org.br/handle/UNISINOS/2242.

Full text

Abstract:

Made available in DSpace on 2015-03-05T13:58:27Z (GMT). No. of bitstreams: 0 Previous issue date: 26 Nenhuma O surgimento de novas metodologias ágeis para apoiar o desenvolvimento de sistemas, como a Extreme Programming (XP), vem causando impacto nas empresas de desenvolvimento de software, especialmente por sua flexibilidade nas mudanças de requisitos no decorrer do projeto. Assim, um melhor entendimento e representação estrutural dos requisitos tornam-se fundamental. Logo, esta pesquisa aplica o conceito das técnicas de refatoração de código dentro da Engenharia de Requisitos, que é focado na metodologia XP, por meios das User Stories. O trabalho aplica um conjunto de padrões e regras que permite aos requisitos expressos em cartões CRC serem refatorados através de pré e pós-condições, sendo que esses requisitos são descritos por mapas conceituais (MC) em formato OWL. Por sua vez, os MCs são convertidos em diagramas de classes da UML por meio da UML-MC que formaliza esta transformação. Dessa forma, o ambiente UStory-Refactory automatiza parcialmente o processo de refatoração e permite que os requisitos refatorados The emergence of new agile methodologies to support systems development, as the Extreme Programming (XP), has been causing impact on software development companies, specially for its flexibility in the requirements changes during the project. Thus, a better understanding and structural representation of the requirements become basic. Then, this research applies the concept of the code refactoring techniques, inside of the Requirements Engineering, which is focused at XP methodology, through the User Stories. The work applies a set of standards and rules that allows the requirements expressed in CRC cards to be refactored through pre and post-conditions, and the requirements are described for conceptual maps (CMaps) in OWL format. In their turn, the CMaps are converted into UML classes diagrams by the UML-MC that formalizes this transformation. This way, the UStory-Refactory environment partially automatizes the refactoring process and allows the refactored requirements to be exported in OWL format, promoting

APA, Harvard, Vancouver, ISO, and other styles

30

Leal, Gabriel da Silva Serapião. "Support à la décision pour l'analyse de l'interopérabilité des systèmes dans un contexte d'entreprises en réseau." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0001/document.

Full text

Abstract:

L'interopérabilité entre les systèmes a été identifiée comme un problème majeur auquel sont confrontées les entreprises lorsqu’ils ont le besoin de collaborer avec d'autres organisations et de participer au sein d’un réseau d’entreprises. Pour atteindre une qualité d'interopérabilité supérieure et garantir une collaboration efficace, un certain nombre d'Exigences d'Interopérabilité (EI) doivent être satisfaites. Ainsi, l'interopérabilité doit être vérifiée et continuellement améliorée. L’Analyse de l’Interopérabilité (ANIN) est une manière de vérifier l’interopérabilité des systèmes. Cependant, en général, la notion « d’exigence » est implicite et présentée sous forme de critères d'évaluation dans les approches ANIN. Il a également été identifié que les interdépendances entre les EI ne sont pas explicitement définies. En effet, leurs interdépendances doivent être prises en compte car elles peuvent aider à identifier les impacts sur l'ensemble du système. De plus, la majorité des approches ANIN sont manuelles, ce qui est un processus laborieux et long qui dépend souvent des connaissances « subjectives » des experts. Dans ce contexte, cette recherche propose un Système d'Analyse de l'Interopérabilité basé sur la Connaissance (SAIC) pour soutenir la prise de décision au sein des entreprises en réseau. Une méthodologie « Design Science Research » (DSR) a été adoptée pour mener à bien la contribution proposée. Premièrement, une approche basée sur l’ingénierie des exigences a été adaptée pour obtenir des EI pertinentes, établir un lien entre les EI obtenues et les composantes du système concerné et définir les interdépendances entre les EI. Pour conceptualiser formellement les connaissances sur l’ANIN, en englobant l'ensemble des EI, les problèmes et solutions d'interopérabilité ainsi que leurs relations, nous avons proposé l’Ontologie de l'Analyse de l'Interopérabilité (OAI). Une approche d'Ingénierie Système basée sur des Modèles a été appliquée pour définir les concepts de l'ontologie. Un prototype du SAIC utilisant l'OAI comme modèle de connaissance a été développé sur une plate-forme Java. L'outil résultant peut exploiter les connaissances sur l'interopérabilité et les informations provenant de la situation actuelle des systèmes évalués pour identifier les problèmes et améliorations potentiels. La contribution proposée a été évaluée grâce à une étude de cas basée sur une véritable entreprise en réseau Enterprise systems’ interoperability has been identified as a significant issue faced by enterprises, which need to collaborate with other companies and participate within Networked Enterprises. To achieve a higher quality of interoperability and ensure an effective collaboration, a certain number of Interoperability Requirements (IRs) should be satisfied. Thus, interoperability should be verified and continuously improved. A manner for verifying the enterprise systems’ interoperability is through the Interoperability Assessment (INAS). However, in general, the notion of “requirement” is implicit and presented as Interoperability Evaluation Criterion (IEC) in the INAS approaches. It also has been identified that the IEC interdependencies are not explicitly defined. Indeed, their interdependencies should be considered as they can support the identification of impacts on the overall system. Further, the majority of the INAS approaches are manual-conducted, which is a laborious and time-consuming process and in many times depends on the “subjective” knowledge of experts, which can be expensive in time and money when hiring external consultants. In this context, this research proposes a Knowledge-Based Interoperability Assessment System (KBIAS) for supporting decision-making within Networked Enterprises. A Design Science Research (DSR) methodology has been adopted for conducting the work. First, A Requirement Engineering (RE) approach has been adapted to elicit and define relevant IRs, which are father related with system’s components. Such IRs are used as IEC during the INAS process. To formally conceptualise the knowledge about the INAS (subsuming the set of IRs, interoperability problems and solutions), we proposed the Ontology of Interoperability Assessment (OIA). A Model-Based System Engineering approach has been applied for defining and organising the concepts of the proposed ontology. A prototype of the KBIAS using the OIA as its knowledge model has been developed in a Java platform. The developed tool can exploit the knowledge about interoperability issues and information from the as-is situation of the assessed systems for identifying potential problems and improvements. The contribution proposed in this research has been evaluated through a case study based on a real Networked Enterprise

APA, Harvard, Vancouver, ISO, and other styles

31

Leal, Gabriel da Silva Serapião. "Support à la décision pour l'analyse de l'interopérabilité des systèmes dans un contexte d'entreprises en réseau." Electronic Thesis or Diss., Université de Lorraine, 2019. http://www.theses.fr/2019LORR0001.

Full text

Abstract:

L'interopérabilité entre les systèmes a été identifiée comme un problème majeur auquel sont confrontées les entreprises lorsqu’ils ont le besoin de collaborer avec d'autres organisations et de participer au sein d’un réseau d’entreprises. Pour atteindre une qualité d'interopérabilité supérieure et garantir une collaboration efficace, un certain nombre d'Exigences d'Interopérabilité (EI) doivent être satisfaites. Ainsi, l'interopérabilité doit être vérifiée et continuellement améliorée. L’Analyse de l’Interopérabilité (ANIN) est une manière de vérifier l’interopérabilité des systèmes. Cependant, en général, la notion « d’exigence » est implicite et présentée sous forme de critères d'évaluation dans les approches ANIN. Il a également été identifié que les interdépendances entre les EI ne sont pas explicitement définies. En effet, leurs interdépendances doivent être prises en compte car elles peuvent aider à identifier les impacts sur l'ensemble du système. De plus, la majorité des approches ANIN sont manuelles, ce qui est un processus laborieux et long qui dépend souvent des connaissances « subjectives » des experts. Dans ce contexte, cette recherche propose un Système d'Analyse de l'Interopérabilité basé sur la Connaissance (SAIC) pour soutenir la prise de décision au sein des entreprises en réseau. Une méthodologie « Design Science Research » (DSR) a été adoptée pour mener à bien la contribution proposée. Premièrement, une approche basée sur l’ingénierie des exigences a été adaptée pour obtenir des EI pertinentes, établir un lien entre les EI obtenues et les composantes du système concerné et définir les interdépendances entre les EI. Pour conceptualiser formellement les connaissances sur l’ANIN, en englobant l'ensemble des EI, les problèmes et solutions d'interopérabilité ainsi que leurs relations, nous avons proposé l’Ontologie de l'Analyse de l'Interopérabilité (OAI). Une approche d'Ingénierie Système basée sur des Modèles a été appliquée pour définir les concepts de l'ontologie. Un prototype du SAIC utilisant l'OAI comme modèle de connaissance a été développé sur une plate-forme Java. L'outil résultant peut exploiter les connaissances sur l'interopérabilité et les informations provenant de la situation actuelle des systèmes évalués pour identifier les problèmes et améliorations potentiels. La contribution proposée a été évaluée grâce à une étude de cas basée sur une véritable entreprise en réseau Enterprise systems’ interoperability has been identified as a significant issue faced by enterprises, which need to collaborate with other companies and participate within Networked Enterprises. To achieve a higher quality of interoperability and ensure an effective collaboration, a certain number of Interoperability Requirements (IRs) should be satisfied. Thus, interoperability should be verified and continuously improved. A manner for verifying the enterprise systems’ interoperability is through the Interoperability Assessment (INAS). However, in general, the notion of “requirement” is implicit and presented as Interoperability Evaluation Criterion (IEC) in the INAS approaches. It also has been identified that the IEC interdependencies are not explicitly defined. Indeed, their interdependencies should be considered as they can support the identification of impacts on the overall system. Further, the majority of the INAS approaches are manual-conducted, which is a laborious and time-consuming process and in many times depends on the “subjective” knowledge of experts, which can be expensive in time and money when hiring external consultants. In this context, this research proposes a Knowledge-Based Interoperability Assessment System (KBIAS) for supporting decision-making within Networked Enterprises. A Design Science Research (DSR) methodology has been adopted for conducting the work. First, A Requirement Engineering (RE) approach has been adapted to elicit and define relevant IRs, which are father related with system’s components. Such IRs are used as IEC during the INAS process. To formally conceptualise the knowledge about the INAS (subsuming the set of IRs, interoperability problems and solutions), we proposed the Ontology of Interoperability Assessment (OIA). A Model-Based System Engineering approach has been applied for defining and organising the concepts of the proposed ontology. A prototype of the KBIAS using the OIA as its knowledge model has been developed in a Java platform. The developed tool can exploit the knowledge about interoperability issues and information from the as-is situation of the assessed systems for identifying potential problems and improvements. The contribution proposed in this research has been evaluated through a case study based on a real Networked Enterprise

APA, Harvard, Vancouver, ISO, and other styles

32

Debbech, Sana. "Ontologies pour la gestion de sécurité ferroviaire : intégration de l'analyse dysfonctionnelle dans la conception." Thesis, Ecole centrale de Lille, 2019. http://www.theses.fr/2019ECLI0014/document.

Full text

Abstract:

La sécurité-innocuité est une propriété émergente des systèmes critiques de sécurité (SCS), notamment les systèmes ferroviaires. Cet aspect émergent complexifie leur processus du développement et nécessite un raisonnement judicieux permettant de diminuer les dangers. Cette thèse propose une approche ontologique qui intègre les activités de sécurité dès les premières phases de conception des SCS. Ce cadre structuré offre une harmonisation sémantique entre les domaines impliqués, tels que l'ingénierie de sécurité et l'Ingénierie des Exigences Dirigée par les Buts (IEDB). La logique métier intégrée dans cette approche est validée par des cas d'étude ferroviaires d'accidents réels et d'une mission télé-opérée. Dans un premier temps, nous avons proposé une ontologie d'analyse dysfonctionnelle appelée DAO et fondée sur l'ontologie de haut niveau UFO. DAO considère les aspects sociaux-techniques et environnementaux des SCS et intègre les différents types de fautes et de propriétés cognitives liés respectivement aux défaillances techniques et aux erreurs humaines. Le modèle conceptuel de DAO est exprimé en OntoUML et formalisé en langage OWL afin de fournir un support de raisonnement. Ensuite, un pont sémantique est établi entre les mesures de sécurité, les buts de sécurité et les exigences de sécurité par le développement d'une ontologie de gestion de sécurité orientée-but, appelée GOSMO. La gestion des décisions de sécurité s’appuie sur la réinterprétation du modèle de contrôle d'accès Or-Bac d'un point de vue sécurité-innocuité. Afin d'assurer la cohérence globale des exigences, GOSMO permet de structurer la gestion des évolutions des exigences et leur traçabilité Safety is an emergent property of safety critical systems (SCS), including railway systems. This emergent aspect exacerbates their development process and requires a thorough reasoning to reduce hazards. This thesis proposes an ontological approach that integrates safety activities from the early design stages of SCS. This structured framework provides a semantic harmonization between the involved domains, such as safety engineering and Goal Oriented Requirements Engineering (GORE). The business logic integrated in this approach is validated by real rail accident scenarios and a remotely operated task. At first, we proposed a dysfunctional analysis ontology called DAO and based on the high-level ontology UFO. DAO considers the socio-technical and environmental aspects of SCS and integrates the different types of faults and cognitive properties that are respectively related to technical failures and human errors. The DAO conceptual model is expressed in OntoUML and formalized in OWL language in order to provide a reasoning support. Then, a semantic bridge is established between safety measures, safety goals and safety requirements through the development of a goal-oriented security management ontology, called GOSMO. The management of safety decisions is based on the reinterpretation of the Or-Bac access control model from a safety point of view. In order to ensure the overall consistency of requirements, GOSMO allows structuring the management of requirements changes and their traceability

APA, Harvard, Vancouver, ISO, and other styles

33

Siegemund, Katja. "Contributions To Ontology-Driven Requirements Engineering." Doctoral thesis, 2013. https://tud.qucosa.de/id/qucosa%3A28576.

Full text

Abstract:

Today, it is well known that missing, incomplete or inconsistent requirements lead to faulty software designs, implementations and tests resulting in software of improper quality or safety risks. Thus, an improved Requirements Engineering contributes to safer and better-quality software, reduces the risk of overrun time and budgets and, most of all, decreases or even eliminates the risk for project failures. One significant problem requirements engineers have to cope with, are inconsistencies in the Software Requirements Specification. Such inconsistencies result from the acquisition, specification, and evolution of goals and requirements from multiple stakeholders and sources. In order to regain consistency, requirements information are removed from the specification which often leads to incompleteness. Due to this causal relationship between consistency, completeness and correctness, we can formally improve the correctness of requirements knowledge by increasing its completeness and consistency. Furthermore, the poor quality of individual requirements is a primary reason why so many projects continue to fail and needs to be considered in order to improve the Software Requirements Specification. These flaws in the Software Requirements Specification are hard to identify by current methods and thus, usually remain unrecognised. While the validation of requirements ensures that they are correct, complete, consistent and meet the customer and user intents, the requirements engineer is hardly supported by automated validation methods. In this thesis, a novel approach to automated validation and measurement of requirements knowledge is presented, which automatically identifies incomplete or inconsistent requirements and quality flaws. Furthermore, the requirements engineer is guided by providing knowledge specific suggestions on how to resolve them. For this purpose, a requirements metamodel, the Requirements Ontology, has been developed that provides the basis for the validation and measurement support. This requirements ontology is suited for Goal-oriented Requirements Engineering and allows for the conceptualisation of requirements knowledge, facilitated by ontologies. It provides a huge set of predefined requirements metadata, requirements artefacts and various relations among them. Thus, the Requirements Ontology enables the documentation of structured, reusable, unambiguous, traceable, complete and consistent requirements as demanded by the IEEE specification for Software Requirement Specifications. We demonstrate our approach with a prototypic implementation called OntoReq. OntoReq allows for the specification of requirements knowledge while keeping the ontology invisible to the requirements engineer and enables the validation of the knowledge captured within. The validation approach presented in this thesis is capable of being applied to any domain ontology. Therefore, we formulate various guidelines and use a continuous example to demonstrate the transfer to the domain of medical drugs. The Requirements Ontology as well as OntoReq have been evaluated by different methods. The Requirements Ontology has been shown to be capable for capturing requirements knowledge of a real Software Requirements Specification and OntoReq feasible to be used by a requirements engineering tool to highlight inconsistencies, incompleteness and quality flaws during real time requirements modelling.

APA, Harvard, Vancouver, ISO, and other styles

34

Jernigan, Stephan Russell. "Hybrid domain representation archive (HyDRA) viewpoint-oriented requirements analysis /." 2000. http://wwwlib.umi.com/cr/utexas/fullcit?p3126116.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Wu, Yu-Lin, and 巫育麟. "A Method for Building Context Ontology Basedon User Requirements." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/27505490362137529237.

Full text

Abstract:

碩士 國立中正大學 電機工程所 98 A context model should be defined with information represented and gathered from sensors, user profile, environment and other sources. The main advantage of using ontology is the ability to express machine-interpretable definition on basic concept and interrelation that enables the reuse of the constructed context models. The method of analyzing and designing context ontologies will influence the relationship between context information and expression of user activities. This thesis proposes a requirement-oriented method to analyze context information of different events in user requirements to provide the steps of constructing context ontologies and reusing the constructed ontologies to designers. Devices in a room are considered as the basic components to provide services to the users in the room. By analyzing events, the associated services are defined. Once an event occurs with a particular user with a context model, we provide appropriate services to the user by using the event which is the most similar event in context ontologies to execute the rule-based system. We also provide an example in smart home environment with to process of building context model and event reasoning.

APA, Harvard, Vancouver, ISO, and other styles

36

Chen, Mingbin. "Preliminary study of ontology for systematic gathering of product requirements." Thesis, 2006. http://spectrum.library.concordia.ca/8914/1/MR14302.pdf.

Full text

Abstract:

Industry practice shows that many of the problems in product design arise from a misunderstanding of the requirements or from the existence of ambiguities in the statement of the product requirements or from both. There has been a lack of a robust requirements management system to help designers to get the right requirements in the right time. The main objective of this thesis is to develop ontology for systematic gathering of product requirements. The starting point of this thesis is the environment-based design theory by Zeng (Zeng, 2004), where product requirements are attributed to the conflicts in product environment. This present thesis extends the environment-based design theory in two aspects: first, ontology is developed for product environments based on product life cycle; secondly, ontology for product-environment relations is investigated from the perspective of traditional engineering sciences. By using these two sets of ontology, product requirements are classified into three levels: product, corporate, and environment. Based on the ontology and taxonomy developed in this thesis, systematic procedures are proposed to gather product requirements. A case study is used to demonstrate how this research can be applied to develop right product requirements for the product design.

APA, Harvard, Vancouver, ISO, and other styles

37

Tsai, Hungju, and 蔡鴻儒. "Apply Ontology to Online Elicitation of Quality Requirements for E-Government Systems." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/77609064905778693710.

Full text

Abstract:

碩士 國立中央大學 資訊管理研究所 99 Online information systems (OLIS) had been developed rapidly, and the public acceptance had also risen recently. However, the quality implementation of the existing OLIS was insufficient that most information service industry vendors improved quality by questionnaire surveys or users’ feedbacks after implementing OLIS. It was easy to result in resource-wasting and schedule-delaying in developing OLIS if adopting the passive improvement. For these problems, this study presented the concept of Total Quality Control and suggested that quality need to be emphasized during the information system development process. Moreover, the information service industry was a kind of knowledge intensive service industry and the quality implement was comparative in knowledge intensive domain. Hence, this study reviewed three related dimensions which might affect the information system: information quality, system quality, and service quality. Then, this study built an information system quality knowledge model by Ontology. Concerning the evaluation, this study worked with an information service industry vendor and added instances into the quality ontology for its project experiences. Furthermore, this study designed some rules and used these rules to reason what quality requirements was able to provide engineers some references during the function designing process. This kind of improvement in this study proposed a chance to upgrade the information system quality level and to reduce the maintenance cost in the future.

APA, Harvard, Vancouver, ISO, and other styles

38

Yang, Kai-Yi, and 楊凱翊. "A study for ontology-based application to extract design requirements from engineeringdesign specifications." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/53515247969039404644.

Full text

Abstract:

碩士 國立臺灣科技大學 自動化及控制研究所 93 Due to the progress of industry were motivated rapidly, the design specifications were more sophisticated and conscientious than it were in the past. It could become a critical challenge for design engineer to deal with design requirements from the design specifications. The research was to develop an ontology-based concept structure in vessel design field, the concept structure be edited by Protégé 2000. To extract design requirements from the design specifications by means of concept oriented frame-based knowledge system – check list. The check list and design specification be saved in data container - Lotus Domino/Notes. The research found that concept association and concept comparison benefit the extracting function to easily search design requirements, to show inconsistency among specifications and to understand the design restrictions. There is no single correct ontology for any domain. A well-ordered ontology will be based upon a good understanding of the domain knowledge, by using it in application and persistent modification in real-time.

APA, Harvard, Vancouver, ISO, and other styles

39

Boyer, Marc Guy. "Improving the quality of software design through pattern ontology." 2011. http://hdl.handle.net/1993/4797.

Full text

Abstract:

Software engineers use design patterns to refactor software models for quality. This displaces domain patterns and makes software hard to maintain. Detecting design patterns directly in requirements can circumvent this problem. To facilitate the analogical transfer of patterns from problem domain to solution model however we must describe patterns in ontological rather than in technical terms. In a first study novice designers used both pattern cases and a pattern ontology to detect design ideas and patterns in requirements. Errors in detection accuracy led to the revision of the pattern ontology and a second study into its pattern-discriminating power. Study results demonstrate that pattern ontology is superior to pattern cases in assisting novice software engineers in identifying patterns in the problem domain.

APA, Harvard, Vancouver, ISO, and other styles

40

Lin, Jian-Wu, and 林建伍. "Implement an Image Information Sharing System for Clinical Requirements based on IHE XDS-I Profile and Ontology." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/17454447855911346773.

Full text

Abstract:

碩士 國立陽明大學 生物醫學資訊研究所 98 Patients usually go to different hospital, that led patient’s information disperse to many hospitals. Therefore, when the medical staff in the diagnosis cannot get a complete medical record of patients, that making the patient was often be required to repeat the medical examination when referrals, so the medical costs and diagnostic time is increased. In recent years, there are many studies on medical information exchange, but most of them are on the exchange of text documents, less are on images. Recalling the image information system of development in medical institutions: store, search, retrieve, display ... etc, the image information system has a certain degree of maturity, but in the part of information exchange is less. This research used the WADO (Web Access for DICOM persistent Objects) service of DICOM (Digital Imaging and Communications in Medicine) standard and the XDS-I (Cross-Enterprise Document Sharing for Image) profile of IHE (Integrating the Healthcare Enterprise), to building a medical image sharing system for clinical requirement based on international standard to provide complete medical record for medical staff, achieve information sharing and reduce the cost and diagnostic time.

APA, Harvard, Vancouver, ISO, and other styles

41

Bougie, Gargi. "A Case study of a new era in disease classification: an investigation of the socio-technical requirements for inclusive standardization development." Thesis, 2012. http://hdl.handle.net/1828/3919.

Full text

Abstract:

Until recently, the development and maintenance of the standard international disease classification for diagnostic, epidemiological and health management purposes has been handled by a closed group of experts with little input from other members of the medical community, interested organizations, or patient groups. The eleventh revision of the World Health Organization's International Classification of Diseases (ICD-11) represents an attempt to involve a much broader stakeholder group in the process of redesigning a standardized classification. Our research is an exploratory case study of this revision effort. We examine the socio-technical ecosystem of the ICD-11 project and produce a set of five recommendations for developing inclusive standardization systems. These recommendations are supported by an analysis of two additional projects in the health information and informatics domain, as well as a varied collection of literature. Our first recommendation implores system designers to consider technology-readiness and collaboration-readiness. We also advocate for the support of articulation and coordination work, and address the need for a distinct purpose and clearly defined process surrounding any introduced technology. Finally, we shed light on the need for incremental openness when attempting to involve a wide audience of stakeholders in the development process. Graduate

APA, Harvard, Vancouver, ISO, and other styles

42

Appleton, Ann Lucille. "Acts of integration, expressions of faith : madness, death and ritual in Melanau ontology : a thesis presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Social Anthropology at Massey University." 2004. http://hdl.handle.net/10179/1675.

Full text

Abstract:

Longitudinal medical research studies undertaken on an international scale by the World Health Organisation continue to confirm a better prognosis for mental illness in traditional societies than in more technologically developed societies. While various associations have been drawn or hypothesised between specific cultural factors and a more favourable outcome, attention has also frequently been drawn to the methodological, analytic and diagnostic inadequacies of these studies. The work for this thesis was undertaken with these criticisms in mind and also in part as a counter to the perceived inadequacies of a solely bio-medical approach to psychopathology. The specific purpose of the research was to assess the role that culture plays in the construction and experience of both psychological well-being and psychopathology in a "traditional" society in Sarawak, Malaysia. There was an equal concern to ascertain and examine the ways in which explanations and understandings about identity, illness and wellness differ from current western models and approaches and how they are realised and lived out in the experience of individuals. The ethnographic data was collected during intensive participant-observation conducted over two years in the Mukah District of Sarawak, Malaysia, a region which has a long association with the Melanau ethnic group. Drawing on the ethnographic evidence, this thesis argues that psychopathological experiences (as psychological phenomena) embody characteristics that make it possible to identify them as culturally constructed artifacts. A theory is advanced which locates the source of psychopathology within the context of human being-in-the-world and which suggests that features of the mental illness experience such as chronicity and stigma are historically and culturally constructed within the illness concept itself. The argument draws on the theory and insights of existentialism, phenomenology. Turner's ritual theory, and Jung's concept of the shadow, extended to include a concept of the cultural shadow. It concludes that a failure to take account of the cultural dimensions of mental illness may also result in a failure to perceive not only the source of our psychopathologies but also a solution.

APA, Harvard, Vancouver, ISO, and other styles

43

Pan, Chen-Yu, and 潘振宇. "An Ontology-based Requirement Trace Service for Software Maintenance." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/19870404022299042239.

Full text

Abstract:

碩士 國立成功大學 工程科學系碩博士班 93 CMMI is more and more important in the software industry, but it often needs to consume a large amount of effort, time and cost to use CMMI model. This thesis focuses on one process area of CMMI: Requirements Management, to develop a CMMI supported tool with the Web Service architecture. In addition, to establish and maintain the requirement traceability relation that can support quality assurance, change management, and software maintenance more effectively. However, to establish requirement traceability relation is a time-consuming and complex task. This thesis utilizes ontology and fuzzy inference mechanism to develop a traceability generation service that can automatically generalize the traceability relations including the horizontal and vertical traceability. Furthermore, we also apply Genetic Algorithm to tune the parameters of fuzzy inference mechanism that makes the system more robust. This requirement management architecture can operate independently, mean while, it also can be utilized in support of other process areas of CMMI.

APA, Harvard, Vancouver, ISO, and other styles

44

林昭陽. "= An ontology-based approach to requirement analysis and its application in network management software." Thesis, 1999. http://ndltd.ncl.edu.tw/handle/11986709949039583831.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Requirements Ontology'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles