國立虎尾科技大學 |

Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method./
Author:	Fard, Fatemeh Hendijani.
Description:	1 online resource (200 pages)
Notes:	Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.
Subject:	Computer engineering. -
Online resource:	click for full text (PQDT)
ISBN:	9780355007985

Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method.
Fard, Fatemeh Hendijani.

Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method. - 1 online resource (200 pages)

Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.

Thesis (Ph.D.)--University of Calgary (Canada), 2016.

Includes bibliographical references

Distributed software Systems (DSS) and Multiagent Systems (MAS) as a sub-class of DSS can provide efficient and cost effective solutions for a wide range of applications. The distributed functionality and/or control in these systems and the local view of the scenarios of the systems can lead to unexpected behavior during execution time, known as Emergent Behaviors (EB) and Implied Scenarios (IS), which was not evident in the requirements and design phase. The new scenarios that are implied to the system can degrade the quality of service and/or cause irreparable damage. Detecting and fixing EB/IS in the early phases, may save costs of software projects by a factor of 20 to 100. In this thesis, we are investigating a new methodology for modeling and analyzing the behavior of software components/agents in order to certify their behavior in advance. Our research questions are: Q1: Is there any methodology that can detect common EB/IS in DSS/MAS without modeling the internal information/knowledge used in software components/agents? Q2: Is there a general approach that can detect EB/IS without human interference and is fully automated? First, we devised a catalogue of the common EB/IS that can arise in DSS/MAS. One of the main advantages of this catalogue is categorizing the EB/IS based on the reasons of occurrence, which helps in devising specific algorithms to detect each type of EB/IS, and can lead to devising solution repositories. The other contribution of our work is devising new modeling based on state machines and social network analysis. This modeling is a general method and can be implemented fully automated. Also, we devised algorithms for detecting the agents that will not show EB/IS in the system as a pre-processing phase. For classes of EB/IS in the catalogue, the detection methodology is devised and recommendations on how to fix the problem are provided. The results of our work shows that all of the EB/IS in various case studies specified in the literature can be detected with our method. Moreover, a new EB/IS is introduced which only can be detected with our modeling.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2018

Mode of access: World Wide Web

ISBN: 9780355007985Subjects--Topical Terms:

569006
Computer engineering.
Index Terms--Genre/Form:

554714
Electronic books.

Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method.
LDR:03284ntm a2200313K 4500 001 914441
005 20180712070705.5
006 m o u
007 cr mn||||a|a||
008 190606s2016 xx obm 000 0 eng d
020 $a 9780355007985
035 $a (MiAaPQ)AAI10630396
035 $a AAI10630396
040 $a MiAaPQ $b eng $c MiAaPQ
100 1 $a Fard, Fatemeh Hendijani. $3 1187701
245 1 0 $a Detecting and Fixing Emergent Behaviors in Distributed Software Systems Using a Message Content Independent Method.
264 0 $c 2016
300 $a 1 online resource (200 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertation Abstracts International, Volume: 78-11(E), Section: B.
500 $a Adviser: Behrouz H. Far.
502 $a Thesis (Ph.D.)--University of Calgary (Canada), 2016.
504 $a Includes bibliographical references
520 $a Distributed software Systems (DSS) and Multiagent Systems (MAS) as a sub-class of DSS can provide efficient and cost effective solutions for a wide range of applications. The distributed functionality and/or control in these systems and the local view of the scenarios of the systems can lead to unexpected behavior during execution time, known as Emergent Behaviors (EB) and Implied Scenarios (IS), which was not evident in the requirements and design phase. The new scenarios that are implied to the system can degrade the quality of service and/or cause irreparable damage. Detecting and fixing EB/IS in the early phases, may save costs of software projects by a factor of 20 to 100. In this thesis, we are investigating a new methodology for modeling and analyzing the behavior of software components/agents in order to certify their behavior in advance. Our research questions are: Q1: Is there any methodology that can detect common EB/IS in DSS/MAS without modeling the internal information/knowledge used in software components/agents? Q2: Is there a general approach that can detect EB/IS without human interference and is fully automated? First, we devised a catalogue of the common EB/IS that can arise in DSS/MAS. One of the main advantages of this catalogue is categorizing the EB/IS based on the reasons of occurrence, which helps in devising specific algorithms to detect each type of EB/IS, and can lead to devising solution repositories. The other contribution of our work is devising new modeling based on state machines and social network analysis. This modeling is a general method and can be implemented fully automated. Also, we devised algorithms for detecting the agents that will not show EB/IS in the system as a pre-processing phase. For classes of EB/IS in the catalogue, the detection methodology is devised and recommendations on how to fix the problem are provided. The results of our work shows that all of the EB/IS in various case studies specified in the literature can be detected with our method. Moreover, a new EB/IS is introduced which only can be detected with our modeling.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2018
538 $a Mode of access: World Wide Web
650 4 $a Computer engineering. $3 569006
650 4 $a Computer science. $3 573171
655 7 $a Electronic books. $2 local $3 554714
690 $a 0464
690 $a 0984
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a University of Calgary (Canada). $b Graduate Program in Electrical and Computer Engineering. $3 1187702
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10630396 $z click for full text (PQDT)