Beschreibung
The present-day software systems are increasing tremendously in size. This makes verification and validation of these systems an increasingly difficult task. Not only size of systems increases, an increasing number of features and formalism need to be developed and supported to model and analyze real-life applications. Each system is represented in the form of model. There are many modeling notations available such as BPMN (Business Process Modeling Notation), UML, BPEL(Business Process Execution Language) etc. BPMN is itself capable of representing all aspects of particular large business process. Therefore BPMN is an emerging standard for representing business processes and indirectly software systems. BPMN is visual process modeling notation which can be easily understood by business analysts. But BPMN lags behind formal semantics of systems. At the time of verification of particular system such modeling notations are not enough to give semantic correctness of system. Thus for verification and validation of systems, according to proposed approach BPMN model of system is converted into REO model consequently then into mCLR a formal specification language.
Autorenporträt
Pankaj E Kasar: I am pursuing PhD in Information Technology from Dr. Babasaheb Ambedkar Technological University, Lonere, Dist-Raigad. Currently working as Assistant Professor in Computer Engineering department at R. C. Patel Institute of Technology, Shirpur, Dist- Dhule, Maharashtra, India.
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
