Construction IT in 2030: a scenario planning approach

Summary: This paper presents a scenario planning effort carried out in order to identify the possible futures that construction industry and construction IT might face. The paper provides a review of previous research in the area and introduces the scenario planning approach. It then describes the adopted research methodology. The driving forces of change and main trends, issues and factors determined by focusing on factors related to society, technology, environment, economy and politics are discussed. Four future scenarios developed for the year 2030 are described. These scenarios start from the global view and present the images of the future world. They then focus on the construction industry and the ICT implications. Finally, the preferred scenario determined by the participants of a prospective workshop is presented

Science for Global Ubiquitous Computing

This paper describes an initiative to provide theories that can underlie the development of the Global Ubiquitous Computer, the network of ubiquitous computing devices that will pervade the civilised world in the course of the next few decades. We define the goals of the initiative and the criteria for judging whether they are achieved; we then propose a strategy for the exercise. It must combine a bottom-up development of theories in directions that are currently pursued with success, together with a top-down approach in the form of collaborative projects relating these theories to engineered systems that exist or are imminent

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standardization. It focuses on use cases where distributed ontologies enable interoperability and reusability. We demonstrate relevant features of the DOL syntax and semantics and explain how these integrate into existing knowledge engineering environments.Comment: Terminology and Knowledge Engineering Conference (TKE) 2012-06-20 to 2012-06-21 Madrid, Spai

Model Checking Spatial Logics for Closure Spaces

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of programs; however, properties of space are typically not taken into account explicitly. We present a topology-based approach to formal verification of spatial properties depending upon physical space. We define an appropriate logic, stemming from the tradition of topological interpretations of modal logics, dating back to earlier logicians such as Tarski, where modalities describe neighbourhood. We lift the topological definitions to the more general setting of closure spaces, also encompassing discrete, graph-based structures. We extend the framework with a spatial surrounded operator, a propagation operator and with some collective operators. The latter are interpreted over arbitrary sets of points instead of individual points in space. We define efficient model checking procedures, both for the individual and the collective spatial fragments of the logic and provide a proof-of-concept tool

HealthyGrowth - From niche to volume with integrity and trust

Die Märkte für ökologisch erzeugte Nahrungsmittel unterscheiden sich zwar in den europäischen Ländern. In allen aber ist eine Steigerung des ökologischen Handelsvolumens erwünscht, wobei kleine wie große Vermarkter mit spezifischen Problemen konfrontiert sind. Während kleine Unternehmen oder Initiativen oft an der Verfügbarkeit großer Mengen scheitern, müssen sich große Unternehmen der Herausforderung stellen, den umfassenden Qualitätsanforderungen gerecht zu werden und dem Kunden die Werte ökologisch produzierter Nahrungsmittel glaubhaft zu vermitteln. Das Projekt HEALTHYGROWTH beruht auf der Kooperation von elf Partnern. Das deutsche Team leistet einen Beitrag zu den Arbeitspaketen WP2 bis WP6 und ist verantwortlich für WP7. Die deutschen Fallstudien von mittelgroßen ökologischen Wertschöpfungsketten werden in unterschiedlichen Unternehmen oder Initiativen jeweils mit spezifischen Untersuchungsschwerpunkten stattfinden. Die vergleichende Auswertung der Fallstudien wird thematisch nach Themenfeldern aufgefächert. Diese mehrdimensionale Analyse soll beim Verständnis der Mechanismen wachsender organischer Wertschöpfungsketten helfen. Eine Aufgabe des HNEE-Teams besteht in der Koordination des Transfers von Ergebnissen in Wissenschaft und Praxis. Schlüsselpersonen der Branche werden von Beginn an konsequent eingebunden, um die Praxisrelevanz des Ansatzes und eine effektive Verbreitung der Ergebnisse durch Veröffentlichungen, Seminare usw. zu gewährleisten. Hauptbestandteil der Projektarbeit ist neben den Veröffentlichungen die konsequente Einbindung von Vertretern ökologischer Wertschöpfungsketten. Wissenstransfer und gemeinsame Lernprozesse auf nationaler Ebene und über Ländergrenzen hinweg sind Schwerpunkte im Arbeitspaket WP7, das das deutsche Team leitet. Das deutsche Teilprojekt zielt, ebenso wie das Gesamtprojekt, insbesondere auf den Wissens- und Erfahrungsaustausch ab. Die Verwertung der Ergebnisse besteht vor allem in der Verbreitung von Informationen zu Besonderheiten der Wachstumsprozesse innerhalb der Wertschöpfungskette. Hierzu trägt auch der BLE-Ergebnisflyer bei. HEALTHYGROWTH will Erkenntnisse aus verschiedenen Ländern und Unternehmen bündeln und an die Akteure und ihre Netzwerke weitergeben. Zielgruppen sind nicht nur mittelgroße Bio-Nahrungsmittelhändler, sondern auch Kleinerzeuger und Unternehmen, die sich für neue Formen von Partnerschaften und Kooperationen im ökologischen Nahrungsmittelsektor interessieren. Angaben zur Finanzierung des Projekts finden Sie im Förderkatalog des Bundes unter http://foerderportal.bund.de/foekat/jsp/StartAction.do. Bitte geben Sie in das Suchfeld eine 28 plus das Förderkennzeichen (FKZ) des BÖL-Projektes ein, z.B. 2808OE212 für das BÖL-Projekt mit der FKZ 08OE212