![]() ![]() 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 |