scholar.google.com › citations
In this paper, we propose a model-based method based on Event-B formal method to analyze an EAOP application. First, we specify its components in Event-B ...
Dec 2, 2017 · In this paper, we propose a model-based method based on Event-B formal method to analyze an EAOP application. First, we specify its components ...
This research proposes the advanced observe-based statistical model-checking (OSM) framework, devised to craft executable formal models directly from ...
The extension mechanisms provided by the UML are used to model the aspects of a system to improve the stations of AOP in the software development.
People also ask
What is event based Modelling?
What is aspect-oriented development model in software engineering?
What are the advantages of aspect-oriented software development?
The objectives of this paper are as follows: 1) to verify the correctness of AOP-based programs using model checking, 2) to provide AOP-based model checking ...
Existing modeling techniques usually represent finite-state machines as finite annotated directed graphs, using either state-based or event-based formalisms.
Missing: Aspect- Oriented
... event-based simulation systems: cruise control, telecommunication and banking. We have successfully built the aspect-oriented state models of these systems.
Hong Anh Le , Ninh-Thuan Truong, Aziz Nanthaamornphong: A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications.
This proceedings contains the contributions to the Workshop on Correctness of Model-based. Software Composition, held in conjunction with the 17th European ...
A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications. H. Le, N. Truong, and A. Nanthaamornphong.