18 research outputs found
A study of the methodologies currently available for the maintenance of the knowledge-base in an expert system
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
Combining SOA and BPM Technologies for Cross-System Process Automation
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
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
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
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
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