Integrating role activity diagrams and hybrid IDEF for business process modeling using MDA

Bridging the gap between business process models and service-oriented architectures with reference to the grid environment

“…al, 2003), simulations (Martinez-Garcia, et. al, 2002) and formal representations (Badica, et. al, 2001).…”

Digital Libraries: From Process Modelling to Grid-based Service Oriented Architecture

“…It is also not wise to overindulge state or goal notation in RAD process models, as it increases the complexity in the models. Although, it is not RAD modelling limitation but the inherent tendency of synchronising the translations from graphical models to formal models [22,24], make excessive use of this notation. In conclusion, this has inspired current research to work on the possibility of extending the RAD process modelling notation to support the later enactment in grid-based SOA environments.…”

“…Both approaches may follow conventional methods (e.g., limited decomposable mapping from FBPML to OWL-S [3] and/or RAD to UML activity model [16]) or formal methods (e.g., 'Spanish Fish Market' [24] and other work [22,26], more specific to web services [10,11]) for their execution. The benefits of formal methods are that the models can be verified and validated against the requirements mentioned in the source Business Process Models (BPM) and can generate automated code.…”

“…In this regard, research groups have been working in mapping different graphical business modelling techniques to process algebra [22], Pi-Calculus [19,21,26] and eXtensible Markup Language (XML) [20] etc. Most of this mapping is reflected from state-based models [22,24,26].…”

“…Most of this mapping is reflected from state-based models [22,24,26]. It is obvious that under certain assumptions the mapping between graphical modelling techniques and Pi-Calculus is possible.…”