Paper Writing Prolongation

Structural Prolongation

Say talk about monitoring, don't just talk about how it works, talk about

 

1.       Situation and example that need it

Considering the situation that need it

2.       Mentioning it and defending it (Solve the question that would naturally comes to the mind of the reviewer)

a)What language to specify it?

We view the question of harvesting properties as well as the exact language for specifying them as   orthogonal to our work, and we assume that properties are expressed as monitors (claim that it is orthogonal)

 

b) Why infinite liveness is not supported? How do you make the infinite liveness property becomes finite?

liveness properties are violated only by in fite be haviors and thus are not monitorable [16]. However, BPEL applications are run-to-completion programs which are expected to terminate. By the explicit addition of the \terminate" (TER) event, liveness properties become bounded and thus are readily monitorable. (Claim that it is unnecessary, Claim using reference)

 

 

3.       Example

Mentioning the scenario, and how it is going to work in this scenario

 

4.       Formalize it               

 

Example for prolonging a problem

Problem (in general)

Hence, performing an exhaustive search to find the best combination that satisfy a certain composition level SLA  (i.e. end-to-end QoS constraints) is not practical in this scenario, as the number of possible combinations can be very huge, based on the number of subtasks comprising the composite process and the number of alternative services for each subtask.

Problem (more detailed)

Already with few hundreds of candidate services (or service configurations) the required time for finding the best combination will exceed the constraints for realtime execution (e.g., with 100 alternative options for each subtask in our example, we have 1005 possible combinations). This problem can be modeled as a combinatorial problem, which is known to be NP-hard in the strong sense, i.e. it is expected that any exact solution to this problem has an exponential cost [15].

Conclusion for the problem (more detailed)

Therefore, reducing the search space by focusing only on “interesting” service offers is crucial for reducing the computation cost.

 

Sentence Prolongation

Existing tools support the interception of events by passing the events that has been running to the user

 

Concretize it, Example

Existing tools - Many BPEL application server, such as

Break in to two sentences

By - the interception mechanism

More specific on the verb

Has been running- pass between the application and the program

 

Many BPEL application server, such as Apache ODE, ActiveVOS, Oracle BPEL Process Manager etc. supports the interception of events. The interception mechanism captures events in as they pass between the application server and the program.