in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

Abstract— Graphical representations are often used in software design and development because of their expressiveness. Unified Modeling Language (UML) for modeling in software development was proposed recently, and in 2005 it was standardized as the ISO/IEC 19501 standard. In order to automate processing of these graphical representations using computers, a syntax for program diagrams must firs...

of a system, both s yles may be combined: An activity developed bottom-up may at some level be composed with one that is to be developed top-down, and an initial top-down design of an application may be refined until a level is reached where existing activities can be used and encapsulated. If an activity is useful in a number of applications, it can be stored in a library and reused later in o...

Business processes modeling became a fundamental task for organizations. To model business processes is necessary to know all the activities as well as consumed and produced informational resources. From this knowledge, abstractions are constructed, which allow elaborating a highlevel business process model. This modeling process, which goes from the survey of the activities of the organization...