The Extension of Java Annotated Concurrency Specification

JAC is an extended Java that introduces a higher level of concurrency, hiding threads and separating thread synchronization from application logic in a declarative fashion. It attracts people´s attention as soon as it appears. But its present version could not support the sharing class static attribute of class object. This paper discusses how to extend JAC specification, how to improve JAC compiler, so that JAC can describe the concurrent programming of sharing class static attribute of class object.