FUNSOFT Nets: a petri-net based software process modeling language

Introduces an approach to software process modeling and analysis. It is based on describing software processes by FUNSOFT nets. FUNSOFT nets are high level Petri nets which are adapted to the application domain of software process modeling. Their semantics is defined by predicate/transition nets. That enables them to benefit from standard analysis techniques approved for predicate/transition nets

Configuration management for Lyee software

This article presents a configuration management concept for software projects using Lyee methodology. To illustrate this concept, an introduction in configuration management is given. Then, the structure of Lyee programs is defined by sets and their dependencies. From this structure, the actual configuration management concept is deduced and discussed by rendering the structure for an existing configuration management testbed and describing the involved key players as well as the necessary procedures

A Distributed Communication System for Integration with Logistics Software

Truckage companies need continuous and up-to-date information about their business processes in order to respond quickly to customers’ needs and problems emerging during transport processes. Therefore a reliable and user-friendly communication system is required, which improves the relationship between drivers and dispatchers. The project ”Mobile Spedition im Web (SpiW)**” presented here, develops a mobile communication system, which focuses on the driver/dispatcher interaction. The main goals are integration with legacy logistics software and the possible use of new telematics and communication techniques. To achieve these goals, a component based architecture allows the later change and extension of components, making it possible to add new features to the system as they become available. A distributed workflow server supports the adjustment of business processes to individual needs

Liquid crystal director fluctuations and surface anchoring by molecular simulation

We propose a simple and reliable method to measure the liquid crystal surface anchoring strength by molecular simulation. The method is based on the measurement of the long-range fluctuation modes of the director in confined geometry. As an example, molecular simulations of a liquid crystal in slab geometry between parallel walls with homeotropic anchoring have been carried out using the Monte Carlo technique. By studying different slab thicknesses, we are able to calculate separately the position of the elastic boundary condition, and the extrapolation length

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

International audienceThe TiPEX tool implements the enforcement monitoring algorithms for timed properties proposed in [1]. Enforcement monitors are generated from timed automata specifying timed properties. Such monitors correct input sequences by adding extra delays between events. Moreover, TiPEX also provides modules to generate timed automata from patterns, compose them, and check the class of properties they belong to in order to optimize the monitors. This paper also presents the performance evaluation of TiPEX within some experimental setup

Electronic polarization in pentacene crystals and thin films

Electronic polarization is evaluated in pentacene crystals and in thin films on a metallic substrate using a self-consistent method for computing charge redistribution in non-overlapping molecules. The optical dielectric constant and its principal axes are reported for a neutral crystal. The polarization energies P+ and P- of a cation and anion at infinite separation are found for both molecules in the crystal's unit cell in the bulk, at the surface, and at the organic-metal interface of a film of N molecular layers. We find that a single pentacene layer with herring-bone packing provides a screening environment approaching the bulk. The polarization contribution to the transport gap P=(P+)+(P-), which is 2.01 eV in the bulk, decreases and increases by only ~ 10% at surfaces and interfaces, respectively. We also compute the polarization energy of charge-transfer (CT) states with fixed separation between anion and cation, and compare to electroabsorption data and to submolecular calculations. Electronic polarization of ~ 1 eV per charge has a major role for transport in organic molecular systems with limited overlap.Comment: 10 revtex pages, 6 PS figures embedde

Phase-field-crystal models for condensed matter dynamics on atomic length and diffusive time scales: an overview

Here, we review the basic concepts and applications of the phase-field-crystal (PFC) method, which is one of the latest simulation methodologies in materials science for problems, where atomic- and microscales are tightly coupled. The PFC method operates on atomic length and diffusive time scales, and thus constitutes a computationally efficient alternative to molecular simulation methods. Its intense development in materials science started fairly recently following the work by Elder et al. [Phys. Rev. Lett. 88 (2002), p. 245701]. Since these initial studies, dynamical density functional theory and thermodynamic concepts have been linked to the PFC approach to serve as further theoretical fundaments for the latter. In this review, we summarize these methodological development steps as well as the most important applications of the PFC method with a special focus on the interaction of development steps taken in hard and soft matter physics, respectively. Doing so, we hope to present today's state of the art in PFC modelling as well as the potential, which might still arise from this method in physics and materials science in the nearby future.Comment: 95 pages, 48 figure