You are not logged in. Log in
 |
Page last modified 13:30, 5 Nov 2009 by benoit.ries
DT4BPFrom $1Table of contentsA Model Driven Approach for Modelling Dependable Time-Constrained Business ProcessesPhD Student: Alfredo Capozucca
OverviewA dependable collaborative time-constrained business process (DCTC-BP) is one whose participants interact closely to reach a goal that is of common interest; time-related information is used to constrain its behaviour, and failures (i.e. missing the goal) are not unacceptably frequent or severe. Since DCTC-BPs descriptions are not just written, but also read and rewritten many times, business analysts in charge of eliciting them must rely on a suitable and expressive modelling notation that allows such business process to be written in an elegant and readable way. A modelling notation that embeds concepts related to collaboration, time and dependability as first-class citizens along with tools that support its use are fundamental to succeed in providing not only "elegant" and "readable" business processes, but also correct ones.
Expected resultsThe results of the thesis should be: (1) a language to model DCTC business process, and (2) a simulator to allow end users to check the business process provided by the business analyst is exaclty the one he wants (i.e. it captures the requirements). The language (called DT4BP -Dependability and Time for Business Processes) should allow collaboration, time and dependability-related information to be captured in a common description in a way that it remains easy to be followed. The simulator should provide features both to play the given model under different circunstances (aka scenarios or configurations) and show the results of such execution in a way that the end user can judge if such outcome is right or not. Therefore, the simulator can be considered as a tool to help in the validation of the model provided by the business analyst. It is worth noticing that the simulator must implement the semantics of DT4BP in the sense that it knows exactly how to execute a model specified in such language. Therefore, the semantics of the DT4BP should be provided as formal as possible to avoid the programmer implements the wrong simulator. In this manner the DT4BP semantics would be a machine-independent standard for a simulator programmer such that any proposed simulator will have to comply with this standard. If the semantics is provided in a formal way, then it would be possible to prove formally that a particular simulator complies with this semantics. Providing the semantics of DT4BP formally will be the (3) expected result of the thesis.
Tags:
|