ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems

Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui

Abstract

The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution to the system environment according to user requirements. Nevertheless, since several behaviors can be redundant from an execution to another, the use of OCL is insufficient to specify the constraints to be satisfied by this kind of systems. We propose an extension of OCL, named Reconfigurable OCL, in order to optimize the specification and validation of constraints related to different execution scenarios of a flexible system. A metamodel of the new ROCL is proposed with formal syntax and semantics. This solution gains in term of the validation time and the quick expression of constraints. The paper’s contribution is applied to a case study that we propose to show the originality of this new language.

References

  1. Baar, T. (2010). Experiences with the uml/ocl-approach to precise software modeling.
  2. Cengarle, M. and Knapp, A. (2002). Towards OCL RT,2002, volume 2391 of Lecture Notes in Computer Science. Springer Berlin Heidelberg.
  3. Chen, X., Azim, A., Liu, X., Fischmeister, S., and Ma, J. (2014a). DTS: dynamic TDMA scheduling for networked control systems. Journal of Systems Architecture - Embedded Systems Design, 60(2):194-205.
  4. Chen, X., Azim, A., Liu, X., Fischmeister, S., and Ma, J. (2014b). DTS: dynamic TDMA scheduling for networked control systems. Journal of Systems Architecture - Embedded Systems Design, 60(2):194-205.
  5. Conrad, S. and Turowski, K. (2001). Temporal ocl: Meeting specification demands for business components.
  6. G. Behrmann, A. D. and Larsen, K. A tutorial on uppaal in formal methods for the design of real-time systems. volume 37. Springer Verlag, 3185 edition.
  7. Gharbi, A. and Khalgui, M. (2014). Functional safety of adaptive embedded control systems: new solutions. IJCCBS, 5(3/4):300-353.
  8. Handziski, V., Kopke, A., Willig, A., and Wolisz, A. (November, 2005). Twist: A scalable and reconfigurable wireless sensor network testbed for indoor deployments. Technical report, Technical University Berlin, Telecommunication Networks Group.
  9. Harish Ramamurthy, B. S. Prabhu, R. G. (2005). Reconfigurable wireless interface for networking sensors (rewins). 9th IFIP Interernational Conference on Personal Wireless Communincation, 15.
  10. Heath, S. (2003). Embedded systems design. House, Jordan Hill, Oxford.
  11. H.Grichi, O.Mosbahi, and M.khalgui (16-19 March 2015.). Formal specification and verification of reconfigurable wireless sensor networks. 12th International MultiConference on Systems, Signals & Devices : Conference on Computers & Information Technology (SSD15).
  12. H.Grichi, O.Mosbahi, and M.khalgui (29-31 August 2014). Reconfigurable wireless sensor networks: New adaptive dynamic solutions for flexible architectures. ICSOFT EA 2014, the 9th International Conference on Software Engineering and Applications.
  13. J.Bellis, S., Delaney, K., Barton, J., and Razeeb, K. M. (Aug 2005). Development of field programmable modular wsn nodes for ambient systems. In In Computer Communications, Special Issue on Wireless Sensor Networks, volume 13, pages 1531-1544.
  14. Kayser, D. (30 May 2003). Abstraction and natural language semantics. The Royal Society.
  15. Kindratenko1, V. and Pointer, D. (2005). Mapping a sensor interface and a reconfigurable. Communication System to an FPGA CoreSensor Letters, 3:174- 178.
  16. M. Bocca, E. I. Cosar, J. S. and Eriksson, L. (July 2009). A reconfigurable wireless sensor network for structural health monitoring. 4th International Conference on Structural Health Monitoring of Intelligent Infrastructure.
  17. OMG (2010). Object constraint language specification.
  18. OMG (February 2009). Omg unified modeling language (omg uml).
  19. Richters, M. and Gogolla, M. (2002). OCL: syntax, semantics, and tools. In Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pages 42-68.
  20. Sendall, S. and Strohmeier, A. (2001). Specifying concurrent system behavior and timing constraints using ocl and uml. In Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 391-405, London, UK, UK. Springer-Verlag.
  21. Subrahmanyam, R. (1992). Data abstraction in programming language semantics.
Download


Paper Citation


in Harvard Style

Grichi H., Mosbahi O. and Khalgui M. (2015). ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems . In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 45-52. DOI: 10.5220/0005522700450052


in Bibtex Style

@conference{icsoft-ea15,
author={Hanen Grichi and Olfa Mosbahi and Mohamed Khalgui},
title={ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={45-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005522700450052},
isbn={978-989-758-114-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - ROCL: New Extensions to OCL for Useful Verification of Flexible Software Systems
SN - 978-989-758-114-4
AU - Grichi H.
AU - Mosbahi O.
AU - Khalgui M.
PY - 2015
SP - 45
EP - 52
DO - 10.5220/0005522700450052