A New Approach for the Detection of Emergent Behaviors and Implied Scenarios in Distributed Software Systems - Extracting Communications from Scenarios

Fatemeh Hendijani Fard, Behrouz H. Far

2015

Abstract

An approach to specify the requirements and design of a Distributed Software System (DSS), which is mostly used in recent years, is describing scenarios with visual artifacts, such as, UML Sequence Diagrams and ITU-T Message Sequence Charts (MSC) and High level Message Sequence Charts (hMSC). Scenarios describe system’s behavior and define the components and their interactions. Each scenario determines a partial behavior of the system. Hence, the restricted view of the components in each scenario and distributed functionality and/or control in DSS, may result in inconsistency in the system behavior. One problem that arise in scenario based Distributed Software Systems is emergent behaviors or implied scenarios that occur because of restricted view of one or more components. Emergent behaviors are known as unexpected behaviors that components show in their execution time. However, this behavior was not defined in their designs. This unexpected behavior may imply a new scenario to the system, and can result in considerable cost and damage. Therefore, emergent behaviors should be detected in the early phases of software development to prevent damage or cost after deployment. The detected emergent behaviors can be either accepted or denied by the stakeholders. However, they should be detected and discussed, to be added as new designs, or to be specified as negative scenarios that should be avoided. In our research, we try to devise an automatic methodology to detect the emergent behaviors (implied scenarios) from the designs of the system. We also mean to help the designers for the exact point of the problem in the system and the possible solutions to remove the detected emergent behaviors.

References

  1. Aggarwal, C. C. (2011). An introduction to social network data analytics (pp. 1-15). Springer US.
  2. Alur, R., Etessami, K., & Yannakakis, M. (2005). Realizability and verification of MSC graphs. Theoretical Computer Science, 331(1), 97-114.
  3. Bhateja, P., Gastin, P., Mukund, M., & Kumar, K. N. (2007, January). Local testing of message sequence charts is difficult. In Fundamentals of Computation Theory (pp. 76-87). Springer Berlin Heidelberg.
  4. Briand, L. C. (2010). Software Verification-A Scalable, Model-Driven, Empirically Grounded Approach. In Simula Research Laboratory (pp. 415-442). Springer Berlin Heidelberg.
  5. Chaki, S., Clarke, E., Grumberg, O., Ouaknine, J., Sharygina, N., Touili, T., & Veith, H. (2005, January). State/event software verification for branching-time specifications. In Integrated Formal Methods (pp. 53- 69). Springer Berlin Heidelberg.
  6. Chakraborty, J., D'Souza, D., & Kumar, K. N. (2010). Analysing message sequence graph specifications. In Leveraging Applications of Formal Methods, Verification, and Validation (pp. 549-563). Springer Berlin Heidelberg.
  7. Fard, F. H., & Far, B. H. (2013, August). Detecting distributed software components that will not cause emergent behavior in asynchronous communication style. In Information Reuse and Integration (IRI), 2013 IEEE 14th International Conference on (pp. 201-208). IEEE.
  8. Holzmann, G. J., & Smith, M. H. (2002). An automated verification method for distributed systems software based on model extraction. Software Engineering, IEEE Transactions on, 28(4), 364-377.
  9. Iglesias, A. (2009). Software Verification and Validation of Graphical Web Services in Digital 3D Worlds. In Communication and Networking (pp. 293-300). Springer Berlin Heidelberg.
  10. ITU-T UNION, SERIES Z: languages and general software aspects for telecommunication systems - Formal description techniques (FDT) - Message Sequence Chart, 2004, ITU-T Recommendation Z.120. p. 136.
  11. Krüger, I. H. (2000). Distributed system design with message sequence charts(Doctoral dissertation, Technische Universität München, Universitätsbibliothek).
  12. Letier, E., Kramer, J., Magee, J., & Uchitel, S. (2005, May). Monitoring and control in scenario-based requirements analysis. In Proceedings of the 27th international conference on Software engineering (pp. 382-391). ACM.
  13. Mousavi, A. (2009). Inference of emergent behaviours of scenario-based specifications (Doctoral dissertation, UNIVERSITY OF CALGARY).
  14. Muscholl, A., & Peled, D. (2005). Deciding properties of message sequence charts. In Scenarios: Models, Transformations and Tools (pp. 43-65). Springer Berlin Heidelberg.
  15. Song, I. G., Jeon, S. U., Han, A. R., & Bae, D. H. (2011). An approach to identifying causes of implied scenarios using unenforceable orders. Information and Software Technology, 53(6), 666-681.
  16. Uchitel, S. (2003). Incremental elaboration of scenariobased specifications and behaviour models using implied scenarios (Doctoral dissertation, Imperial College London (University of London)).
  17. Uchitel, S. (2009). Partial Behaviour Modelling: Foundations for Incremental and Iterative ModelBased Software Engineering. In Formal Methods: Foundations and Applications (pp. 17-22). Springer Berlin Heidelberg.
  18. Uchitel, S., Kramer, J., & Magee, J. (2002, November). Negative scenarios for implied scenario elicitation. In Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (pp. 109-118). ACM.
Download


Paper Citation


in Harvard Style

Hendijani Fard F. and H. Far B. (2015). A New Approach for the Detection of Emergent Behaviors and Implied Scenarios in Distributed Software Systems - Extracting Communications from Scenarios . In Doctoral Consortium - DCAART, (ICAART 2015) ISBN , pages 15-24


in Bibtex Style

@conference{dcaart15,
author={Fatemeh Hendijani Fard and Behrouz H. Far},
title={A New Approach for the Detection of Emergent Behaviors and Implied Scenarios in Distributed Software Systems - Extracting Communications from Scenarios},
booktitle={Doctoral Consortium - DCAART, (ICAART 2015)},
year={2015},
pages={15-24},
publisher={SciTePress},
organization={INSTICC},
doi={},
isbn={},
}


in EndNote Style

TY - CONF
JO - Doctoral Consortium - DCAART, (ICAART 2015)
TI - A New Approach for the Detection of Emergent Behaviors and Implied Scenarios in Distributed Software Systems - Extracting Communications from Scenarios
SN -
AU - Hendijani Fard F.
AU - H. Far B.
PY - 2015
SP - 15
EP - 24
DO -