This development provides a formalization of undirected graphs and simple graphs, which are based on Benedikt Nordhoff and Peter Lammich’s simple formalization of labelled directed graphs [4] in the archive. Then, with our formalization of graphs, we have shown both necessary and sufficient conditions for Eulerian trails and circuits [2] as well as the fact that the Königsberg Bridge problem do...

We focus on how we should define the relevance of information to a context for information processing agents, such as oracles. We build our formalization of relevance upon works in pragmatics which refer to contextual information without giving any explicit representation of context. We use a formalization of context (due to us) in Situation Theory, and demonstrate its power in this task. We al...

This paper posits that the design and implementation formalization of Organizational Decision Support Systems (ODSSs) is more formalized than other types of decision support systems. By examining the process of information shanmg as a cultural phenomenon, the paper demonstrates that they type of decision support system is related to two dimensions of culture space-codification and diffusion. Si...

We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the form...

The goal of this master project is to extend an existing formalization of a translation from Java bytecode to BoogiePL and to provide an implementation for that formalization. Possible improvements to the existing translation thereby include the extension of the set of bytecode instructions supported by the formalization as well as the the translation of various semantic properties of the Java ...

In the field of biotechnology and medicine it is of interest to model and simulate metabolic processes. The usual methods to model metabolic pathways are chemical descriptions and differential equations. Moreover, the graph theoretical aspect is discussed and the development of expert systems is in process. In this paper we present the formalization of metabolic processes. Our formalization is ...

In this paper we describe the formalization of an RDF(S) extension we call O-Telos-RDF, which provides enhanced functionalities for metamodeling and reified statements. The axiomatic formalization is based very closely on the formalization of the modeling language O-Telos, which is based on a semantic network model quite similar to RDF(S), and has been used as a (meta) modeling language in vari...

In this paper we will describe the formalization of an RDF(S) variant we call O-Telos-RDF, which provides enhanced functionalities for meta-modeling and reified statements. This formalization is based very closely on the formalization of the modeling language O-Telos, which is based on a semantic network model quite similar to RDF(S), and has been used as a (meta) modeling language in various a...