Pankaj E. Kasar

BPMN To REO Modeling Transformation

• Broschiertes Buch

Produktbeschreibung

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 forverification 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.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 52
• Erscheinungstermin: 12. April 2017
• Englisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 96g
• ISBN-13: 9783330072145
• ISBN-10: 3330072148
• Artikelnr.: 48207358

Autorenporträt

Pankaj E Kasar: Ich promoviere in Informationstechnologie an der Dr. Babasaheb Ambedkar Technological University, Lonere, Dist-Raigad. Derzeit arbeite ich als Assistenzprofessor in der Abteilung für Computertechnik am R. C. Patel Institute of Technology, Shirpur, Distr- Dhule, Maharashtra, Indien.