Thorsten Hartmann

Learn More
TROLL is a language particularly suited for the early stages of information system development, when the universe of discourse must be described. In TROLL the descriptions of the static and dynamic aspects of entities are integrated into object descriptions. Sublanguages for data terms, for first-order and temporal assertions, and for processes, are used to(More)
In this paper, an approach to formally specify a conceptual model of a system and its environment to be developed in a behavior-oriented way is presented. We identify those concepts of object-oriented approaches that have to be formalized. We then propose characteristics of behavior-oriented mathematical models representing a system as a collection of(More)
Modern database applications require advanced means for modelling system structure and dynamics. Temporal logic has been proven to be a suitable vehicle for specifying the possible evolution of objects to be stored in databases. Past-directed temporal logic, as a means to describe the in uence of the historical evolution of a database on applicable state(More)
Conceptual modelling sometimes in conjunction with requirements acquisition is widely accepted as the rst formal step in information system speci cation and design Since knowledge about the world to be modelled is often vague in early development phases formalisms for conceptual modelling must support a wide va riety of concepts for describing real entities(More)
Speci cation of Object Interaction1 Thorsten Hartmann Gunter Saake 1This work was partially supported by CEC under ESPRIT-III Basic Research Action Working Group No. 6071 IS-CORE II (Information Systems { COrrectness and REusability). The work of Thorsten Hartmann is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-3. Abstract As a consequence of(More)
Purpose. Lipid-water partitioning of 187 pharmaceuticals has been assessed with solid-supported lipid membranes (TRANSIL) in microwell plates and with multilamellar liposomes for a data comparison. The high-throughput potential of the new approach was evaluated. Methods. Drugs were incubated at pH 7.4 with egg yolk lecithin membranes either on a solid(More)
Sorting out new chemical entities (NCE) with inappropriate absorption, distribution, metabolism, excretion (ADME) behaviour at an early stage of drug discovery and development is a major challenge in pharmaceutical profiling. An accepted strategy to predict absorption is the measurement of the permeability of a drug candidate. One step earlier the(More)