OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications

Anas Mohammad Ramadan AlSobeh 1 2 *
More Detail
1 Department of Information Systems, Faculty of Information Technology and Computer Science, Yarmouk University, Irbid, JORDAN
2 Program of Information Technology, School of Computing, College of Engineering, Computing, Technology, and Mathematics, Southern Illinois University, Carbondale, IL, USA
* Corresponding Author
Online Journal of Communication and Media Technologies, Volume 13, Issue 4, Article No: e202355. https://doi.org/10.30935/ojcmt/13771
OPEN ACCESS   919 Views   677 Downloads   Published online: 10 Oct 2023
Download Full Text (PDF)

ABSTRACT

In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes the advanced observe-based statistical model-checking (OSM) framework, devised to craft executable formal models directly from foundational system code. Leveraging model checking predicates, the framework melds seamlessly with aspect-oriented programming paradigms, yielding a potent method for the analytical verification of varied behavioral attributes. Exploiting the transformative capacity of OSM framework, primary system code undergoes a systematic metamorphosis into multifaceted analysis constructs. This not only simplifies the model verification process but also orchestrates feature interactions using an innovative observing join point abstraction mechanism. Within this framework, components encompassing parsing, formal verification, computational analytics, and rigorous validation are intrinsically interwoven. Marrying the principles of model checking with aspect-oriented (AO) modularization, OSM framework stands as a paragon, proficiently scrutinizing and affirming system specifications. This ensures the unyielding performance of electronic health record systems amidst shifting preconditions. OSM framework offers runtime verification of both object-oriented and AO deployments, positioning itself as an indispensable open-source resource, poised to automate the enhancement of system performance and scalability.
Keywords: aspect-oriented programming, dynamic modeling, electronic health record, formal method, model checking, observing-based statistical model-checking

CITATION

AlSobeh, A. M. R. (2023). OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applications. Online Journal of Communication and Media Technologies, 13(4), e202355. https://doi.org/10.30935/ojcmt/13771

