ProceedingsBuilder is a system that helps the proceedings chair of a scientific conference to carry out his chores. It has features of both workflow management systems (WFMS) and content management systems (CMS), in o...
ProceedingsBuilder is a system that helps the proceedings chair of a scientific conference to carry out his chores. It has features of both workflow management systems (WFMS) and content management systems (CMS), in order to collect the material for the printed proceedings and other products. ProceedingsBuilder has been operational at several conferences, including VLDB 2005. When using Proceedings-Builder, we had a very intense lesson which kinds of work-flow adaptations may become necessary. Existing WFMS do not offer support for most of them. The concern of this article is to describe and classify these various requirements regarding adaptation. ProceedingsBuilder is an example of a broad class of systems, namely editorial systems that collect content in order to publish it. Our findings are of interest to a broader audience, not only to conference organizers.
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models with the different representations the...
详细信息
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models with the different representations these tools provide. In this paper, we present a novel approach that addresses this issue by providing a consistent ontological representation for both source code and documentation. The ontological representation unifies information from various sources, and therefore reduces the maintainers' comprehension efforts. In addition, representing software artifacts in a formal ontology enables maintainers to formulate hypotheses about various properties of software systems. These hypotheses can be validated through an iterative exploration of information derived by our ontology inference engine. The implementation of our approach is presented in detail, and a case study is provided to demonstrate the applicability of our approach during the architectural evolution of a Web site content management system
Correctness of compilers is a vital precondition for the correctness of the software translated by them. In this paper, we present two approaches for the formalization of static single assignment (SSA) form together w...
详细信息
This paper describes Paradis-Net, a typed event-driven message-passing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to-peer and client-server architectures through ...
详细信息
Formal semantics of programming languages needs to model the potentially infinite state transition behavior of programs as well as the computation of their final results simultaneously. This requirement is essential i...
详细信息
Correct compilers are a vital precondition to ensure software correctness. Optimizations are the most error-prone phases in compilers. In this paper, we formally verify dead code elimination (DCE) within the theorem p...
详细信息
Correct compilers are a vital precondition to ensure software correctness. Optimizations are the most error-prone phases in compilers. In this paper, we formally verify dead code elimination (DCE) within the theorem prover Isabelle/HOL. DCE is a popular optimization in compilers which is typically performed on the intermediate representation. In our work, we reformulate the algorithm for DCE so that it is applicable to static single assignment (SSA) form which is a state of the art intermediate representation in modern compilers, thereby showing that DCE is significantly simpler on SSA form than on classical intermediate representations. Moreover, we formally prove our algorithm correct within the theorem prover Isabelle/HOL. Our program equivalence criterion used in this proof is based on bisimulation and, hence, captures also the case of non-termination adequately. Finally we report on our implementation of this verified DCE algorithm in the industrial-strength scale compiler system.
As part of the Dagstuhl Workshop on the Semantic Web, a break-out session focused on discussing social issues around the Semantic Web. This article is a concise summary of the main issues discussed, the controversies ...
详细信息
Web services will only have advantages over existing technologies if the service binding can be performed dynamically. However, existing service description languages do not contain enough information for a computer a...
详细信息
Web services will only have advantages over existing technologies if the service binding can be performed dynamically. However, existing service description languages do not contain enough information for a computer agent to do the selection automatically during runtime on behalf of the user. This results from the fact that in most approaches the offer description language doubles as a re-guest language, which prevents the requestor from a precise formulation of requests and preferences. Therefore, in this paper, we emphasize the need for a distinguished service request language that allows to capture all of the requestor's preferences. We present a concrete technique to represent such preference-containing requests, which is based on fuzzy object sets.
Mobile devices are able to spontaneously form highly dynamic ad hoc networks allowing for communication even when no infrastructure exists. Ideally, these networks enable the participating devices to share resources a...
详细信息
Mobile devices are able to spontaneously form highly dynamic ad hoc networks allowing for communication even when no infrastructure exists. Ideally, these networks enable the participating devices to share resources and services, thus overcoming the often severe limitations of the individual devices' capabilities. In order to make this possible, powerful semantic service trading is needed. In this paper, we propose a semantic overlay of hierarchical service rings to achieve this goal. In contrast to existing approaches this method is adapted to the specific characteristics of ad hoc networks.
The wide availability of mobile devices equipped with wireless communication devices paves the way for building highly dynamic communities of ad-hoc networks. For an asynchronous service discovery in this environment,...
详细信息
暂无评论