TL;DR: Among the program's highlights are several papers on optimization from both the design and engineering domains; new design methods for solar shading, experimental prototypes and fabrication, cities, and stadiums; ground-breaking work on energy modeling and ventilation; new developments in building information and performance data; and a number of contributions which investigate various aspects of human behavior.
Abstract: Welcome to the 2015 Symposium on Simulation for Architecture and Urban Design (SimAUD) in Alexandria, Virginia. SimAUD continues to bring together top researchers and practitioners in the fields of architecture, urban design, urban planning, building science, visualization, and systems engineering, with the overarching goal of achieving a positive and lasting impact on society though the simulation-aided design of compelling and sustainable built environments
This year saw outstanding participation from the community: a record 103 abstracts were contributed; among these a record 63 manuscripts were completed and peer-reviewed, several of which featured accompanying data sets or videos; and a full program of 30 papers were ultimately accepted and included in the proceedings. Top international universities such as UCL, RMIT, the Technion, ETH Zurich, SUTD, Stanford, Berkeley, MIT, Harvard, and many others are represented in the final program. Also prominently featured in the accepted works are design schools such as the Architectural Association and CITA, and design and engineering practices such as Thornton Tomasetti, Zaha Hadid Architects, LMN Architects, Populous, SOM, and Baumann Consulting. Among the program's highlights are several papers on optimization from both the design and engineering domains; new design methods for solar shading, experimental prototypes and fabrication, cities, and stadiums; ground-breaking work on energy modeling and ventilation; new developments in building information and performance data; and a number of contributions which investigate various aspects of human behavior.
TL;DR: The greatest strength of DEVS-Ruby lies in the extensibility of the DSL, allowing to meet each modeler's domain specific vocabulary and thus, to evolve from a general modeling and simulation formalism to a specialized tool.
Abstract: This paper introduces a new Discrete EVent system Specification (DEVS) modeling and simulation library implemented in Ruby. Its syntactic sugar and features such as monkey patching, lexical closures, custom dispatch behavior and native plug-in API provides strong support to grow a Domain Specific Language (DSL). The library, by providing an internal DSL, allows formal specifications of DEVS models. The greatest strength of DEVS-Ruby lies in the extensibility of the DSL, allowing to meet each modeler's domain specific vocabulary and thus, to evolve from a general modeling and simulation formalism to a specialized tool.
TL;DR: In this article, a model-driven method that introduces a set of model transformations to automate the generation of executable simulation code of a BP from its abstract definition in BPMN, the standard language for specifying business processes is presented.
Abstract: Simulation is one of the most relevant techniques that can be used in the business process management domain to effectively enact a continuous enhancement of business processes (BPs). However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters hard to determine, semantic gap between the business process model and the simulation model). To overcome these limitations, this paper proposes a model-driven method that introduces a set of model transformations to automate the generation of executable simulation code of a BP from its abstract definition in BPMN, the standard language for specifying business processes. The simulation code is specified in eBPMN, a Java-based domain-specific language that has been designed and implemented according to the BPMN execution semantics.
TL;DR: In this paper, the authors propose an initial ORM overlay methodology that aims to lay the foundation of the conceptual modeling structures that can support the verification of temporal evolution of conceptual data models (i.e., whether a Fact can be asserted or retracted, depending on its temporal properties).
Abstract: Conceptual data modeling languages must be provided with temporal capabilities to support the data evolution throughout the execution of a conceptual process model. Asides from supporting the storage of historical data, temporal capabilities must also provide the means for verifying the consistency between the data temporal properties and the data modification resulting from the process execution. The Object-Role Modeling (ORM) language is a conceptual data modeling language that is based on the concepts of Fact (i.e. true statements on the represented world), Fact Type, and Fact Base (i.e. the set of all the Facts). Currently, the ORM language does not address the specification of Facts temporal properties, and therefore does not also support the verification of Facts variations during a process execution. The paper introduces an initial ORM overlay methodology that aims to laying the foundation of the conceptual modeling structures that can support the verification of temporal evolution of conceptual data models (i.e., whether a Fact can be asserted or retracted, depending on its temporal properties). Moreover, the overlay methodology also defines a temporal visual notation and an initial semi-formal temporal verbalization that eases the use of the methodology to the ORM modelers. A simple example illustrates the potential application of the overlay methodology.
TL;DR: In this paper, the authors modeled and simulated the urban traffic network, the responder agents and the evacuation agents, and evaluated the efficiency of the route planning with responder arrivals and evacuation durations.
Abstract: Under urban crisis situations, one of the most important response tasks is routing the vehicles. Such crisis initiates a massive evacuation from the disaster scene to the outside; at the same time, crisis responders have to enter the scene. Whereas we need routes for responders, current disaster response plans frequently dictate to turn bidirectional roads into one-ways to ensure quick evacuation. This routing conflict should be resolved prior to actual crises, and we approached this problem with simulation based experiments. We modeled and simulated the urban traffic network, the responder agents and the evacuation agents. Our major decision factor is how to choose road lane utilization to facilitate the evacuation as well as the response. We evaluated the efficiency of the route planning with responder arrivals and evacuation durations. The results may provide some insights to disaster managers or authorities under crisis.