18 research outputs found

    A study of the methodologies currently available for the maintenance of the knowledge-base in an expert system

    Get PDF
    This research studies currently available maintenance methodologies for expert system knowledge bases and taxonomically classifies them according to the functions they perform. The classification falls into two broad categories. These are: (1) Methodologies for building a more maintainable expert system knowledge base. This section covers techniques applicable to the development phases. Software engineering approaches as well as other approaches are discussed. (2) Methodologies for maintaining an existing knowledge base. This section is concerned with the continued maintenance of an existing knowledge base. It is divided into three subsections. The first subsection discusses tools and techniques which aid the understanding of a knowledge base. The second looks at tools which facilitate the actual modification of the knowledge base, while the last secttion examines tools used for the verification or validation of the knowledge base. Every main methodology or tool selected for this study is analysed according to the function it was designed to perform (or its objective); the concept or principles behind the tool or methodology: and its implementation details. This is followed by a general comment at the end of the analysis. Although expert systems as a rule contain significant amount of information related to the user interface, database interface, integration with conventional software for numerical calculations, integration with other knowledge bases through black boarding systems or network interactions, this research is confined to the maintenance of the knowledge base only and does not address the maintenance of these interfaces. Also not included in this thesis are Truth Maintenance Systems. While a Truth Maintenance System (TMS) automatically updates a knowledge base during execution time, these update operations are not considered \u27maintenance\u27 in the sense as used in this thesis. Maintenance in the context of this thesis refers to perfective, adaptive, and corrective maintenance (see introduction to chapter 4). TMS on the other hand refers to a collection of techniques for doing belief revision (Martin, 1990) . That is, a TMS maintains a set of beliefs or facts in the knowledge base to ensure that they remain consistent during execution time. From this perspective, TMS is not regarded as a knowledge base maintenance tool for the purpose of this study

    Structured Document Transformations

    Get PDF

    Combining SOA and BPM Technologies for Cross-System Process Automation

    Get PDF
    This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

    Entwicklung eines Modells zur Anwendung inferenzfÀhiger Ontologien im Software Engineering

    Get PDF
    Die Arbeit beschreibt die Entwicklung und Anwendung eines Modells zur ReprĂ€sentation und Verarbeitung von Wissen auf dem Gebiet des Software Engineering. Im Fokus stehen die Strukturierung, Visualisierung und automatisierte Weiterverarbeitung von Expertenwissen unter Einbezug modellbasierter Inferenzmechanismen. Dabei dienen verschiedene Deduktionsalgorithmen zur Ableitung automatisierter Schlussfolgerungen, die zur Lösung einer Software Engineering Fragestellung beitragen. DarĂŒber hinaus werden unterschiedliche Möglichkeiten dargestellt, um Wissen induktiv, automatisiert aus bereits modelliertem Wissen ableiten zu können. Das entwickelte Modell soll Akteuren des Software- und Knowledge Engineering gleichermaßen dazu dienen, Expertenwissen in Entscheidungsprozesse einzubeziehen, um somit die Entwicklung von Softwarelösungen zu beschleunigen.The thesis describes the development and application of a model for representation and processing knowledge in the field of software engineering. It focuses on the structuring, visualization and automated processing of expert knowledge, including model-based inference mechanisms. Different deductive algorithms are used to derive automated conclusions that contribute for solving a software engineering problem. In addition, different possibilities are presented in order to be able to inductively and automatically derive knowledge. The developed model is intended to help software and knowledge engineering stakeholders to include expert knowledge in decision-making processes, thus speeding up the development of software solutions

    Mathematics in Software Reliability and Quality Assurance

    Get PDF
    This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

    IngĂ©nierie et Architecture d’Entreprise et des SystĂšmes d’Information - Concepts, Fondements et MĂ©thodes

    Get PDF
    L'ingĂ©nierie des systĂšmes d'information s'est longtemps cantonnĂ©e Ă  la modĂ©lisation du produit (objet) qu'est le systĂšme d’information sans se prĂ©occuper des processus d'usage de ce systĂšme. Dans un environnement de plus en plus Ă©volutif, la modĂ©lisation du fonctionnement du systĂšme d’information au sein de l'entreprise me semble primordiale. Pendant les deux derniĂšres dĂ©cennies, les pratiques de management, d’ingĂ©nierie et d’opĂ©ration ont subi des mutations profondes et multiformes. Nous devons tenir compte de ces mutations dans les recherches en ingĂ©nierie des systĂšmes d’information afin de produire des formalismes et des dĂ©marches mĂ©thodologiques qui sauront anticiper et satisfaire les nouveaux besoins, regroupĂ©s dans ce document sous quatre thĂšmes:1) Le systĂšme d’information est le lieu mĂȘme oĂč s’élabore la coordination des actes et des informations sans laquelle une entreprise (et toute organisation), dans la diversitĂ© des mĂ©tiers et des compĂ©tences qu’elle met en Ɠuvre, ne peut exister que dans la mĂ©diocritĂ©. La comprĂ©hension des exigences de coopĂ©ration dans toutes ses dimensions (communication, coordination, collaboration) et le support que l’informatique peut et doit y apporter deviennent donc un sujet digne d’intĂ©rĂȘt pour les recherches en systĂšme d’information.2) Le paradigme de management des processus d’entreprise (BPM) est en forte opposition avec le dĂ©veloppement traditionnel des systĂšmes d’information qui, pendant plusieurs dĂ©cennies, a cristallisĂ© la division verticale des activitĂ©s des organisations et favorisĂ© ainsi la construction d’ülots d’information et d’applications. Cependant, les approches traditionnelles de modĂ©lisation de processus ne sont pas Ă  la hauteur des besoins d’ingĂ©nierie des processus dans ce contexte en constant changement, que ce dernier soit de nature contextuelle ou permanente. Nous avons donc besoin de formalismes (i) qui permettent non seulement de reprĂ©senter les processus d’entreprise et leurs liens avec les composants logiciels du systĂšme existant ou Ă  venir mais (ii) qui ont aussi l’aptitude Ă  reprĂ©senter la nature variable et/ou Ă©volutive (donc parfois Ă©minemment dĂ©cisionnelle) de ces processus.3) Les systĂšmes d’information continuent aujourd’hui de supporter les besoins classiques tels que l’automatisation et la coordination de la chaĂźne de production, l’amĂ©lioration de la qualitĂ© des produits et/ou services offerts. Cependant un nouveau rĂŽle leur est attribuĂ©. Il s’agit du potentiel offert par les systĂšmes d’information pour adopter un rĂŽle de support au service de la stratĂ©gie de l’entreprise. Les technologies de l’information, de la communication et de la connaissance se sont ainsi positionnĂ©es comme une ressource stratĂ©gique, support de la transformation organisationnelle voire comme levier du changement. Les modĂšles d’entreprise peuvent reprĂ©senter l’état actuel de l’organisation afin de comprendre, de disposer d’une reprĂ©sentation partagĂ©e, de mesurer les performances, et Ă©ventuellement d’identifier les dysfonctionnements. Ils permettent aussi de reprĂ©senter un Ă©tat futur souhaitĂ© afin de dĂ©finir une cible vers laquelle avancer par la mise en Ɠuvre des projets. L’entreprise Ă©tant en mouvement perpĂ©tuel, son Ă©volution fait partie de ses multiples dimensions. Nous avons donc besoin de reprĂ©senter, a minima, un Ă©tat futur et le chemin de transformation Ă  construire pour avancer vers cette cible. Cependant planifier/imaginer/se projeter vers une cible unique et, en supposant que l’on y arrive, croire qu’il puisse exister un seul chemin pour l’atteindre semble irrĂ©aliste. Nous devons donc proposer des formalismes qui permettront de spĂ©cifier des scenarii Ă  la fois pour des cibles Ă  atteindre et pour des chemins Ă  parcourir. Nous devons aussi dĂ©velopper des dĂ©marches mĂ©thodologiques pour guider de maniĂšre systĂ©matique la construction de ces modĂšles d’entreprise et la rationalitĂ© sous-jacente.4) En moins de cinquante ans, le propos du systĂšme d’information a Ă©voluĂ© et s’est complexifiĂ©. Aujourd’hui, le systĂšme d’information doit supporter non seulement les fonctions de support de maniĂšre isolĂ©e et en silos (1970-1990), et les activitĂ©s appartenant Ă  la chaĂźne de valeur [Porter, 1985] de l’entreprise (1980-2000) mais aussi les activitĂ©s de contrĂŽle, de pilotage, de planification stratĂ©gique ainsi que la cohĂ©rence et l’harmonie de l’ensemble des processus liĂ©s aux activitĂ©s mĂ©tier (2000-201x), en un mot les activitĂ©s de management stratĂ©gique et de gouvernance d’entreprise. La gouvernance d'entreprise est l'ensemble des processus, rĂ©glementations, lois et institutions influant la maniĂšre dont l'entreprise est dirigĂ©e, administrĂ©e et contrĂŽlĂ©e. Ces processus qui produisent des ‘dĂ©cisions’ en guise de ‘produit’ ont autant besoin d’ĂȘtre instrumentalisĂ©s par les systĂšmes d’information que les processus de nature plus opĂ©rationnels de l’entreprise. De mĂȘme, ces processus stratĂ©giques (dits aussi ‘de dĂ©veloppement’) nĂ©cessitent d’avoir recours Ă  des formalismes de reprĂ©sentation qui sont trĂšs loin, en pouvoir d’expression, des notations largement adoptĂ©es ces derniĂšres annĂ©es pour la reprĂ©sentation des processus d’entreprise.Ainsi, il semble peu judicieux de vouloir (ou penser pouvoir) isoler, pendant sa construction, l’objet “systĂšme d’information” de son environnement d’exĂ©cution. Si le sens donnĂ© Ă  l’information dĂ©pend de la personne qui la reçoit, ce sens ne peut ĂȘtre entiĂšrement capturĂ© dans le systĂšme technique. Il sera plutĂŽt apprĂ©hendĂ© comme une composante essentielle d’un systĂšme socio-technique incluant les usagers du systĂšme d’information technologisĂ©, autrement dit, les acteurs agissant de l’entreprise. De mon point de vue, ce systĂšme socio-technique qui mĂ©rite l’intĂ©rĂȘt scientifique de notre discipline est l’entreprise. Les recherches que j’ai rĂ©alisĂ©es, animĂ©es ou supervisĂ©es , et qui sont structurĂ©es en quatre thĂšmes dans ce document, visent Ă  rĂ©soudre les problĂšmes liĂ©s aux contextes de l'usage (l'entreprise et son environnement) des systĂšmes d’information. Le point discriminant de ma recherche est l'intĂ©rĂȘt que je porte Ă  la capacitĂ© de reprĂ©sentation :(i) de l'Ă©volutivitĂ© et de la flexibilitĂ© des processus d'entreprise en particulier de ceux supportĂ©s par un systĂšme logiciel, d’un point de vue microscopique (modĂšle d’un processus) et macroscopique (reprĂ©sentation et configuration d’un rĂ©seau de processus) : thĂšme 2(ii) du systĂšme d’entreprise dans toutes ses dimensions (stratĂ©gie, organisation des processus, systĂšme d’information et changement) : thĂšme 3Pour composer avec ces motivations, il fallait :(iii) s’intĂ©resser Ă  la nature mĂȘme du travail coopĂ©ratif et Ă  l’intentionnalitĂ© des acteurs agissant afin d’identifier et/ou proposer des formalismes appropriĂ©s pour les dĂ©crire et les comprendre : thĂšme 1(iv) se questionner aussi sur les processus de management dont le rĂŽle est de surveiller, mesurer, piloter l’entreprise afin de leur apporter le soutien qu’ils mĂ©ritent du systĂšme d’information : thĂšme

    Forschungsbericht UniversitÀt Mannheim 2006 / 2007

    Full text link
    Sie erhalten darin zum einen zusammenfassende Darstellungen zu den Forschungsschwerpunkten und Forschungsprofilen der UniversitĂ€t und deren Entwicklung in der Forschung. Zum anderen gibt der Forschungsbericht einen Überblick ĂŒber die Publikationen und Forschungsprojekte der LehrstĂŒhle, Professuren und zentralen Forschungseinrichtungen. Diese werden ergĂ€nzt um Angaben zur Organisation von Forschungsveranstaltungen, der Mitwirkung in ForschungsausschĂŒssen, einer Übersicht zu den fĂŒr Forschungszwecke eingeworbenen Drittmitteln, zu den Promotionen und Habilitationen, zu Preisen und Ehrungen und zu Förderern der UniversitĂ€t Mannheim. Darin zeigt sich die Bandbreite und Vielseitigkeit der ForschungsaktivitĂ€ten und deren Erfolg auf nationaler und internationaler Ebene
    corecore