Electronic Communications of the EASST (European Association of Software Science and Technology)
Not a member yet
887 research outputs found
Sort by
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior
Get PDFGraph transformation systems can be employed to describe systems withcomplex structural dynamics which states can be captured by attributed graphs.However, like many other standard computer science models such as automata intheir basic form time, continuous behavior, or probabilistic behavior are not supported.In this talk we will report on a number of extensions for graph transformationsystems that have been developed that permit to describe also time, continuousbehavior, probabilistic behavior, timed probabilistic behavior. Referring to the developmentof related extensions for automata, we will discuss how these resultshave been transferred to graph transformation systems. We will discuss furthermorewhich specific problems had to be resolved to transfer the results to graph transformationsystems, which tool support exists, and what are the open challenges foreach of these direction
Preface
Get PDFThis is the preface for Volume 56: Proceedings of the Combined workshop on Self-organizing, Adaptive, and Context-Sensitive Distributed Systems andSelf-organized Communication in Disaster Scenarios (SACS/SoCoDiS 2013
Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation
Get PDFParallel rewriting of typed attributed graphs, based on the single-pushout approach extended by connection transformations, serves as the backbone of the multi-paradigm language XL, which is widely used in functional-structural plant modelling. XL allows to define instantiation rules, which enable an instancing of graphs at runtime for frequently occurring substructures, e.g., in 3-d models of botanical trees. This helps to save computer memory during complex simulations of vegetation structure. Instantiation rules can be called recursively and with references to graph nodes, thus providing a unifying formal framework for various concepts from the literature: object instancing, structural factorization, Xfrog multiplier nodes, L-systems with interpretation. We give simple examples and measure the computation time for an idealized growing virtual plant, taken from the GreenLab model, in its implementation with instantiation rules in XL, compared to a version without instantiation rules
Big Red: A Development Environment for Bigraphs
Get PDFWe present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and reachability analysis of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example developed in Big Red. We go on to outline its architecture and implementation, and comment on possible future work
Robust Exploration Strategies for a Robot exploring a Wireless Network
Get PDFIntegration of robots into wireless networks is important for a number of scenarios. One of the tasks is network exploration for which the most basic case is finding the physical outline of the network. We propose a robust algorithm for exploring the outline of a network with a mobile robot. For this algorithm we study robustness against noise for several sensory inputs
Quality, Success, Communication and Contribution in Open Source Software
Get PDFFree and open source software projects are often perceived to be of high quality. To a great extend the success of open source software seems to be due to an implicit but effective connection between communication and contributions in its development process. In this paper, we present a snapshot of the state the art on quality and success of Open Source Software (OSS) based on a review of the literature. For each of these concepts, we describe various measures considered in the literature and a number of methods by which they are obtained. Contributions to an Open Source Software (OSS) project are made through communication among developers and users. We elaborate on the concrete notions of communication and contribution in Open Source Software (OSS) and their links
Reliable Multicast in Heterogeneous Mobile Ad-hoc Networks
Get PDFIn disaster scenarios, communication infrastructure could be damaged orcompletely failed. Mobile Ad-hoc Networks (MANETs) can be used to substitutefailed communication devices and thus to enable communication. As group communicationis an important part in disaster scenarios, multicast will be used to addressseveral nodes. In this paper, we propose our new reliable multicast protocol RMDA(Reliable Multicast over Delay Tolerant Mobile Ad hoc Networks). We introducean efficient group management approach and a new method for reliable multicastdelivery over Delay Tolerant Networks. We show, that our protocol is adaptive todifferent kinds of MANETs, e.g. with or without clusterheads, respectively. Forthose without, we use our name resolution over adaptive routing approach
The Role of Best Practices to Appraise Open Source Software
Get PDFThousands of open source software (OOS) projects are available for collaboration in platforms like Github or Sourceforge. However, like traditional software, OOS projects have different quality levels. The developer, or the end-user, need to know the quality of a given project before starting the collaboration or its usage---they might of course to trust in the package before taking a decision. In the context of OSS, trustability is a much more sensible concern; mainly end-users usually prefer to pay for proprietary software, to feel more confident in the package quality. OSS projects can be assessed like traditional software packages using the well known software metrics. In this paper we want to go further and propose a finer grain process to do such quality analysis, precisely tuned for this unique development environment. As it is known, along the last years, open source communities have created their own standards and \emph{best practices}. Nevertheless, the classic software metrics do not take into account the \emph{best practices} established by the community. We feel that it could be worthwhile to consider this peculiarity as a complementary source of assessment data. Taking Ruby OSS community and projects as framework, this paper discusses the role of \emph{best practices} in measuring software quality
Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Manufacturing Automation Software
Get PDFEvery long-term used software system ages. Even though intangible goods like software do not degenerate in the proper sense, each software system degenerates in relation to the everlasting changes of requirements, usage scenarios and environmental conditions. Accordingly, operational software is commonly situated in a continuous evolution process in which manually conducted modifications and adaptations try to preserve or reinforce its quality. Unfortunately, such an unmanaged evolution inevitably leads to a discrepancy between the obsolete originally documented requirements and the updated software itself. For this reason, our contribution presents a coherent vision of an anti-aging cycle that preserves (non-)functional requirements as explicit runtime artefacts. The fulfilment of these requirements is validated based on conditionally triggered online test cases. In order to achieve an enhanced semantic test coverage, these test cases are adapted by monitoring, analysing and learning typical system behaviours. To explain our vision in more detail and demonstrate the benefit of a managed software evolution, our anti-aging cycle is exemplarily applied on the domain of manufacturing automation