XRound : A reversible template language and its application in model-based security analysis

Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves. This paper presents a reversible template language called XRound which supports round-trip transformations between models and the logic used to encode system properties. A template processor that supports the language is described, and the use of the template language is illustrated by its application in an analysis workbench, designed to support analysis of security properties of UML and MOF-based models. As a result of using reversible templates, it is possible to seamlessly and automatically integrate the results of a security analysis with a model. (C) 2008 Elsevier B.V. All rights reserved

An overview of decision table literature 1982-1995.

This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.

Architectural management in the digital arena : proceedings of the CIB-W096 conference Vienna 2011, Vienna University of Technology, Austria, 13-14 October 2011

Leading research into architectural design management is the CIB’s working committee W096 Architectural Management. CIB-W096 was officially established in 1993, following a conference on ‘Architectural Management’ at the University of Nottingham in the UK. Since this time the commission has been active in the area, with regular international conferences, meetings, published conference proceedings and other publications. CIB-W096 brings together researchers and practitioners concerned with the whole life cycle of uilding and construction projects. Recently the members of the working group have concentrated on achieving value for stakeholders and this work led to a focus on integrated design teams and improved communications. Active working areas are; revaluing design, communicating design, inclusive design, design management, design integration, design management education and revaluing architectural practice - all with an underlying sustainable agenda. In addition to the publication of peer reviewed conference proceedings the commission has produced the book Architectural Management: international research & practice (Eds. Emmitt, Prins, Otter, 2009, Wiley-Blackwell, Oxford), which provides a state of the art report into the rapidly evolving field of architectural management. One of the most topical issues to be dealt with by CIBW096 concerns information technologies and building information modeling, the theme of this, the commission’s 24th, conference. Architectural design processes are iterative processes in which designing and decision making are interwoven. Demands, wishes and concerns of clients and stakeholders for a beautiful, well functioning and sustainable building need to be fully understood and effectively communicated within the temporary project team. The focus of architects, managers, advisors and engineers has evolved from the project to responsibilities for the entire life cycle of the building. This is set in an age of rapid advances in digital technologies and changing responsibilities. This conference explores applications of architectural management using all types of electronic media for creating, communicating and realizing design in a variety of different contexts; as well as addressing long running themes within the architectural management knowledge domain. This proceedings contain 27 peer reviewed papers within the conference topics: -Smart, lean and intelligent architectural design management; -Application of collaborative technologies, such as building information modeling (BIM); -Integrated (sustainable) design solutions and integrated working practices; -Managing roles and legal responsibilities for design in a digital age;- Global versus local challenges for architectur

Architectural management in the digital arena : proceedings of the CIB-W096 conference Vienna 2011, Vienna University of Technology, Austria, 13-14 October 2011

Leading research into architectural design management is the CIB’s working committee W096 Architectural Management. CIB-W096 was officially established in 1993, following a conference on ‘Architectural Management’ at the University of Nottingham in the UK. Since this time the commission has been active in the area, with regular international conferences, meetings, published conference proceedings and other publications. CIB-W096 brings together researchers and practitioners concerned with the whole life cycle of uilding and construction projects. Recently the members of the working group have concentrated on achieving value for stakeholders and this work led to a focus on integrated design teams and improved communications. Active working areas are; revaluing design, communicating design, inclusive design, design management, design integration, design management education and revaluing architectural practice - all with an underlying sustainable agenda. In addition to the publication of peer reviewed conference proceedings the commission has produced the book Architectural Management: international research & practice (Eds. Emmitt, Prins, Otter, 2009, Wiley-Blackwell, Oxford), which provides a state of the art report into the rapidly evolving field of architectural management. One of the most topical issues to be dealt with by CIBW096 concerns information technologies and building information modeling, the theme of this, the commission’s 24th, conference. Architectural design processes are iterative processes in which designing and decision making are interwoven. Demands, wishes and concerns of clients and stakeholders for a beautiful, well functioning and sustainable building need to be fully understood and effectively communicated within the temporary project team. The focus of architects, managers, advisors and engineers has evolved from the project to responsibilities for the entire life cycle of the building. This is set in an age of rapid advances in digital technologies and changing responsibilities. This conference explores applications of architectural management using all types of electronic media for creating, communicating and realizing design in a variety of different contexts; as well as addressing long running themes within the architectural management knowledge domain. This proceedings contain 27 peer reviewed papers within the conference topics: -Smart, lean and intelligent architectural design management; -Application of collaborative technologies, such as building information modeling (BIM); -Integrated (sustainable) design solutions and integrated working practices; -Managing roles and legal responsibilities for design in a digital age;- Global versus local challenges for architectur

Developing serious games for cultural heritage: a state-of-the-art review

Although the widespread use of gaming for leisure purposes has been well documented, the use of games to support cultural heritage purposes, such as historical teaching and learning, or for enhancing museum visits, has been less well considered. The state-of-the-art in serious game technology is identical to that of the state-of-the-art in entertainment games technology. As a result, the field of serious heritage games concerns itself with recent advances in computer games, real-time computer graphics, virtual and augmented reality and artificial intelligence. On the other hand, the main strengths of serious gaming applications may be generalised as being in the areas of communication, visual expression of information, collaboration mechanisms, interactivity and entertainment. In this report, we will focus on the state-of-the-art with respect to the theories, methods and technologies used in serious heritage games. We provide an overview of existing literature of relevance to the domain, discuss the strengths and weaknesses of the described methods and point out unsolved problems and challenges. In addition, several case studies illustrating the application of methods and technologies used in cultural heritage are presented

Serious Games in Cultural Heritage

Although the widespread use of gaming for leisure purposes has been well documented, the use of games to support cultural heritage purposes, such as historical teaching and learning, or for enhancing museum visits, has been less well considered. The state-of-the-art in serious game technology is identical to that of the state-of-the-art in entertainment games technology. As a result the field of serious heritage games concerns itself with recent advances in computer games, real-time computer graphics, virtual and augmented reality and artificial intelligence. On the other hand, the main strengths of serious gaming applications may be generalised as being in the areas of communication, visual expression of information, collaboration mechanisms, interactivity and entertainment. In this report, we will focus on the state-of-the-art with respect to the theories, methods and technologies used in serious heritage games. We provide an overview of existing literature of relevance to the domain, discuss the strengths and weaknesses of the described methods and point out unsolved problems and challenges. In addition, several case studies illustrating the application of methods and technologies used in cultural heritage are presented