Development of concurrent systems through coordination

We are presenting an approach to developing concurrent systems through coordination. A specification language is used to describe system behaviors. The specification is then analyzed to create a coordination description that is a data structure describing the properties of the coordination among processes. Our language mapping approach allows a coordination description automatically created in any target programming language. Developers can then write a program in the target language to include the coordination description for execution. A familiar programming model will be provided to support implicit communication, concurrency, synchronization, and parallelism in systems through an implicit coordination-oriented approach. In other words, developers do not have to explicitly express communication, concurrency, synchronization, and parallelism when they are developing concurrent systems.