Learn More
In this paper we address security of semantic Web services that are declaratively described in OWLS. We propose ontologies to annotate OWLS input and output parameters with respect to their security characteristics, including encryption and digital signatures. Moreover, we propose to incorporate privacy and authenti-cation policies into OWLS descriptions(More)
Semantic Web Services (SWSs) promise to provide solutions to the challenges associated with automated discovery, dynamic composition , enactment, and other tasks associated with managing and using service-based systems. One of the barriers to a wider adoption of SWS technology is the lack of tools for creating SWS specifications. OWLS is one of the major(More)
— We present Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that oppor-tunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by(More)
Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal speciications. Our work focuses on the speciication language TROLL light which allows to describe the part of the world which is to be modeled as a community of concurrently existing(More)
We translate Entity-Relationship (ER) schemas into the object-oriented speciication language TROLL light. This language describes the Universe of Discourse (UoD) as a system of concurrently existing and interacting objects, i.e., an object community. Thereby two essential aspects, structure and behavior , are integrated in one formalism. By doing the(More)
Conceptual modelling, sometimes in conjunction with requirements acquisition, is widely accepted as the rst formal step in information system speciication 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 variety of concepts for describing real(More)