Speci cations The Arrow Logic of Information System Engineering
نویسندگان
چکیده
The goal of the paper is to manifest a special arrow diagram logic developed in mathematical category theory as capable to provide a general speci c ation framework for information system engineering We show that unexpectedly abstract ideas developed in categorical logic are of extremely high relevance for ap proaching some di cult speci cation problems in the eld Correspondingly the arrow thinking underlying the diagram logic is suggested as a working way of think ing in information system engineeringideas developed in categorical logic are of extremely high relevance for ap proaching some di cult speci cation problems in the eld Correspondingly the arrow thinking underlying the diagram logic is suggested as a working way of think ing in information system engineering
منابع مشابه
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, and to allow a more economic description of systems. In this paper we develop a framework for default speci cations of reactive systems. We present a formalisation of non-monotonicity in temporal logic based on the noti...
متن کاملUniversitat Passau Fakult at F Ur Mathematik Und Informatik P Module Connguration by Minimal Model Construction
We present a framework for the automatic con guration of large systems from a library of reusable software components. Core of the framework is a modal logic that uniformly and elegantly captures type descriptions, module speci cations and relative time. Whereas the rst two `dimensions' are treated similarly by means of a simple logic over a taxonomy of types and modules respectively, time is e...
متن کاملA Multi{agent Speciication Environment for Complex Software Applications
The goal of the thesis is the de nition of a speci cation environment for Complex Distributed Software Applications. More precisely, the aim is to investigate all the issues connected to the realization of executable speci cations for such applications, using new technologies rising in the elds of Logic Programming, Multi{Agent Systems and Distributed Software Engineering. In this context, we w...
متن کاملTowards a Theory of Elaboration Tolerance: Logic Programming Approach
This paper is an attempt at mathematical investigation of software development process in the context of declarative logic programming. We introduce notions of speci cation and speci cation constructor which are developed from natural language description of a problem. Generalizations of logic programs, called lp-functions are introduced to represent these speci cations. We argue that the proce...
متن کاملE-CARe : une méthode d'ingénierie des systèmes d'information ubiquitaires. (E-CARe : a method for ubiquitous Information Systems Engineering)
Ubiquitous Information Systems appeared as a consequence to emerging and evolvingcommunication and mobile technologies providing the system with information on its environment,the environment of its users and their pro les. These data constitute the application context andare used to provide personalized, targeted and relevant services. However, ubiquitous services facesome di c...
متن کامل