05451 Abstracts Collection -- Beyond Program Slicing

From 06.11.05 to 11.11.05, the Dagstuhl Seminar 05451 ``Beyond Program Slicing\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Logic-Based Specification Languages for Intelligent Software Agents

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.Comment: 67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chie

Modeling, Simulation and Optimization of Nuclear Hybrid Energy Systems Using OpenModelica and RAVEN

Nuclear hybrid energy systems (NHES) are a viable option to combine renewable energy sources, such as wind, with a less fluctuating energy source. Given recent development and their inherent safer and modular design, small modular reactors (SMRs), which are smaller versions of a nuclear reactor, can play an instrumental role in complementing renewables and supporting carbon-free power sectors in the coming decades. With increasing population and demand for clean water, Freeze desalination (FD), which uses freezing to separate water from salt, is a possible way to produce clean water while converting excess power from a SMR into stored thermal energy in an ice water tank. The stored thermal energy can then be used during peak hours to boost the power generation by improving the efficiency of the Rankine cycle of the SMR. Reverse osmosis (RO), which uses membrane and high water pressure to separate water from salt, is another possible way to use excess power generation to efficiently produce clean water. This paper uses OpenModelica, an open source software package, to model two types of NHES to produce clean energy and water, both powered by SMRs and wind turbines. The first system uses FD and the second system uses RO to generate clean water. RAVEN and TEAL, an economic analysis plugin for RAVEN, are used to optimize both systems for two case locations, Salt Lake City, Utah and San Diego, California. The results from the two cases show that for water prices less than $1.50 per m3, the FD system would be more economic. Since the RO system produced much more clean water, as water prices rise above$1.50 per m3, it becomes more advantageous to use the RO system, assuming that there are no negative impacts to increased water storage. The FD system is able to use the stored thermal energy to boost the power production by 12% during peak hours by increasing the efficiency of the Rankine cycle by 2%. This allows less capital investment on SMR/wind turbines, as well as less penalty due to mismatch of energy production and demand