The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Software agents in Multiagent Systems (MAS) have several interactions that are designed and represented in the scenarios of the system. These communications should be verified to detect whether the agents will show a new behavior in their execution, which is known as emergent behavior or implied scenario. Most research use different versions of state machines modeling for the detection of implied...
This research is intended to automatically detect emergent behaviors of scenario based Distributed Software Systems (DSS) in design phase. The direct significance of our work is reducing the cost of verifying DSS for unexpected behavior in execution time. Existing approaches have some drawbacks which we try to cover in our work. The main contributions are modeling the DSS components as a social network...
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...
The verification of Distributed Software Systems (DSS) and Multi agent systems (MAS) has taken a special attention due to the growing demand of having DSS in this decade. MAS and DSS are a class of software in which functionality or control is distributed. This may cause components (agents) to emerge an unexpected behavior in their runtime, which was not seen in the requirement and design. This is...
Multi agent systems (MAS) play an important role in many of industrial software systems today. MAS are distributed systems and there is no central control for the agents in most of the systems. The lack of central control and the local view of each agent from the whole system may cause some unexpected behaviors which is called emergent behavior. Detecting and fixing these unexpected behaviors is more...
The verification of Multiagent Systems (MAS) and Distributed Software Systems (DSS) has taken a special attention due to the growing demand of having DSS in recent years. The distributed functionality and lack of having a central control in MAS and DSS may cause to emerge new behaviors in the execution time. This unexpected behavior which was not seen in the requirements is known as emergent behavior...
In design of distributed systems with specification languages such as message sequence charts (MSC), communication between different component (agent) types or instances of them are defined. There are a number of methods to verify the design using scenarios of inter-component communication. Those methods usually ignore the intra-component communication, i.e. communication between components of the...
Multi agent systems with autonomous interaction, negotiation and learning capabilities can efficiently model social behavior of individuals participating in a social network. A central problem in a social network is to identify the nodes that actively participate in the expansion of the net both physically and functionally. Several metrics have already been proposed to identify those hot spots. The...
Modeling and implementing auction systems using agent technology is a common practice because agents can assume various roles and their behavior will be determined as a result of negotiation. However, emergent behavior is a hurdle. Mechanisms must be in place to make sure that agents participating in the auction systems won't behave in an unintended way. Detecting emergent behaviors in the design...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.