REFERENCES

  • Abdulhameed, O. A., Yousuf, A. Y., & Abbas, R. H. (2020). Aspect oriented programming: Concepts, characteristics and implementation. Periodicals of Engineering and Natural Sciences, 7(4), 2022-2033. https://doi.org/10.21533/pen.v7i4.975
  • Abid, M. K., & Khan, M. (2022). Complexity in the adaptation of aspect-oriented software development. International Journal of Information Systems and Computer Technologies, 1(1), 13-20. https://doi.org/10.58325/ijisct.001.01.0013
  • Aichernig, B. K., Bauerstätter, P., Jöbstl, E., Kann, S., Korošec, R., Krenn, W., Mateis, C., Schlick, R., & Schumi, R. (2019). Learning and statistical model checking of system response times. Software Quality Journal, 27, 757-795. https://doi.org/10.1007/s11219-018-9432-8
  • AlSobeh, A. M., AlShattnawi, S., Jarrah, A., & Hammad, M. M. (2020). Weavesim: A scalable and reusable cloud simulation framework leveraging aspect-oriented programming. Jordanian Journal of Computers and Information Technology, 6(2), 1. https://doi.org/10.5455/jjcit.71-1579451674
  • AlSobeh, A. M., Hammad, R., & Al-Tamimi, A. K. (2019). A modular cloud-based ontology framework for context-aware EHR services. International Journal of Computer Applications in Technology, 60(4), 339-350. https://doi.org/10.1504/IJCAT.2019.101181
  • AlSobeh, A. M., Magableh, A. A. A. R., & AlSukhni, E. M. (2018). Runtime reusable weaving model for cloud services using aspect-oriented programming: The security-related aspect. International Journal of Web Services Research, 15(1), 71-88. https://doi.org/10.4018/IJWSR.2018010104
  • AlSobeh, A., & Clyde, S. (2014). Unified conceptual model for join points in distributed transactions. ICSE, 14, 8-15.
  • AlSobeh, A., & Shatnawi, A. (2023). Integrating data-driven security, model checking, and self-adaptation for IoT systems using BIP components: A conceptual proposal model. In Proceedings of the International Conference on Advances in Computing Research (pp. 533-549). Springer. https://doi.org/10.1007/978-3-031-33743-7_44
  • André, É., Liu, S., Liu, Y., Choppy, C., Sun, J., & Dong, J. S. (2023). Formalizing UML state machines for automated verification–A survey. ACM Computing Surveys, 55(13S), 277. https://doi.org/10.1145/3579821
  • Besser, D., Thomas, A., Farah, R., & Brass, T. (2019). Cross cutting concepts in an informal engineering setting (fundamental). In Proceedings of the 2019 ASEE Annual Conference & Exposition. https://doi.org/10.18260/1-2--32570
  • Camilli, M. (2014). Formal verification problems in a big data world: Towards a mighty synergy. In Proceedings of the 36th International Conference on Software Engineering (pp. 638-641). https://doi.org/10.1145/2591062.2591088
  • Cerone, A. (2021). Ten years of DataMod: The synergy of data-driven and model-based approaches. In Proceedings of the International Symposium: From Data to Models and Back (pp. 7-24). Springer. https://doi.org/10.1007/978-3-031-16011-0_2
  • Cheers, H., & Lin, Y. (2021). Modelling dynamics in aspect-oriented programs. In Proceedings of the 12th IEEE International Conference on Software Engineering and Service Science (pp. 6-11). IEEE. https://doi.org/10.1109/ICSESS52187.2021.9522154
  • Ghareb, M. I., & Allen, G. (2018). State of the art metrics for aspect-oriented programming. AIP Conference Proceedings, 1952(1), 020107. https://doi.org/10.1063/1.5032069
  • Grumberg, O., & Long, D. E. (1994). Model checking and modular verification. ACM Transactions on Programming Languages and Systems, 16(3), 843-871. https://doi.org/10.1145/177492.177725
  • Gulia, P., Khari, M., & Patel, S. (2019). Metrics analysis in object oriented and aspect-oriented programming. Recent Patents on Engineering, 13(2), 117-122. https://doi.org/10.2174/1872212112666180831115458
  • Hachani, O., & Bardou, D. (2002). Using aspect-oriented programming for design patterns implementation. In Proceedings of the Workshop Reuse in Object-Oriented Information Systems Design (pp. 345-354).
  • Harel, D., Katz, G., Marron, A., Sadon, A., & Weiss, G. (2020). Executing scenario-based specification with dynamic generation of rich events. In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (pp. 246-274). Springer. https://doi.org/10.1007/978-3-030-37873-8_11
  • Hung, C. C., Chen, K., & Liao, C. F. (2019). Modularizing cross-cutting concerns with aspect-oriented extensions for solidity. In Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures (pp. 176-181). IEEE. https://doi.org/10.1109/DAPPCON.2019.00033
  • Idate, S. R., Rao, T. S., & Mali, D. J. (2023). Context-based aspect-oriented requirement engineering model. Engineering, Technology & Applied Science Research, 13(2), 10460-10465. https://doi.org/10.48084/etasr.5699
  • Johnson, A. E. W., Bulgarelli, L., Shen, L., Gayles, A., Shammout, A., Horng, S., Pollard, T. J., Hao, S., Moody, B., Gow, B., Lehman, L.-W. H., Celi, L. A., & Mark, R. G. (2023). MIMIC-IV, a freely accessible electronic health record dataset. Scientific Data, 10(1), 1. https://doi.org/10.1038/s41597-022-01899-x
  • Kallfelz, M., Tsvetkova, A., Pollard, T., Kwong, M., Lipori, G., Huser, V., Osborn, J., Hao, S., & Williams, A. (2021). MIMIC-IV demo data in the OMOP common data model. PhysioNet. https://doi.org/10.13026/p1f5-7x35
  • Khalifa, F., & Chouraqui, S. (2020). Applying aspect oriented programming in distributed application engineering. International Journal of Advanced Computer Science and Applications, 11(7), 226-232. https://doi.org/10.14569/IJACSA.2020.0110729
  • Nordine, J. C., & Lee, O. (2023). On the nature and utility of crosscutting concepts. Education Sciences, 13(7), 640. https://doi.org/10.3390/educsci13070640
  • Nusayr, A. (2022). Extending the aspect oriented programming join point model for memory and type safety. International Journal of Computer and Information Engineering, 16(9), 390-393.
  • Patel, S., Katiyar, S. K., & Sharma, N. (2023). Metric analysis for AOP and OOP programming paradigm. Journal of the Institution of Engineers (India): Series B, 104(1), 215-220. https://doi.org/10.1007/s40031-022-00842-3
  • Qader, S. M., Hassan, B. A., Ahmed, H. O., & Hamarashid, H. K. (2022). Aspect oriented programming: Trends and Applications. UKH Journal of Science and Engineering, 6(1), 12-20. https://doi.org/10.25079/ukhjse.v6n1y2022.pp12-20
  • Qu, C., Zhang, X., Chen, H., & Zhang, L. (2021). Aspect-oriented requirement analysis based on formal method. Journal of Physics: Conference Series, 1952(4), 042027. https://doi.org/10.1088/1742-6596/1952/4/042027
  • Tashtoush, Y. M., Darweesh, D. A., Husari, G., Darwish, O. A., Darwish, Y., Issa, L. B., & Ashqar, H. I. (2021). Agile approaches for cybersecurity systems, IoT and intelligent transportation. IEEE Access, 10, 1360-1375. https://doi.org/10.1109/ACCESS.2021.3136861
  • Xu, D. X., El-Ariss, O., Xu, W. F., & Wang, L. Z. (2009). Aspect-oriented modeling and verification with finite state machines. Journal of Computer Science and Technology, 24(5), 949-961. https://doi.org/10.1007/s11390-009-9269-5
  • Xu, D., Alsmadi, I., & Xu, W. (2007). Model checking aspect-oriented design specification. In Proceedings of the 31st Annual International Computer Software and Applications Conference (pp. 491-500). IEEE. https://doi.org/10.1109/COMPSAC.2007.152
  • Zhang, Q., Wang, S., & Li, J. (2023). A contrastive learning framework with tree-LSTMs for aspect-based sentiment analysis. Neural Processing Letters. https://doi.org/10.1007/s11063-023-11181-9
  • Zhu, W. (2021). Big data on linear temporal logic formulas. In Proceedings of the 2021 IEEE 4th Advanced Information Management, Communicates, Electronic and Automation Control Conference (pp. 544-547). IEEE. https://doi.org/10.1109/IMCEC51613.2021.9482368