Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly during and after adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components. This paper introduces an approach to create formal models for the behavior of adaptive programs. Our approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection. We introduce a process to construct adaptation models, automatically generate adaptive programs from the models, and verify and validate the models. We illustrate our approach through the development of an adaptive GSM-oriented audio streaming protocol for a mobile computing application.

/pdf/model-based-development-of-dynamically-adaptive-software-41ftd9thhi.pdf

Model-based development of dynamically adaptive software

As effective organizational decision making is a major factor in a companys success, a coherent, comprehensive account of current available research on the core concepts of the decision support agenda, is in high demand by academicians and professionals alike. The Encyclopedia of Decision Making and Decision Support Technologies presents a critical mass of research on the most up-to-date research on human and computer support of managerial decision making, including discussion on support of operational, tactical, and strategic decisions, human vs. computer system support structure, individual and group decision making, and multi-criteria decision making.

/pdf/encyclopedia-of-decision-making-and-decision-support-303ar6s2jh.pdf

Encyclopedia of Decision Making and Decision Support Technologies

Modularization Concepts.- Term Graph Rewriting and Mobile Expressions in Functional Languages.- Graph Transformation Modules and Their Composition.- Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.- Distributed System Modelling.- From UML Descriptions of High-Level Software Architectures to LQN Performance Models.- On a Uniform Representation of Transformation Systems.- A Note on Modeling Agent Systems by Graph Transformation.- Compositional Construction of Simulation Models Using Graph Grammars.- Software Architectures: Evolution and Reengineering.- Graph-Based Reverse Engineering and Reengineering Tools.- Support for Design Patterns through Graph Transformation Tools.- Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution.- Visual Graph Transformation Languages.- Visual Languages: Where Do We Stand?.- From Graph Transformation to Rule-Based Programming with Diagrams.- Using Fujaba for the Development of Production Control Systems.- Visual Language Modeling and Tool Development.- A Formal Definition of Structured Analysis with Programmable Graph Grammars.- Creating Semantic Representations of Diagrams.- Defining the Syntax and Semantics of Natural Visual Languages.- GENGED A Development Environment for Visual Languages.- Tool Development and Knowledge Modeling in Different Applications.- Graph Visualisation in ArchiCAD.- A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling.- Improving the Publication Chain through High-Level Authoring Support.- Learning and Rewriting in Fuzzy Rule Graphs.- A Proof Tool Dedicated to Clean.- Image Recognition and Constraint Solving.- Document Table Recognition by Graph Rewriting.- Image Structure from Monotonic Dual Graph Contraction.- Planning Geometric Constraint Decomposition via Optimal Graph Transformations.- Process Modeling and View Integration.- AHEAD: A Graph-Based System for Modeling and Managing Development Processes.- Formalizing UML-Based Process Models Using Graph Transformations.- Formal Integration of Software Engineering Aspects Using a Graph Rewrite System - A Typical Experience ?! -.- Towards Integrating Multiple Perspectives by Distributed Graph Transformation.- Visualization and Animation Tools.- Graph Algorithm Animation with Grrr.- An L-System-Based Plant Modeling Language.- Tool Demonstrations.- TREEBAG - a Short Presentation.- Tool Support for ViewPoint-Oriented Software Development.- UPGRADE - A Framework for Graph-Based Visual Applications.- Generating Diagram Editors with DiaGen.- PROgrammed Graph REwriting System PROGRES.- Testing and Simulating Production Control Systems Using the Fujaba Environment.- L-Studio/cpfg: A Software System for Modeling Plants.- DiTo - A Distribution Tool Based on Graph Rewriting.- A Demonstration of the Grrr Graph Rewriting Programming Language.- AGG: A Tool Environment for Algebraic Graph Transformation.- AGTIVE Workshop/Synmposium Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our Dreams.- Best Presentation and Demonstration Awards.

Applications of Graph Transformations with Industrial Relevance

Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings

Service-oriented architectures (SOA) provide a flexible and dynamic platform for implementing business solutions In this paper, we address the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration (binding to new services at run-time) typical for SOA The refinement is based on conceptual models of the platforms involved as architectural styles, formalized by graph transformation systems Based on a refinement relation between abstract and platform-specific styles we investigate how to realize business-specific scenarios on the SOA platform by automatically deriving refined, SOA-specific reconfiguration scenarios

Style-based modeling and refinement of service-oriented architectures

Software development is a staged and evolutionary process. Multiple stakeholders with different needs and views collaborate to build a system from interoperating and heterogeneous development artifacts. In such a setting, one has to cope with requirements changing dynamically during the entire lifetime of the system. Within this changing world living with inconsistencies is natural. Tool support is needed to tolerate inconsistencies and help developers to use them to drive the development process forward. In this contribution we consider the application of distributed graph transformation to the problem of formalizing the integration of multiple perspectives in software development called ViewPoints. Our work concentrates on requirements engineering. We demonstrate how inconsistency management can be used as a tool for requirements analysis by presenting a sample integration of architecture design and performance evaluation views.

