با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
ردیف | عنوان | نوع |
---|---|---|
1 |
Prognosis of multiple instances in time-aware declarative business process models
پیش بینی موارد متعدد در مدل های فرآیند کسب و کار آگاه از زمان-2020 Technological evolution, heading for industry 4.0, makes companies tend to automate their management
and operation, ideally defining it through business process models. To describe policies or rules related
to the execution order of the activities in an organization, Declarative Business Process Models permit
a relaxed description of activity order, which needs monitoring to detect non-conforming behaviors.
Commonly, the detection of a violation implies that the malfunction has already occurred, being better
to avoid the violation in advance. To predict future violations, prognosis is required.
To allow the modeling of real business behavior, an extension of declarative business process models
including both time patterns and multiple instances is proposed. This new model can be used to prognosticate if current process instances may violate a defined model in the future, according to the analysis
of the robustness of the process instances evolution. The proposed Model-Based Prognosis is based on
analyzing the event traces that represent the current instances and propagate their possible progression
through the Constraint Programming paradigm. To ascertain if the model could be violated, it is analyzed
how its robustness can tackle unexpected behaviors.
To complete the formalization and modeling, an implementation applied to a real medical example is
included in the paper. The prognosis of concurrent instances is addressed, dealing with formalized time
and activity patterns even considering the resource availability, and getting acceptable execution times.
The automatic verification and prognosis of declarative business processes are addressed considering
concurrency and synchronization of multiple instances, performing well in terms of execution time. Keywords: Declarative business processes | Multiple instances | Model-based prognosis | Robustness |
مقاله انگلیسی |
2 |
Hybrid business process modeling for the optimization of outcome data
مدل سازی فرایند کسب و کار ترکیبی برای بهینه سازی داده های نتیجه-2016 Context: Declarative business processes are commonly used to describe permitted and prohibited actions in
a business process. However, most current proposals of declarative languages fail in three aspects: (1) they
tend to be oriented only towards the execution order of the activities; (2) the optimization is oriented only
towards the minimization of the execution time or the resources used in the business process; and (3) there
is an absence of capacity of execution of declarative models in commercial Business Process Management
Systems.
Objective: This contribution aims at taking into account these three aspects, by means of: (1) the formalization
of a hybrid model oriented towards obtaining the outcome data optimization by combining a data-oriented
declarative specification and a control-flow-oriented imperative specification; and (2) the automatic creation
from this hybrid model to an imperative model that is executable in a standard Business Process Management
System.
Method: An approach, based on the definition of a hybrid business process, which uses a constraint programming paradigm, is presented. This approach enables the optimized outcome data to be obtained at runtime
for the various instances.
Results: A language capable of defining a hybrid model is provided, and applied to a case study. Likewise, the
automatic creation of an executable constraint satisfaction problem is addressed, whose resolution allows us
to attain the optimized outcome data. A brief computational study is also shown.
Conclusion: A hybrid business process is defined for the specification of the relationships between declarative
data and control-flow imperative components of a business process. In addition, the way in which this hybrid
model automatically creates an entirely imperative model at design time is also defined. The resulting imperative model, executable in any commercial Business Process Management System, can obtain, at execution
time, the optimized outcome data of the process.
Keywords: Hybrid model | Business process | Constraint programming | Data optimization |
مقاله انگلیسی |