59 research outputs found
Bilateral Bargaining Game and Fuzzy Logic in a System Handling SLA-Based Workflows
In the business Grid, the owner of a workflow is assumed
to ask an SLA Workflow broker to execute the workflow for
him. The price for executing a workflow on the Grid is negotiated
between the user and the broker. Determining a
price that satisfies both, the user and the SLA workflow broker,
is a difficult task. This paper proposes a method using
bilateral bargaining game model based on fuzzy logic to
determine the price that the user and the broker could accept
after the first negotiation round. We also analyze many
parameters affecting the price determination process. The
validation results show that the approach is suitable with
business rules
Multi-User Variability Configuration: a Game Theoretic Approach
Multi-user configuration is a neglected problem in variability-intensive systems area. The appearance of conflicts among user configurations is a main concern. Current approaches focus on avoiding such conflicts, applying the mutual exclusion principle. However, this perspective has a negative impact on users satisfaction, who cannot make any decision fairly. in this work, we propose an interpretation of multi-user configuration as a game theoretic problem. Game theory is a well-known discipline which analyzes conflicts and cooperation among intelligent rational decisionmakers. We present a taxonomy of multi-user configuration approaches, and how they can be interpreted as different problems of game theory. We focus on cooperative game theory to propose and automate a tradeoff-based bargaining approach, as a way to solve the conflicts and maximize user satisfaction at the same time
Automated and dynamic multi-level negotiation framework applied to an efficient cloud provisioning
Lâapprovisionnement du Cloud est le processus de dĂ©ploiement et de gestion des applications sur les infrastructures publiques du Cloud. Il est de plus en plus utilisĂ© car il permet aux fournisseurs de services mĂ©tiers de se concentrer sur leurs activitĂ©s sans avoir Ă gĂ©rer et Ă investir dans lâinfrastructure. Il comprend deux niveaux dâinteraction : (1) entre les utilisateurs finaux et les fournisseurs de services pour lâapprovisionnement des applications, et (2) entre les fournisseurs de services et les fournisseurs de ressources pour lâapprovisionnement des ressources virtuelles. Lâenvironnement Cloud est devenu un marchĂ© complexe oĂč tout fournisseur veut maximiser son profit monĂ©taire et oĂč les utilisateurs finaux recherchent les services les plus efficaces tout en minimisant leurs coĂ»ts. Avec la croissance de la concurrence dans le Cloud, les fournisseurs de services mĂ©tiers doivent assurer un approvisionnement efficace qui maximise la satisfaction de la clientĂšle et optimise leurs profits.Ainsi, les fournisseurs et les utilisateurs doivent ĂȘtre satisfaits en dĂ©pit de leurs besoins contradictoires. La nĂ©gociation est une solution prometteuse qui permet de rĂ©soudre les conflits en comblant le gap entre les capacitĂ©s des fournisseurs et les besoins des utilisateurs. Intuitivement, la nĂ©gociation automatique des contrats (SLA) permet dâaboutir Ă un compromis qui satisfait les deux parties. Cependant, pour ĂȘtre efficace, la nĂ©gociation automatique doit considĂ©rer les propriĂ©tĂ©s de lâapprovisionnement du Cloud et les complexitĂ©s liĂ©es Ă la dynamicitĂ© (dynamicitĂ© de la disponibilitĂ© des ressources, dynamicitĂ© des prix). En fait ces critĂšres ont un impact important sur le succĂšs de la nĂ©gociation. Les principales contributions de cette thĂšse rĂ©pondant au dĂ©fi de la nĂ©gociation multi-niveau dans un contexte dynamique sont les suivantes: (1) Nous proposons un modĂšle de nĂ©gociateur gĂ©nĂ©rique qui considĂšre la nature dynamique de lâapprovisionnement du Cloud et son impact potentiel sur les rĂ©sultats dĂ©cisionnels. Ensuite, nous construisons un cadre de nĂ©gociation multicouche fondĂ© sur ce modĂšle en lâinstanciant entre les couches du Cloud. Le cadre comprend des agents nĂ©gociateurs en communication avec les modules en relation avec la qualitĂ© et le prix du service Ă fournir (le planificateur, le moniteur, le prospecteur de marchĂ©). (2) Nous proposons une approche de nĂ©gociation bilatĂ©rale entre les utilisateurs finaux et les fournisseurs de service basĂ©e sur une approche dâapprovisionnement existante. Les stratĂ©gies de nĂ©gociation sont basĂ©es sur la communication avec les modules dâapprovisionnement (le planificateur et lâapprovisionneur de machines virtuelles) afin dâoptimiser les bĂ©nĂ©fices du fournisseur de service et de maximiser la satisfaction du client. (3) Afin de maximiser le nombre de clients, nous proposons une approche de nĂ©gociation adaptative et simultanĂ©e comme extension de la nĂ©gociation bilatĂ©rale. Nous proposons dâexploiter les changements de charge de travail en termes de disponibilitĂ© et de tarification des ressources afin de renĂ©gocier simultanĂ©ment avec plusieurs utilisateurs non acceptĂ©s (câest-Ă -dire rejetĂ©s lors de la premiĂšre session de nĂ©gociation) avant la crĂ©ation du contrat SLA. (4) Afin de gĂ©rer toute violation possible de SLA, nous proposons une approche proactive de renĂ©gociation aprĂšs lâĂ©tablissement de SLA. La renĂ©gociation est lancĂ©e lors de la dĂ©tection dâun Ă©vĂ©nement inattendu (par exemple, une panne de ressources) pendant le processus dâapprovisionnement. Les stratĂ©gies de renĂ©gociation proposĂ©es visent Ă minimiser la perte de profit pour le fournisseur et Ă assurer la continuitĂ© du service pour le consommateur. Les approches proposĂ©es sont mises en Ćuvre et les expĂ©riences prouvent les avantages dâajouter la (re)nĂ©gociation au processus dâapprovisionnement. Lâutilisation de la (re)nĂ©gociation amĂ©liore le bĂ©nĂ©fice du fournisseur, le nombre de demandes acceptĂ©es et la satisfaction du client.Cloud provisioning is the process of deployment and management of applications on public cloud infrastructures. Cloud provisioning is used increasingly because it enables business providers to focus on their business without having to manage and invest in infrastructure. Cloud provisioning includes two levels of interaction: (1) between end-users and business providers for application provisioning; and (2) between business providers and resource providers for virtual resource provisioning.The cloud market nowadays is a complex environment where business providers need to maximize their monetary profit, and where end-users look for the most efficient services with the lowest prices. With the growth of competition in the cloud, business providers must ensure efficient provisioning that maximizes customer satisfaction and optimizes the providersâ profit. So, both providers and users must be satisfied in spite of their conflicting needs. Negotiation is an appealing solution to solve conflicts and bridge the gap between providersâ capabilities and usersâ requirements. Intuitively, automated Service Level Agreement (SLA) negotiation helps in reaching an agreement that satisfies both parties. However, to be efficient, automated negotiation should consider the properties of cloud provisioning mainly the two interaction levels, and complexities related to dynamicity (e.g., dynamically-changing resource availability, dynamic pricing, dynamic market factors related to offers and demands), which greatly impact the success of the negotiation. The main contributions of this thesis tackling the challenge of multi-level negotiation in a dynamic context are as follows: (1) We propose a generic negotiator model that considers the dynamic nature of cloud provisioning and its potential impact on the decision-making outcome. Then, we build a multi-layer negotiation framework built upon that model by instantiating it among Cloud layers. The framework includes negotiator agents. These agents are in communication with the provisioning modules that have an impact on the quality and the price of the service to be provisioned (e.g, the scheduler, the monitor, the market prospector). (2) We propose a bilateral negotiation approach between end-users and business providers extending an existing provisioning approach. The proposed decision-making strategies for negotiation are based on communication with the provisioning modules (the scheduler and the VM provisioner) in order to optimize the business providerâs profit and maximize customer satisfaction. (3) In order to maximize the number of clients, we propose an adaptive and concurrent negotiation approach as an extension of the bilateral negotiation. We propose to harness the workload changes in terms of resource availability and pricing in order to renegotiate simultaneously with multiple non-accepted users (i.e., rejected during the first negotiation session) before the establishment of the SLA. (4) In order to handle any potential SLA violation, we propose a proactive renegotiation approach after SLA establishment. The renegotiation is launched upon detecting an unexpected event (e.g., resource failure) during the provisioning process. The proposed renegotiation decision-making strategies aim to minimize the loss in profit for the provider and to ensure the continuity of the service for the consumer. The proposed approaches are implemented and experiments prove the benefits of adding (re)negotiation to the provisioning process. The use of (re)negotiation improves the providerâs profit, the number of accepted requests, and the clientâs satisfaction
Automated and dynamic multi-level negotiation framework applied to an efficient cloud provisioning
Lâapprovisionnement du Cloud est le processus de dĂ©ploiement et de gestion des applications sur les infrastructures publiques du Cloud. Il est de plus en plus utilisĂ© car il permet aux fournisseurs de services mĂ©tiers de se concentrer sur leurs activitĂ©s sans avoir Ă gĂ©rer et Ă investir dans lâinfrastructure. Il comprend deux niveaux dâinteraction : (1) entre les utilisateurs finaux et les fournisseurs de services pour lâapprovisionnement des applications, et (2) entre les fournisseurs de services et les fournisseurs de ressources pour lâapprovisionnement des ressources virtuelles. Lâenvironnement Cloud est devenu un marchĂ© complexe oĂč tout fournisseur veut maximiser son profit monĂ©taire et oĂč les utilisateurs finaux recherchent les services les plus efficaces tout en minimisant leurs coĂ»ts. Avec la croissance de la concurrence dans le Cloud, les fournisseurs de services mĂ©tiers doivent assurer un approvisionnement efficace qui maximise la satisfaction de la clientĂšle et optimise leurs profits.Ainsi, les fournisseurs et les utilisateurs doivent ĂȘtre satisfaits en dĂ©pit de leurs besoins contradictoires. La nĂ©gociation est une solution prometteuse qui permet de rĂ©soudre les conflits en comblant le gap entre les capacitĂ©s des fournisseurs et les besoins des utilisateurs. Intuitivement, la nĂ©gociation automatique des contrats (SLA) permet dâaboutir Ă un compromis qui satisfait les deux parties. Cependant, pour ĂȘtre efficace, la nĂ©gociation automatique doit considĂ©rer les propriĂ©tĂ©s de lâapprovisionnement du Cloud et les complexitĂ©s liĂ©es Ă la dynamicitĂ© (dynamicitĂ© de la disponibilitĂ© des ressources, dynamicitĂ© des prix). En fait ces critĂšres ont un impact important sur le succĂšs de la nĂ©gociation. Les principales contributions de cette thĂšse rĂ©pondant au dĂ©fi de la nĂ©gociation multi-niveau dans un contexte dynamique sont les suivantes: (1) Nous proposons un modĂšle de nĂ©gociateur gĂ©nĂ©rique qui considĂšre la nature dynamique de lâapprovisionnement du Cloud et son impact potentiel sur les rĂ©sultats dĂ©cisionnels. Ensuite, nous construisons un cadre de nĂ©gociation multicouche fondĂ© sur ce modĂšle en lâinstanciant entre les couches du Cloud. Le cadre comprend des agents nĂ©gociateurs en communication avec les modules en relation avec la qualitĂ© et le prix du service Ă fournir (le planificateur, le moniteur, le prospecteur de marchĂ©). (2) Nous proposons une approche de nĂ©gociation bilatĂ©rale entre les utilisateurs finaux et les fournisseurs de service basĂ©e sur une approche dâapprovisionnement existante. Les stratĂ©gies de nĂ©gociation sont basĂ©es sur la communication avec les modules dâapprovisionnement (le planificateur et lâapprovisionneur de machines virtuelles) afin dâoptimiser les bĂ©nĂ©fices du fournisseur de service et de maximiser la satisfaction du client. (3) Afin de maximiser le nombre de clients, nous proposons une approche de nĂ©gociation adaptative et simultanĂ©e comme extension de la nĂ©gociation bilatĂ©rale. Nous proposons dâexploiter les changements de charge de travail en termes de disponibilitĂ© et de tarification des ressources afin de renĂ©gocier simultanĂ©ment avec plusieurs utilisateurs non acceptĂ©s (câest-Ă -dire rejetĂ©s lors de la premiĂšre session de nĂ©gociation) avant la crĂ©ation du contrat SLA. (4) Afin de gĂ©rer toute violation possible de SLA, nous proposons une approche proactive de renĂ©gociation aprĂšs lâĂ©tablissement de SLA. La renĂ©gociation est lancĂ©e lors de la dĂ©tection dâun Ă©vĂ©nement inattendu (par exemple, une panne de ressources) pendant le processus dâapprovisionnement. Les stratĂ©gies de renĂ©gociation proposĂ©es visent Ă minimiser la perte de profit pour le fournisseur et Ă assurer la continuitĂ© du service pour le consommateur. Les approches proposĂ©es sont mises en Ćuvre et les expĂ©riences prouvent les avantages dâajouter la (re)nĂ©gociation au processus dâapprovisionnement. Lâutilisation de la (re)nĂ©gociation amĂ©liore le bĂ©nĂ©fice du fournisseur, le nombre de demandes acceptĂ©es et la satisfaction du client.Cloud provisioning is the process of deployment and management of applications on public cloud infrastructures. Cloud provisioning is used increasingly because it enables business providers to focus on their business without having to manage and invest in infrastructure. Cloud provisioning includes two levels of interaction: (1) between end-users and business providers for application provisioning; and (2) between business providers and resource providers for virtual resource provisioning.The cloud market nowadays is a complex environment where business providers need to maximize their monetary profit, and where end-users look for the most efficient services with the lowest prices. With the growth of competition in the cloud, business providers must ensure efficient provisioning that maximizes customer satisfaction and optimizes the providersâ profit. So, both providers and users must be satisfied in spite of their conflicting needs. Negotiation is an appealing solution to solve conflicts and bridge the gap between providersâ capabilities and usersâ requirements. Intuitively, automated Service Level Agreement (SLA) negotiation helps in reaching an agreement that satisfies both parties. However, to be efficient, automated negotiation should consider the properties of cloud provisioning mainly the two interaction levels, and complexities related to dynamicity (e.g., dynamically-changing resource availability, dynamic pricing, dynamic market factors related to offers and demands), which greatly impact the success of the negotiation. The main contributions of this thesis tackling the challenge of multi-level negotiation in a dynamic context are as follows: (1) We propose a generic negotiator model that considers the dynamic nature of cloud provisioning and its potential impact on the decision-making outcome. Then, we build a multi-layer negotiation framework built upon that model by instantiating it among Cloud layers. The framework includes negotiator agents. These agents are in communication with the provisioning modules that have an impact on the quality and the price of the service to be provisioned (e.g, the scheduler, the monitor, the market prospector). (2) We propose a bilateral negotiation approach between end-users and business providers extending an existing provisioning approach. The proposed decision-making strategies for negotiation are based on communication with the provisioning modules (the scheduler and the VM provisioner) in order to optimize the business providerâs profit and maximize customer satisfaction. (3) In order to maximize the number of clients, we propose an adaptive and concurrent negotiation approach as an extension of the bilateral negotiation. We propose to harness the workload changes in terms of resource availability and pricing in order to renegotiate simultaneously with multiple non-accepted users (i.e., rejected during the first negotiation session) before the establishment of the SLA. (4) In order to handle any potential SLA violation, we propose a proactive renegotiation approach after SLA establishment. The renegotiation is launched upon detecting an unexpected event (e.g., resource failure) during the provisioning process. The proposed renegotiation decision-making strategies aim to minimize the loss in profit for the provider and to ensure the continuity of the service for the consumer. The proposed approaches are implemented and experiments prove the benefits of adding (re)negotiation to the provisioning process. The use of (re)negotiation improves the providerâs profit, the number of accepted requests, and the clientâs satisfaction
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)
http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"
Multiagent resource allocation in service networks
The term service network (SN) denotes a network of software services in which complex software applications are provided to customers by aggregating multiple elementary services. These networks are based on the service-oriented computing (SOC) paradigm, which defines the fundamental technical concepts for software services over electronic networks, e.g., Web services and, most recently, Cloud services. For the provision of software services to customers, software service providers (SPs) have to allocate their scarce computational resources (i.e., hardware and software) of a certain quality to customer requests. The SOC paradigm facilitates interoperability over organizational boundaries by representing business relationships on the software system level. Composite software services aggregate multiple software services into software applications. This aggregation is denoted as service composition. The loose coupling of services leads to SNs as dynamic entities with changing interdependencies between services.
For composite software services, these dependencies exist across SN tiers; they result from the procurement of services, which are themselves utilized to produce additional services, and constitute a major problem for resource allocation in SNs. If these dependencies are not considered, the fulfillment of agreements may become unaccomplishable (overcommitment). Hence, the consideration of service dependencies is crucial for the allocation of service providers resources to fulfill customer requests in SNs.
However, existing resource allocation methods, which could consider these dependencies -- such as combinatorial auctions with a central auctioneer for the whole SN -- are not applicable, since there are no central coordinating entities in SNs. The application of an allocation mechanism that does not consider these dependencies might negatively affect the actual service delivery; results are penalty payments as well as a damage to the reputation of the providers.
This research is conducted in accordance to the design science paradigm in information system research. It is a problem-solving paradigm, which targets the construction and evaluation of IT artifacts. The objectives of this research are to develop and evaluate an allocation protocol, which can consider multi-tier service dependencies without the existence of central coordinating entities. Therefore, an interaction protocol engineering (IPE) perspective is applied to solve the problem of multi-tier dependencies in resource allocation. This approach provides a procedure model for designing interaction protocols for multiagent systems, and is closely related to the well-established area of communication protocol engineering.
Automated resource allocation in SNs is analyzed in this research by representing the actors as autonomous software agents in the software system. The actors delegate their objectives to their software agents, which conduct the negotiations for service provision on their behalf. Thus, these agents communicate concerning the resource allocation; in this process, the sequence of communication interactions is crucial to the problem addressed. Interaction protocols define a structured exchange of defined messages between agents; they facilitate agent conversations.
When multiple agents have to reach agreements by negotiation and bargaining, such as in case with allocating scarce resources, game theory provides means to formalize and analyze the most rational choice of actions for the interacting agents. Based on a formal framework for resource allocation in SNs, this research first performs a game-theoretic problem analysis; it is concerned with the existence, as well as the complexity of computing optimal allocations. In addition, Nash equilibria are analyzed for optimal allocations. Second, a distributed, auction-based allocation protocol, which prevents overcommitments and guarantees socially optimal allocations for single customer requests under certain assumptions, is proposed. Therefore, a game-theoretic model and an operationizable specification of the protocol are presented. Third, it is formally verified that the protocol enables multi-tier resource allocation and avoids overcommitments by proofs for the game-theoretic model and by model checking for the interaction protocol specification; using the model checker Spin, safety properties like the absence of deadlock are as well formally verified as the protocol enabling multi-tier resource allocation. Fourth, the efficacy and the benefits of the proposed protocol are demonstrated by multiagent simulation for concurrent customers. The experimental evaluation provides evidence of the protocols efficiency compared to the socially optimal allocation as a centralized benchmark in different settings, e.g., network topologies and different bidding policies.Der Begriff Service Network (SN) bezeichnet ein Netzwerk von Software-Services, in dem komplexe Software-Applikationen durch Aggregation mehrerer elementarer Services fĂŒr Kunden bereitgestellt werden. Diese Netzwerke basieren auf dem Paradigma des Service-oriented Computing, welches die grundlegenden technischen Konzepte fĂŒr Software-Services ĂŒber elektronische Netzwerke bereitstellt, d.h. Web Services und zuletzt Cloud-Computing. FĂŒr die Bereitstellung von Software-Services fĂŒr Kunden mĂŒssen Software-Anbieter ihre knappen Ressourcen (d.h. Hardware und Software) einer bestimmten QualitĂ€t zu Kundenanfragen allozieren, also entsprechende Ressourcen reservieren, um Software-Services in der vereinbarten DienstgĂŒte bereitzustellen. Zusammengesetzte Software-Services aggregieren mehrere Software-Services zu Software-Applikations-Services. Diese Aggregation wird als Service-Komposition bezeichnet. Die lose Kopplung von Services macht SNs zu dynamischen EntitĂ€ten mit sich verĂ€ndernden Interdependenzen zwischen den Services.
FĂŒr zusammengesetzte Software-Services existieren solche AbhĂ€ngigkeiten ĂŒber mehrere SN-Stufen; sie ergeben sich durch die Beschaffung von Services, welche fĂŒr die Produktion von weiteren Services verwendet werden, und stellen ein Hauptproblem bei der Ressourcenallokation in SN dar. Werden diese AbhĂ€ngigkeiten nicht berĂŒcksichtigt, kann die ErfĂŒllung von Vereinbarungen undurchfĂŒhrbar werden (overcommitment). Daher ist die BerĂŒcksichtigung von Service-AbhĂ€ngigkeiten bei der Allokation von Ressourcen der Service-Anbieter fĂŒr die ErfĂŒllung der Kundenanfragen in SNs entscheidend.
Existierende Methoden der Ressourcenallokation, welche diese AbhĂ€ngigkeiten berĂŒcksichtigen könnten -- wie kombinatorische Auktionen mit einem zentralen Auktionator fĂŒr das gesamte SN -- sind jedoch nicht anwendbar, da in SNs keine zentralen KoordinationsentitĂ€ten existieren. Der Einsatz eines Allokationsmechanismus, welcher diese AbhĂ€ngigkeiten nicht berĂŒcksichtigt, kann die konkrete Service-Erbringung negativ beeinflussen und somit in Strafzahlungen und einer BeeintrĂ€chtigung der Reputation der Service-Anbieter resultieren.
Die vorliegende Forschungsarbeit wird in Ăbereinstimmung mit dem Design Science-Paradigma durchgefĂŒhrt. Dabei handelt es sich um ein Problemlösungs-Paradigma, welches die Konstruktion und Evaluation von IT-Artefakten zum Ziel hat. Ziel dieser Forschungsarbeit ist die Entwicklung und Evaluation eines Allokationsprotokolls, welches mehrstufige Service-AbhĂ€ngigkeiten ohne die Existenz zentraler, koordinierender EntitĂ€ten berĂŒcksichtigen kann. Zu diesem Zweck wird eine Interaction-Protocol-Engineering (IPE)-Perspektive eingenommen, um das Problem mehrstufiger AbhĂ€ngigkeiten bei der Ressourcenallokation zu lösen. Dieser Ansatz stellt ein Vorgehensmodell fĂŒr den Entwurf von Interaktionsprotokollen fĂŒr Multiagentensysteme zur VerfĂŒgung.
Diese Forschungsarbeit analysiert die automatisierte Ressourcenallokation in SNs durch die ReprĂ€sentation der Akteure als autonome Softwareagenten im Softwaresystem. Die Akteure delegieren ihre Ziele an ihre Softwareagenten, welche in deren Auftrag die Verhandlung fĂŒr die Service-Erbringung durchfĂŒhren. Somit kommunizieren diese Softwareagenten bezĂŒglich der Ressourcenallokationen; dabei ist die Abfolge der Interaktionen fĂŒr das adressierte Problem elementar. Interaktionsprotokolle definieren einen strukturierten Austausch bestimmter Nachrichten zwischen Agenten.
Wenn mehrere Agenten Vereinbarungen durch Verhandlungen treffen mĂŒssen, wie im Falle der Allokation knapper Ressourcen, stellt die Spieltheorie Methoden bereit, um rationale Entscheidungen der Aktionen fĂŒr interagierende Agenten zu analysieren. Basierend auf einem formalen Modell fĂŒr Ressourcenallokation in SN fĂŒhrt diese Forschungsarbeit eine spieltheoretische Problemanalyse durch. Hierbei werden insbesondere mehrstufige AbhĂ€ngigkeiten von Vereinbarungen berĂŒcksichtigt. Die Problemanalyse befaĂt sich mit der Existenz sowie der KomplexitĂ€t der Berechnung optimaler Allokationen. Es wird ein verteiltes, Auktions-basiertes Allokationsprotokoll, welches overcommitments vermeidet, vorgeschlagen.
Basierend auf dem spieltheoretischen Modell wird gezeigt, daĂ das vorgeschlagene Protokoll overcommitments vermeidet und sozial optimale Allokationen fĂŒr einzelne Kundenanfragen unter bestimmten Annahmen garantiert. DarĂŒber hinaus wird der ModellprĂŒfer Spin verwendet, um bestimmte formale Eigenschaften der Beschreibung des Protokolls zu beweisen. AbschlieĂend werden die Anwendbarkeit und der Nutzen des vorgeschlagenen Protokolls mittels Multiagentensimulation demonstriert. In den Simulationsexperimenten wird die Effizienz des Protokolls mit der optimalen Allokation als zentralisiertes Benchmark in unterschiedlichen Einstellungen (z.B. Netzwerktopologien oder Anzahl von Kunden- und Anbieter-Agenten) fĂŒr verschiedene Bietrichtlinien fĂŒr Anbieter verglichen
Service level agreement specification for IoT application workflow activity deployment, configuration and monitoring
PhD ThesisCurrently, we see the use of the Internet of Things (IoT) within various domains
such as healthcare, smart homes, smart cars, smart-x applications, and smart
cities. The number of applications based on IoT and cloud computing is projected
to increase rapidly over the next few years. IoT-based services must meet
the guaranteed levels of quality of service (QoS) to match usersâ expectations.
Ensuring QoS through specifying the QoS constraints using service level agreements
(SLAs) is crucial. Also because of the potentially highly complex nature
of multi-layered IoT applications, lifecycle management (deployment, dynamic
reconfiguration, and monitoring) needs to be automated. To achieve this it is
essential to be able to specify SLAs in a machine-readable format.
currently available SLA specification languages are unable to accommodate
the unique characteristics (interdependency of its multi-layers) of the IoT domain.
Therefore, in this research, we propose a grammar for a syntactical structure
of an SLA specification for IoT. The grammar is based on a proposed conceptual
model that considers the main concepts that can be used to express the requirements
for most common hardware and software components of an IoT application
on an end-to-end basis. We follow the Goal Question Metric (GQM) approach to
evaluate the generality and expressiveness of the proposed grammar by reviewing
its concepts and their predefined lists of vocabularies against two use-cases
with a number of participants whose research interests are mainly related to IoT.
The results of the analysis show that the proposed grammar achieved 91.70% of
its generality goal and 93.43% of its expressiveness goal.
To enhance the process of specifying SLA terms, We then developed a toolkit
for creating SLA specifications for IoT applications. The toolkit is used to simplify
the process of capturing the requirements of IoT applications. We demonstrate
the effectiveness of the toolkit using a remote health monitoring service (RHMS)
use-case as well as applying a user experience measure to evaluate the tool by
applying a questionnaire-oriented approach. We discussed the applicability of our
tool by including it as a core component of two different applications: 1) a contextaware
recommender system for IoT configuration across layers; and 2) a tool for
automatically translating an SLA from JSON to a smart contract, deploying it
on different peer nodes that represent the contractual parties. The smart contract
is able to monitor the created SLA using Blockchain technology. These two
applications are utilized within our proposed SLA management framework for IoT.
Furthermore, we propose a greedy heuristic algorithm to decentralize workflow
activities of an IoT application across Edge and Cloud resources to enhance
response time, cost, energy consumption and network usage. We evaluated the
efficiency of our proposed approach using iFogSim simulator. The performance
analysis shows that the proposed algorithm minimized cost, execution time, networking,
and Cloud energy consumption compared to Cloud-only and edge-ward
placement approaches
Combining SOA and BPM Technologies for Cross-System Process Automation
This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation
Supply Chain
Traditionally supply chain management has meant factories, assembly lines, warehouses, transportation vehicles, and time sheets. Modern supply chain management is a highly complex, multidimensional problem set with virtually endless number of variables for optimization. An Internet enabled supply chain may have just-in-time delivery, precise inventory visibility, and up-to-the-minute distribution-tracking capabilities. Technology advances have enabled supply chains to become strategic weapons that can help avoid disasters, lower costs, and make money. From internal enterprise processes to external business transactions with suppliers, transporters, channels and end-users marks the wide range of challenges researchers have to handle. The aim of this book is at revealing and illustrating this diversity in terms of scientific and theoretical fundamentals, prevailing concepts as well as current practical applications
- âŠ