DynCNET: a negotiation and coordination protocol for dynamic task assignment.

Task assignment in Multi-Agent Systems is a complex coordination problem, especially in systems that operate under dynamic and changing conditions. Adaptive task assignment is used to handle these dynamic and changing circumstances. This technical document describes an adaptive task assignment protocol, DynCNET which is an extension of the Contract Net Protocol. In this document, the DynCNET protocol will be build step by step, starting from the Contract Net protocol. We will add dynamic task assignment, synchronization of abort messages and scope handling. The final result will be the DynCNET protocol with support for synchronization of abort messages and scope handling.

Composition and Relations of Architectural Models Supported by an Architectural Description Language (Compositie en relaties voor architecturale modellen ondersteund door een architecturale beschrijvingstaal)

Software architectuur speelt een prominente rol in het ontwerpen van ste eds complexere gedistribueerde systemen. De manier waarop een architectu ur is beschreven is een belangrijk aspect van een software architectuur. De huidige state-of-the-art schrijft voor om die beschrijving te struct ureren aan de hand van meerdere modellen die gegroepeerd zijn in views. Elk view beschrijft een reeks verwante van concerns van de belanghebbend en van het systeem. Het probleem dat het onderzoek van dit proefschrift motiveert, is dat ar chitecten typisch moeite hebben de modellen in een architecturale beschr ijving consistent te houden met elkaar. Bij elke kleine verandering aan een model moet een architect alle modellen herziening en mogelijk aanpas sen. De typische hoge graad van evolutie in software maakt dit tijdroven d en omslachtig. Dit probleem manifesteert zich vooral bij modellen die hoofdzakelijk informatie van andere modellen bevatten (de zogenaamde geï ntegreerde modellen). Het beschrijven van dit soort modellen is noodzake lijk voor het verkrijgen van een overzicht, voor het begrijpen de intera cties, voor samenbrengen van verschillende functies, of voor de communic atie met belanghebbenden. De contributies van dit proefschrift zijn relaties en composities voor a rchitecturale modellen, ingebed in een architecturale beschrijvingstaal. Er is bovendien een formele beschrijving van de taal en de nodige tool ondersteuning. Het geheel vormt een compositiemechanisme om consis tentie te handhaven voor geïntegreerde modellen. De geïntegreerde modell en moeten niet langer rechtstreeks onderhouden worden door de architect. In plaats daarvan beschrijft de architect de relaties en compositiespec ificaties. Met behulp van die specificatie kan een geïntegreerde model a utomatisch afgeleid worden door een tool. Het voordeel is dat wijziginge n in een model automatisch worden doorgegeven aan alle geïntegreer de modellen. Het compositiemechanisme van dit proefschrift is formeel be schreven om ervoor te zorgen dat de semantiek behouden blijven tijdens c ompositie. Het onderzoek naar relaties omvat ook criteria voor het karak teriseren en vergelijken van relaties tussen architecturale modell en. Als validatie hebben we een empirisch onderzoek gedaan naar de gevolgen van het gebruik van composities en relaties in verschillende toepassinge n: een Traffic Management Systeem, een industrieel transportsysteem, en een digitaal publicatiesysteem. De empirische studie toont een verminder ing tot 29% voor de initiële specificatie en tot 52% vermindering van he t aantal handmatige wijzigingen die nodig zijn voor een aantal realistis che veranderingen aan het systeem.status: publishe

Dealing with concerns ask for an architecture-centric approach

It is becoming more and more clear that architectural design is a crucial step in building complex software. Architectural design involves the first and most crucial design decisions to meet the expected quality attributes [1]. Dealing with concerns that influence important quality attributes asks for an architecture-centric approach. In this paper we propose architectural concerns as basic concept for such architecture-centric approach and discuss possible ways of representing architectural concerns. Software architecture and concerns The requirements and the domain model describe the problem, software architecture is the solution to the problem. The software architecture defines the general structure of the system (the solution) to meet functional requirements and satisfying essential quality requirements (the problem)

Formal specification of traceable and information preserving composition of structural models in Haskell

This technical note provides a Haskell specification of relations between structural models of a software architecture, and a composition operator that uses the relations to integrate information. Using this specification, we define well-formedness rules and information preservation properties of the composition operator like traceability, consistency and completeness. Finally, we prove: (1) that the composition of two structural models, according to three relations, yields a well-formed structural model; and (2) that the composition preserves the information from the original structural models.nrpages: 85status: publishe