NDLI: Detecting distributed software components that will not cause emergent behavior in asynchronous communication style

Content Provider	IEEE Xplore Digital Library
Author	Fard, F.H. Far, B.H.
Copyright Year	2013
Description	Author affiliation: Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada (Fard, F.H.; Far, B.H.)
Abstract	In distributed software systems (DSS) the functionality and/or control are distributed. This may cause the DSS components to show an unexpected behavior known as emergent behavior in the run time, which was not seen in their requirements and design. Emergent behaviors can have irreparable damages for companies. The savings in cost of detecting and fixing emergent behaviors in early phases is more than 20 times compared to fixing them after the deployment. The detecting methodologies usually utilize behavioral modeling which can face to state space explosion problem for large scale systems. Therefore, we approach this problem by detecting components that will not show emergent behavior and remove them from further analysis to help the scalability of these approaches. Previously, we have devised and implemented the algorithm for synchronous communications. In this paper, the extension of our method for detecting these components in the asynchronous communication style is presented which is closer to the real-world systems. The details of the technique and related algorithms are discussed.
Starting Page	201
Ending Page	208
File Size	141125
Page Count	8
File Format	PDF
ISBN	9781479910502
DOI	10.1109/IRI.2013.6642473
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-08-14
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Vectors Asynchronous communication Decision support systems Semantics Unified modeling language Software Model checking Distributed Software System Emergent behavior Software requirement
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method

Detection and verification of a new type of emergent behavior in multiagent systems

A method for detecting agents that will not cause emergent behavior in agent based systems - A case study in agent based auction systems -

Detecting emergent behavior in distributed systems using an ontology based methodology

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems

Workflow and decision support for the design of distributed automation systems

Verification Framework for Detecting Safety Violations in UML Statecharts

Toward consistency checking of natural language temporal requirements

Model checking distributed systems against temporal-epistemic specifications.

Detecting distributed software components that will not cause emergent behavior in asynchronous communication style

Similar Documents

Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method

Detection and verification of a new type of emergent behavior in multiagent systems

A method for detecting agents that will not cause emergent behavior in agent based systems - A case study in agent based auction systems -

Detecting emergent behavior in distributed systems using an ontology based methodology

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems

Workflow and decision support for the design of distributed automation systems

Verification Framework for Detecting Safety Violations in UML Statecharts

Toward consistency checking of natural language temporal requirements

Model checking distributed systems against temporal-epistemic specifications.

Detecting distributed software components that will not cause emergent behavior in asynchronous communication style