ViewPoint-oriented software development by distributed graph transformation: towards a basis for living with inconsistencies

Co-operative development of distributed software systems involves to address the multiple perspectives problem: many stakeholders with diverse domain knowledge and differing development strategies collaborate to construct heterogeneous development artifacts using different representation schemes. The ViewPoints framework has been developed for organizing multiple stakeholders, the development processes and notations they use, and the partial specifications they produce. In this contribution we present a tool environment supporting ViewPoint-oriented software development based on a formalization by distributed graph transformation.

/pdf/viewpoint-oriented-software-development-tool-support-for-3cjlfzae3x.pdf

ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation

A major challenge in developing and coordinating distributed agents is to accommodate changes introduced at one agent and to propagate it to every other interested party. This presents a special difficulty if the information maintained in a node is highly structured. Examples of such problems are dynamic accommodation of structural changes in distributed software systems or consistency management of multiple viewpoints in typical multiple perspectives/stakeholders settings: modifications or changes not envisaged at "design time" have to be handled at run time without disturbing those parts of the system unaffected by the change. The key feature realizing such dynamic modifications and extensions is a clean separation between internal operations or actions of an individual node or agent and their structural coordination. Thus, general change rules for creation/deletion and connection/disconnection of nodes/agents can be formulated. We consider as an important problem area, dynamic change management of distributed systems. We propose to use distributed graph transformation as the underlying formalism to realize both the specification of evolving distributed systems as well as dynamic change management, thus taking a step towards building configurable distributed systems. The results obtained can easily be transferred to the field of consistency management.

Dynamic accommodation of change: automated architecture configuration of distributed systems

In order to support multiple perspectives in software development one needs a scheme which expresses explicitly all the views held by the various stakeholders like requirements engineer, software architect, client, user etc. The View Points framework has been developed in the past as a conceptional framework for expressing such a multiple perspective setting in software development projects. In this contribution we describe how this framework is formally described by distributed graph transformation and we demonstrate the applicability of our approach by presenting a non-trivial sample system.

Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation

In order to support multiple perspectives in software development one needs a scheme which expresses explicitly all the views held by the various stakeholders like requirements engineer, software architect, client, user etc. The ViewPoints framework has been developed in the past as a conceptional framework for expressing such a multiple perspective setting in software development projects. In this contribution we describe how this framework is formally described by distributed graph transformation and we demonstrate the applicability of our approach by presenting a non-trivial sample system.

Towards Integrating Multiple Perspectives by Distributed Graph Transformation

Handle everyday research tasks with reliable, citation-backed results

Your personal Research Agent to handle research tasks with citation-backed results

Popular Tasks used by Researchers

How can I help with your research?

Meet SciSpace

Get more enhanced response by uploading the PDFs you want me to reference.

No relevant PDFs in your library

SciSpace is the AI research assistant for academics. Run systematic literature reviews on 280M+ papers, and write papers with cited sources. Trusted by 1M+ students, PhDs & researchers.

SciSpace | AI for Research

Analyze PDFs

Code & Manuscripts

Funding & Grants

Literature & Patents

Medical & Clinical Data

Systematic Review

Visualize & Present

Web & Data

Build a Google Scholar-like website for your research.

Build a website

Create charts and images for your research

Create a Chart

Write a paper for submission to a journal

Draft a manuscript

Patent Search

Design eye-catching scientific posters in minutes.

Scientific Poster Generation

Systematic Literature Review

One task is running at the moment. Your messages will be shown right after.

Drag and drop or click here to browse

Loved by <highlight>1 million+</highlight> researchers

Extract a list of specific topics and their sources from unstructured text

Topics

Compare and analyze relevant papers that matches with your search

Papers

Get insights from PDFs and bookmarked papers from your library

My library

Recent searches

Try searching for:

Catch AI-generated content in scholarly and non-scholarly content

{ai} Detector

Ai Writer

Get PDF Summaries, highlighted text explanations 

Chat with PDF

Effortlessly create in-text citations and bibliographies in APA and 2,500 other formats

Citation generator

Get explanations, summaries, and answers on academic papers

Ease up your research workflow with {scispace}'s cohort of exciting AI tools

Elevate your academic writing skills and convey your ideas the way you want

Paraphraser

Explore our range of reading and writing tools

Your file is being prepared and should be ready in a few minutes. If it's a large file, it might take a bit longer. You can close this window, and we'll email you the file when it's done.

You have reached a maximum limit of <strong>{limit}</strong> columns in the table. Remove at least <strong>1</strong> column to add or create another one.

T. Meyer

Author Tools

Chat about Author