Cristian Masalagiu

Learn More
Both specification and verification of business processes are gaining more and more attention in the field. Most of the existing works in the last years are dealing with important, yet very specialized, issues. Among these, we can enumerate compensation constructs to cope with exceptions generated by long running business transactions, fully programmable(More)
, The paper introduces a model for processing systems which proi ides 'environment' to the abstract notion of process as introduced by Nicst [ 131. X basic componcllt of the model is ;I protection mechanism which is general enough to capture as particular instances known protection strategies [e.g. take. grant, create, parameter passing) [5. 8. 91. Decision(More)
  • 1