For example, we use it to exhibit a known problem of the Java threading system: the handling oflong anddouble vari- ables. Also, we use MEC to au- tomatically check the properties we are interested in. To check that it corresponds to the informal specification, we use the MEC model checker. The model that we have set up uses transition systems. Our aim is to provide a model that can be reused and help in the processes of: using Java threads to gain deep knowledge of their behavior designing new threading sys- tems taking the best out of Java threads still avoiding their main drawbacks proving properties - this is for instance what we need in other research projects carried out in our team on automatic distribution of objects. Therefore, an additional formaliza- tion effort is required. Although a specification exists, it is informally written in the English language. One of its key features in these domains is its multithreading system. It is widely used for developing classical, dis- tributed and real time applications. Java is becoming more and more important in various communities.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |