While the need for global behavior definitions in designing the embedded reactive systems and service-oriented systems is growing, new modeling languages, the modifications on existing languages are emerging in an endless ...