Journal articles on the topic 'Business process modeling rules'

To see the other types of publications on this topic, follow the link: Business process modeling rules.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Business process modeling rules.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Rábová, I. "Business rules specification and business processes modeling." Agricultural Economics (Zemědělská ekonomika) 55, No. 1 (February 11, 2009): 20–24. http://dx.doi.org/10.17221/2503-agricecon.

Full text
Abstract:
Up to date business is managed by large-scale different rules that regulate how the business acts and how it is structured. We find the rules in law, regulation, business policy document, procedures manual, system documentation, memoranda etc. These reference resources may provide the specific basis for a rule or offer a background, context or explanation of the business rule. In the recent years, it has been discovered that business rules constitute an entire body of knowledge that has not been adequately addressed in either the analysis or design phases of the information system development. Typically, business rules have been buried in the program code or in the database structures. The article deals with the business rules approach and rule technology and helps to identify the business and technical opportunities they afford to the company. It offers the business process model and its integration with business rules. This approach could provide business analysts with an essential approach to understanding, redesigning and communicating what really happens in the business processes (in agricultural area). It serves to understand the business impact of any change in small and medium-sized organizations. We use the UML notation and its business model extension.
APA, Harvard, Vancouver, ISO, and other styles
2

Bekki, Khadhir, and Hafida Belachir. "Towards a Flexible and Adaptable Modeling of Business Processes." International Journal of Information Technology and Web Engineering 6, no. 2 (April 2011): 57–67. http://dx.doi.org/10.4018/jitwe.2011040105.

Full text
Abstract:
This article proposes a flexible way in business process modeling and managing. Today, business process needs to be more flexible and adaptable. The regulations and policies in organizations, as origins of change, are often expressed in terms of business rules. The ECA (Event-condition-action) rule is a popular way to incorporate flexibility into a process design. To raise the flexibility in the business processes, the authors consider governing any business activity through ECA rules based on business rules. For adaptability, the separation of concerns supports adaptation in several ways. To cope with flexibility and adaptability, the authors propose a new multi concern rule based model. For each concern, each business rule is formalized using their CECAPENETE formalism (Concern -Event-Condition-Action-Post condition- check Execution- Number of check -Else-Trigger-else Event). Then, the rules based process is translated into a graph of rules that is analyzed in terms of relations between concerns, reliably and flexibility.
APA, Harvard, Vancouver, ISO, and other styles
3

Bogoslovskaya, Natalya Valentinovna, and Aleksandr Viktorovich Brzhezovskii. "Executable Business Process Modeling." Development of education, no. 1 (7) (March 13, 2020): 29–34. http://dx.doi.org/10.31483/r-74738.

Full text
Abstract:
As noted in the explanatory note to the «Information Systems Specialist» professional standard, the success of implementing information systems is largely determined by the accuracy of their adaptation to the business processes of the customer organization. Today, BPMN notation is often used as a tool for extracting requirements for information systems. BPMN provides executable semantics that make it possible not only to draw up a detailed specification of a business process, but also to model it with numerical estimates. The aims of this study are to choose tools for teaching students from the number provided by BPMN notation: descriptive, analytical and executable, which allow to implement the third level of modeling; to define a methodology for teaching business modeling, including the ability to execute business processes in the universal BPMN runtimes and as an add-on on the configuration of the information system. The following methods have been used: comparative analysis and testing of the functionality provided for the development of business processes in the Bizagi and 1C: Enterprise tool environments, including the creation of the data and presentation layers necessary for BPMN execution. As a result, the main stages of business modeling are formulated, a functional comparison of tools for working at the following stages has been carried out: development of a business process model; development of a data layer that supports the execution of the process; mapping data to process tasks – forms of user tasks; programming business rules governing the process; execution of a business process by user-performer. The peculiarity of 1C: Enterprise is that the business process is essentially a superstructure over the layers of data and representations of the finished configuration of a process-oriented information system. The authors believe that both the first and the second approach deserve attention in terms of the educational process at the university for students of 09.03.02 «Information systems and technologies» specialty.
APA, Harvard, Vancouver, ISO, and other styles
4

Lam, Vitus S. W. "A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts." International Journal of Software Engineering and Knowledge Engineering 29, no. 03 (March 2019): 433–55. http://dx.doi.org/10.1142/s0218194019500190.

Full text
Abstract:
Drawing on business rules for constructing business process models by a constraint-driven methodology is a distinct characteristic of declarative process modeling. Given the intricacies of business rules, there is a pragmatic need to conduct conflict-free assessments for business rules in an automatic manner. In this paper, business rules are stated in terms of restricted English by harnessing a group of predefined business rule templates. With linear temporal logic that serves as a semantic foundation for the business rule templates, a pair of business rules represented as a linear temporal logic specification is translated into an associated Büchi automaton via LTL2BA, LTL3BA and ltl2tgba. A Büchi automaton that accepts the empty language signifies that the two business rules are in conflict with each other. The suitability of the formal framework and the three automated tools is evaluated by an industry-level case study.
APA, Harvard, Vancouver, ISO, and other styles
5

Berecz, Patrícia. "Tools of business process modelling." Acta Agraria Debreceniensis, no. 34 (September 2, 2009): 19–25. http://dx.doi.org/10.34101/actaagrar/34/2817.

Full text
Abstract:
All companies have business processes, regardless of the size or the industry in which they operate. Both executive and operational managers need insight into software-based business processes and their performance for that transforming business workflows by modeling, simulating, optimizing, and publishing processes and defining business rules. I would like to introduce what kind of possibility the companies have got, when they want to model their business process. I choose the ARIS system from software market. I sketch out the function of ARIS system, and his application possibility. At last I present the best known diagram by means of some practical example.
APA, Harvard, Vancouver, ISO, and other styles
6

Sun, Li Li, Feng He, and Xiao Li Meng. "BPMO-Based OWL Representation of Business Processes." Advanced Materials Research 546-547 (July 2012): 651–55. http://dx.doi.org/10.4028/www.scientific.net/amr.546-547.651.

Full text
Abstract:
Semantic process modeling approaches are used in modelling, making use of the process ontology, which is the preferred BPMO. In the process of semantically modeling, using ontology to describe the business process is an important step. Therefore, the text proposed for BPMO-based OWL representation of business process, lays the foundation for resolving issues, such as semantic annotation, machine-understandable, and reasoning on business process. We will put forward the construction and representation of our business process knowledge; examine the workshop business process activities; according to business rules, describe business processes on the basis of the BPMO; represent BPMO-based process on the basis of ontology modeling language OWL; model the process on the foundation of softeware BPMO Modeller. Workshop product packaging as an example, we will verify business processes based on BPMO methods.
APA, Harvard, Vancouver, ISO, and other styles
7

Skersys, Tomas, Kestutis Kapocius, Rimantas Butleris, and Tomas Danikauskas. "Extracting business vocabularies from business process models: SBVR and BPNM standards-based approach." Computer Science and Information Systems 11, no. 4 (2014): 1515–35. http://dx.doi.org/10.2298/csis140106079s.

Full text
Abstract:
Approaches for the analysis and specification of business vocabularies and rules are relevant topics in both Business Process Management and Information Systems Development disciplines. However, in common practice of Information Systems Development, the Business modeling activities still are of mostly empiric nature. In this paper, aspects of the approach for semi-automatic extraction of business vocabularies (BV) from business process models (BPM) are presented. The approach is based on novel business modeling-level OMG standards ?Business Process Model and Notation? (BPMN) and ?Semantics for Business Vocabularies and Business Rules? (SBVR), thus contributing to OMG?s vision of Model-Driven Architecture (MDA) and to model-driven development in general. The discussed extraction approach is evaluated against fully-automatic BPMN BPM ? SBVR BV transformation that has been developed in parallel to the presented work.
APA, Harvard, Vancouver, ISO, and other styles
8

Barjis, Joseph. "Enterprise process modelling complemented with business rules." International Journal of Business Process Integration and Management 5, no. 4 (2011): 276. http://dx.doi.org/10.1504/ijbpim.2011.043388.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lam, Vitus. "Constraint-based reasoning on declarative process execution with the logics workbench." Business Process Management Journal 21, no. 3 (June 1, 2015): 586–609. http://dx.doi.org/10.1108/bpmj-10-2014-0092.

Full text
Abstract:
Purpose – An integral part of declarative process modelling is to guarantee that the execution of a declarative workflow is compliant with the respective business rules. The purpose of this paper is to establish a formal framework for representing business rules and determining whether any business rules are violated during the executions of declarative process models. Design/methodology/approach – In the approach, a business rule is phrased in terms of restricted English that is related to a constraint template. Linear temporal logic (LTL) is employed as a formalism for defining the set of constraint templates. By exploiting the theorem-proving feature of the Logics Workbench (LWB), business rule violations are then detected in an automatic manner. Findings – This study explored the viability of encoding: first, process executions by means of LTL and second, business rules in terms of restricted English that built upon pattern-oriented templates and LTL. The LWB was used for carrying out temporal reasoning through automated techniques. The applicability of the formal verification approach was exemplified by a case study concerning supply chain management. The findings showed that practical reasoning could be achieved by combining declarative process modelling, restricted English, pattern-oriented templates, LTL and LWB. Originality/value – First, new business rule templates are proposed; second, business rules are expressed in restricted English instead of graphical constructs; third, both finite execution trace and business rules are grounded in LTL. There is no need to deal with the semantic differences between different formalisms; and finally, the theorem prover LWB is used for the conformance checking of a finite execution trace against business rules.
APA, Harvard, Vancouver, ISO, and other styles
10

Wang, Qiang. "The Application of Workflow Management System Based on Rules and Roles." Advanced Materials Research 756-759 (September 2013): 1175–79. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.1175.

Full text
Abstract:
Workflow technology continues to be subjected to on-going development in its traditional application areas of business process modeling and business process coordination [ .It can improve the efficiency and manageability of an enterprises daily teamwork .Traditionally, it is not easy for the workflow modeling method to describe the complex business process clearly and intuitively [ .In this paper ,we improve the role based workflow model and introduces definition and enactment models to characterize workflows. In the way ,flexible modeling and enactment of business process is supported allowing changes even during execution.Finally,an example of Financial Reimbursement System is demonstrated to prove the convenience and feasibility about the method mentioned.
APA, Harvard, Vancouver, ISO, and other styles
11

Sun, Zhaohao, Paul Pinjik, and Francisca Pambel. "Business Case Mining and E-R Modeling Optimization." Studies in Engineering and Technology 8, no. 1 (July 9, 2021): 53. http://dx.doi.org/10.11114/set.v8i1.5288.

Full text
Abstract:
Business case mining and business rule discovery are at the center for entity relationship (E-R) modeling and database design to obtain E-R models. How to transform business cases through business rules into E-R models is a fundamental issue for database design. This article addresses this issue by exploring business case mining and E-R modeling optimization. Business case mining is business rule discovery from a business case. This article reviews case-based reasoning, explores business case-based reasoning, and presents a unified approach to business case mining for business rule discovery. The approach includes people-centered entity/business rule discovery and function-centered entity/business rule discovery. E-R modeling optimization aims to improve the E-R modeling process to get a better E-R diagram that reflects the business case properly. This article proposes a unified optimal method for E-R modeling. The unified optimal method includes people-centered E-R modeling, function-centered E-R modeling, and hierarchical E-R modeling. The approach proposed in this research will facilitate the research and development of E-R modeling, database design, data science, and big data analytics.
APA, Harvard, Vancouver, ISO, and other styles
12

Gao, Jun Tao, and Wei Chen. "Research on Collaborative Mechanism in Large and Complex Business Process Modeling." Advanced Materials Research 850-851 (December 2013): 1012–15. http://dx.doi.org/10.4028/www.scientific.net/amr.850-851.1012.

Full text
Abstract:
Large-scale and complicated business process modeling is not supported by traditional single-designer business process modeling tools. This paper investigates a collaborative business process modeling method based on top-down pattern, where the conflict issue in collaboration is explicitly accounted for. An access control mechanism is proposed and four rules of locking up are defined to restrict designers access to models. Then the locks impact on efficiency of collaborative modeling is deeply studied. At last an integrated multi-designer modeling system IPro is developed based on the above collaborative mechanism and applied to several business process modeling projects in aviation industry to validate the mechanism.
APA, Harvard, Vancouver, ISO, and other styles
13

Knuplesch, David, and Manfred Reichert. "A visual language for modeling multiple perspectives of business process compliance rules." Software & Systems Modeling 16, no. 3 (April 21, 2016): 715–36. http://dx.doi.org/10.1007/s10270-016-0526-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Gašević, Dragan, Giancarlo Guizzardi, Kuldar Taveter, and Gerd Wagner. "Vocabularies, ontologies, and rules for enterprise and business process modeling and management." Information Systems 35, no. 4 (June 2010): 375–78. http://dx.doi.org/10.1016/j.is.2010.01.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Tangkawarow, Irene, Riyanarto Sarno, and Daniel Siahaan. "Modeling Business Rule Parallelism by Introducing Inclusive and Complex Gateways in Semantics of Business Vocabulary and Rules." International Journal of Intelligent Engineering and Systems 14, no. 1 (February 28, 2021): 281–95. http://dx.doi.org/10.22266/ijies2021.0228.27.

Full text
Abstract:
The Semantics of Business Vocabulary and Rules (SBVR) standard was developed by the Object Management Group (OMG) for business purposes. SBVR is used for transformation of business vocabulary and business rules into business processes. Gateways are used for regulating the divergence and convergence of flow objects in the business process. The existing business rules in SVBR do not support all gateways in BPMN, whereas there are conditions where branching situations in business rules occur. This article introduces parallelism rules (OR rules) and complex rules to increase 50.6% usage of the existing AND rules and XOR rules in SBVR. The main contribution of this research is to introduce new formal model of inclusive gateway (OR) and complex gateway that allow parallelism and branching to be modeled using SBVR. Thus, this study increases coverage of the usage gateway in SBVR achieved 66.7%. The authors provide branching cases with various levels of complexity, i.e. nested conditions and non-free choice conditions, using the formal description of SBVR.
APA, Harvard, Vancouver, ISO, and other styles
16

Lam, Vitus S. W. "Detecting violation of business constraints in declarative process execution: a case study." Business Process Management Journal 23, no. 5 (September 4, 2017): 1043–63. http://dx.doi.org/10.1108/bpmj-05-2016-0105.

Full text
Abstract:
Purpose Declarative process modelling is a constraint-centric approach that treats business rules as first-class citizens in business process models. Augmenting the declarative process modelling technique with capability to detect the constraint violations during business process execution is of crucial importance. The purpose of this paper is to contribute to the modelling of business rules through a repository of pattern-oriented templates. Design/methodology/approach The semantics of the business rule templates is underpinned by linear temporal logic (LTL). Automated temporal reasoning is then conducted for determining whether process executions adhere to the business rules through the utilisation of the Logics Workbench (LWB). An application of the methodological framework is illustrated by a realistic case study on degree requirements verification. Findings To access the practicality of the approach, the case study of this paper is based on the verification of degree requirements, which is different from the domain area of the case study in the author’s prior work. The findings indicated that the temporal framework could be applied to the declarative process modelling in a consistent and efficient manner. Originality/value This paper is an extended version of the author’s earlier study. More details on the LTL and LWB are provided in the current study. The author introduces 17 new business rule templates and illustrates the utilisation of the new templates via a case study that belongs to a different domain area.
APA, Harvard, Vancouver, ISO, and other styles
17

Brdjanin, Drazen, and Slavko Maric. "An approach to automated conceptual database design based on the IML activity diagram." Computer Science and Information Systems 9, no. 1 (2012): 249–83. http://dx.doi.org/10.2298/csis110318069b.

Full text
Abstract:
This paper presents an approach to the automated design of the initial conceptual database model. The UML activity diagram, as a frequently used business process modeling notation, is used as the starting point for the automated generation of the UML class diagram representing the conceptual database model. Formal rules for automated generation cover the automatic extraction of business objects and business process participants, as well as the automatic generation of corresponding classes and their associations. Based on these rules we have implemented an automatic generator and evaluated it on a real business model.
APA, Harvard, Vancouver, ISO, and other styles
18

Haseeb, Junaid, Naveed Ahmad, Saif U. R. Malik, and Adeel Anjum. "Application of formal methods to modelling and analysis aspects of business process reengineering." Business Process Management Journal 26, no. 2 (October 16, 2019): 548–69. http://dx.doi.org/10.1108/bpmj-02-2019-0078.

Full text
Abstract:
Purpose Business process (BP) reengineering is defined as reinventing BPs either structurally or technically to achieve dramatic improvements in performance. In any business process reengineering (BPR) project, process modeling is used to reason about problems found in existing (as-is) process and helps to design target (to-be) process. BP model notation is a widely accepted standard for process modeling. “Expressiveness” and “missing formal semantics” are two problems reported to its modeling practices. In existing studies, solutions to these problems are also proposed but still have certain limitations. The paper aims to discuss this issue. Design/methodology/approach In proposed methodology, a meta-model is formally defined that is composed of commonly used modeling elements and their well-formedness rules to check for syntactic and structural correctness of process models. Proposed solution also check semantics of process models and allows to compare as-is and to-be process models for gap identification which is another important aspect of BPR. To achieve the first goal, Z specification is used to provide formal specifications of modeling constructs and their rules and Z3 (an SMT solver) is used for comparisons and verifying properties. Findings Proposed method addresses both “expressiveness” and “missing formal semantics” of BPR models. The results of its evaluation clearly indicate that using formally specified meta-model, BPR model is syntactically and structurally correct. Moreover, formal modeling of BPs in Z3 helped to compare processes and to check control flow properties. Research limitations/implications Although the proposed method is tested on an example that is widely used in BPR literature, the example is only covering modeling elements which are part of the proposed subset and are reported in literature as frequently used modeling elements. A separate detailed study is required to test it on more complex systems. Practical implications Specifying process models using Z specification and Z3 solver requires certain expertise. Originality/value The proposed method adds value to BPR body of knowledge as it proposes a method to ensure structural and syntactic correctness of models, highlighting the importance of verifying run time properties and providing a direction toward comparing process models for gap analysis.
APA, Harvard, Vancouver, ISO, and other styles
19

Knuplesch, David, Manfred Reichert, Linh Thao Ly, Akhil Kumar, and Stefanie Rinderle-Ma. "Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (Extended Abstract)." EMISA FORUM 34, no. 1 (January 2014): 35. http://dx.doi.org/10.1007/bf03345913.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Semar-Bitah, Kahina, and Kamel Boukhalfa. "Towards the Meta-Modeling of Complex Inter-Organisationnel Collaborative Processes." International Journal of E-Business Research 15, no. 3 (July 2019): 16–34. http://dx.doi.org/10.4018/ijebr.2019070102.

Full text
Abstract:
Enterprises are progressively embedded in business to business atmospheres, in order to achieve their common business objectives. Such collaborations lead to Inter-Organizational Business Processes. Therefore, IOBP modeling involves new challenges, mainly the ability to deal with autonomy, privacy, heterogeneity. As a contribution in this area, a IOBP meta-model was designed. This model takes into account the maximum concepts related to the collaboration. Where, the process is complex, and its model in a global way affects its vision and complicates its implementation and hence the idea of its analysis into sub-IOBP to reduce the complexity of the global collaborative process, to streamline information exchange and to facilitate the understanding of the process by partners. A set of Atlas Transformation Language (ATL) transformation rules has been defined to convert Unified Modeling Language (UML) models to Business Process Model and Notation. Finally, the application of our approach has been demonstrated through a framework which can solve the problem of generic IOBP.
APA, Harvard, Vancouver, ISO, and other styles
21

Yang, Xiao Bo. "Applied Research and Modeling Based on Web Service Choreography Language." Advanced Materials Research 791-793 (September 2013): 1581–84. http://dx.doi.org/10.4028/www.scientific.net/amr.791-793.1581.

Full text
Abstract:
In order to generate the realization model of business process quickly, a method of formalize model is proposed which based on Web service choreography language in this paper. The specific studying process is as follows. Firstly, several Web services choreography language and its characteristics are introduced, and then analyzed the natural projection and expansion model of service choreography, finally, model checker SPIN is used to simulate and verify the service choreography. The result shows that the succinct service choreography language can create Web service choreography model efficiently, and through the projection rules, which can better meet the needs of the business process implementation.
APA, Harvard, Vancouver, ISO, and other styles
22

Hadi, Hilman Nuril, Tri Astoto Kurniawan, and Ismiarta Aknuranda. "Plug-in for Annotating Semantic Efferct on BPMN Business Process Models." Journal of Information Technology and Computer Science 4, no. 2 (September 30, 2019): 116. http://dx.doi.org/10.25126/jitecs.20194255.

Full text
Abstract:
BPMN has become the standard of business process modeling indescribing the existing series of business process. By engaging BPMN, an analystwould possibly able to model the whole business process activities in whichhe/she may analyze business process upon design time. It can be done byanalyzing the structure, behavior, or semantic of process model. In certaincondition one may ask a question what would the effects of the process be if itwere to be executed up to this point?. However, it cannot be solved with onlygraphical notation, but with its semantics. In practice, several modeling tools stilldo not provide a feature for managing information regarding the effects/resultsin the business process model. In fact, analysts should be supported with a toolin order to semantically enrich a process model with its effects. This articledescribes effect annotation semantically towards activity in the BPMN modelincluding the rules in representing its effects. The effect annotation will be suitedtowards activity type (atomic and compound activities). The outcomes of plugin development of eclipse BPMN2 modeler for representing semantic effect arealso described in this paper.
APA, Harvard, Vancouver, ISO, and other styles
23

Kim, C.-H., D.-S. Yim, and R. H. Weston. "An integrated use of IDEFO, IDEF3 and Petri net methods in support of business process modelling." Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering 215, no. 4 (November 1, 2001): 317–29. http://dx.doi.org/10.1177/095440890121500405.

Full text
Abstract:
The paper describes transformation rules that map between IDEFO and IDEF3 integration definitions and Petri net modelling constructs. Use of these rules has enabled the development of an enterprise modelling methodology. This methodology ensures that different yet consistent views of business processes and their underpinning resources can be developed by members of a systems engineering team. In particular, the methodology supports the organized capture of functional models, expressed in IDEFO notation, and links them to the subsequent development of behaviour models expressed in IDEF3 notation. Decomposition rules have also been developed that determine relationships between system elements so that they can be modelled at various levels of granularity. Resultant behaviour models can be translated into an equivalent Petri net form. One target application of the modelling rules and methods has been to model interactions between business partners that share common business processes.
APA, Harvard, Vancouver, ISO, and other styles
24

Hunka, Frantisek. "Managing Processes in the REA Framework." Journal of Emerging Technologies in Accounting 11, no. 1 (December 1, 2014): 27–39. http://dx.doi.org/10.2308/jeta-51108.

Full text
Abstract:
ABSTRACT The resources, events, agents (REA) ontology provides rules and guidelines for business process modeling utilizing the value-modeling approach. The core element of this approach is an REA model at the business process level. The REA model is usually governed by an information entity, such as a contract or a schedule. Although the REA model provides all necessary entities and relationships for value modeling, its support for information entity value creation, and its flow to the related process that it will govern, deserves deeper elaboration. The aim of this paper is to examine and propose a solution to information entity value creation within the REA model and its transfer to a related business process in compliance with the REA value chain concept. In order to distinguish standard REA business processes from those in which the information entities are created, these processes are called managing processes.
APA, Harvard, Vancouver, ISO, and other styles
25

Stankevičius, Kęstutis, and Olegas Vasilecas. "RESEARCH ON RULES-BASED BUSINESS PROCESS MODELLING AND SIMULATION / TAISYKLĖMIS GRINDŽIAMŲ VERSLO PROCESŲ MODELIAVIMO IR SIMULIAVIMO TYRIMAS." Mokslas – Lietuvos ateitis 6, no. 2 (April 24, 2014): 147–50. http://dx.doi.org/10.3846/mla.2014.19.

Full text
Abstract:
Googling the term “Business Process Simulation” in April 2013 yielded only 42.1 thousand hits. It is not much compared with googling the term such as “Business Process Modelling” in the same time, which yielded approx. 1.470 million hits. That is 35 times more compared to the previous search. The difference between modelling and simulation is arguable. In fact, the terms ‘simulation’ and ‘modelling’ are often used synonymously, but the authors prefer to distinguish between the terms and look at modelling as an act of building a model while simulation is considered an act or even a process of using that model for a specific purpose or study. If simulation is a manipulation process of one or more variables, which can be changed and observed, then this kind of process is best managed and controlled by business rules that can also be manipulated in the simulation process. „Google“ paieškoje įvestas terminas „Business Process Simulation“ 2013 metų balandžio mėn. duoda tik 42,1 tūkst. paieškos rezultatų. Tai nėra daug, palyginti su kitu paieškos terminu „Business Process Modelling“. Tuo pačiu metu reikšminiai paieškos žodžiai duoda apie 1,470 milijono paieškos rezultatų. Tai 35 kartus daugiau, palyginti su prieš tai daryta paieška. Galima ginčytis, ar yra skirtumas tarp modeliavimo ir simuliavimo? Iš tiesų žodžiai „modeliavimas“ ir „simuliavimas“ dažnai vartojami kaip sinonimai, tačiau straipsnyje siūloma į modeliavimą ir simuliavimą žiūrėti skirtingai, t. y. į modeliavimą kaip į veiksmą, kuris sukuria modelį, į simuliavimą – kaip į veiksmą arba procesą, kuris sudaro sąlygas taikyti šį modelį konkrečiam tikslui arba tyrimui atlikti. Jeigu apibrėžiama, kad simuliavimas yra vieno ar daugiau kintamųjų manipuliacijos procesas, kurį galima pakeisti ir stebėti, tada taip pat galima susitarti, kad šis procesas geriausiai grindžiamas verslo taisyklėmis, kurios gali būti papildomos arba keičiamos simuliavimo proceso metu.
APA, Harvard, Vancouver, ISO, and other styles
26

Ezekiel, Kanana, Vassil Vassilev, Karim Ouazzane, and Yogesh Patel. "Adaptive business rules framework for workflow management." Business Process Management Journal 25, no. 5 (September 2, 2019): 948–71. http://dx.doi.org/10.1108/bpmj-08-2017-0219.

Full text
Abstract:
Purpose Changing scattered and dynamic business rules in business workflow systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. The paper aims to discuss this issue. Design/methodology/approach To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and then adds business rules which have clear logical semantics. This allows incremental development of the workflows and semantic indexing of the rules which govern them during the initial acquisition. Findings The paper introduces an event-driven model for development of business workflows which is purely logic-based and can be easily implemented using an object-oriented technology, together with a model of the business rules dependencies which supports incremental semantic indexing. It also proposes a two-level inference mechanism as a vehicle for controlling the business process execution and the process of adaptation of the business rules at real time based on propagating the dependencies. Research limitations/implications The framework is strictly logical and completely domain-independent. It allows to account both synchronous and asynchronous triggering events as well as both qualitative and quantitative description of the conditions of the rules. Although our primary interest is to apply the framework to the business processes typical in the construction industry we believe our approach has much wider potential due to its strictly logical formalization and domain independence. In fact it can be used to control any business processes where the execution is governed by rules. Practical implications The framework could be applied to both large business process modelling tasks and small but very dynamic business processes like the typical digital business processes found in online banking or e-Commerce. For example, it can be used for adjusting security policies by adding the capability to adapt automatically the access rights to account for additional resources and new channels of operation which can be very interesting ion both B2C and B2B applications. Social implications The potential scope of the impact of the research reported here is linked to the wide applicability of rule-based systems in business. Our approach makes it possible not only to control the execution of the processes, but also to identify problems in the control policies themselves from the point of view of their logical properties – consistency, redundancies and potential gaps in the logics. In addition to this, our approach not only increases the efficiency, but also provides flexibility for adaptation of the policies in real time and increases the security of the overall control which improves the overall quality of the automation. Originality/value The major achievement reported in this paper is the construction of a universal, strictly logic-based event-driven framework for business process modelling and control, which allows purely logical analysis and adaptation of the business rules governing the business workflows through accounting their dependencies. An added value is the support for object-oriented implementation and the incremental indexing which has been possible thanks to the bottom-up approach adopted in the construction of the framework.
APA, Harvard, Vancouver, ISO, and other styles
27

Luo, Wen Jie, Fang Yuan, and Xue Dong Tian. "Applying Modeling Technique Optimize Business for E-Government Based on Big Data." Applied Mechanics and Materials 596 (July 2014): 960–65. http://dx.doi.org/10.4028/www.scientific.net/amm.596.960.

Full text
Abstract:
How to apply big data technique in the innovation of government administration is one of hot issues of e-government. The paper discusses one method that applying visualization modeling technique, builds business model including organization model, resource model and process model. According to the connection rules in or among models, the paper also advances the methods to check integrity of models and simulate the business process for insuring the correctness, and to resolve the problem of normalization and accuracy. Then by extracting and integrating information resources from the business model, obtain unified business frameworks, and according to the efficiency factors that corresponding organization, resource, behavior, collaborative and product performance, collect big data and provide a quantitative analysis for the optimization of government business to guide the government business optimization strategy.
APA, Harvard, Vancouver, ISO, and other styles
28

Rábová, I. "The formalization of knowledge in agricultural industry business processes ." Agricultural Economics (Zemědělská ekonomika) 51, No. 7 (February 20, 2012): 329–34. http://dx.doi.org/10.17221/5115-agricecon.

Full text
Abstract:
This article deals with the most important part of business modelling, with business process modelling. The presented process models are achieved by using common and special UML diagrams. The business process is one of the four basic business concepts creating complex business architecture and it is dynamic, structured and complicated part of the business. In business process, there are stored significant rules and knowledge of the business. Those issues could be applicable to the knowledge formalization in the agricultural business
APA, Harvard, Vancouver, ISO, and other styles
29

Grašys, Remigijus, and Olegas Vasilecas. "ANALYSIS AND EVALUATION OF BUSINESS PROCESS SIMULATION TOOLS / VERSLO PROCESŲ SIMULIAVIMO PRIEMONIŲ ANALIZĖ IR VERTINIMAS." Mokslas – Lietuvos ateitis 6, no. 2 (April 24, 2014): 157–61. http://dx.doi.org/10.3846/mla.2014.21.

Full text
Abstract:
Looking for ways to increase operational efficiency, more and more companies focus on process evaluation. A proper analysis of process weaknesses can reveal activities in need of improvement. In order to choose a business process modelling tool that meets user needs, every tool has to be evaluated according to different criteria. Business rules are an integral part of business and the authors propose evaluating business process modelling tools using a new criteria set: capabilities of work with business rules. Straipsnyje analizuojamas verslo procesų modeliavimo priemonių, gebančių vykdyti verslo procesų simuliavimą, vertinimo kriterijų karkasas ir vertinimo kriterijai. Siūloma išplėsti verslo procesų modeliavimo priemonių vertinimo kriterijų karkasą papildoma vertinimo kriterijų grupe – darbo su verslo taisyklėmis galimybėmis. Pasiūlyti kriterijai naudojami pasiren­kant vartotojo poreikius atitinkančią verslo procesų modeliavimo ir simuliavimo priemonę.
APA, Harvard, Vancouver, ISO, and other styles
30

Bousquet, C., B. Sabatier, T. Caruba, P. Durieux, P. Degoulet, and A. Boussadi. "A Business Rules Design Framework for a Pharmaceutical Validation and Alert System." Methods of Information in Medicine 50, no. 01 (2011): 36–50. http://dx.doi.org/10.3414/me09-01-0074.

Full text
Abstract:
Summary Objectives: Several alert systems have been developed to improve the patient safety aspects of clinical information systems (CIS). Most studies have focused on the evaluation of these systems, with little information provided about the methodology leading to system implementation. We propose here an ‘agile’ business rule design framework (BRDF) supporting both the design of alerts for the validation of drug prescriptions and the incorporation of the end user into the design process. Methods: We analyzed the unified process (UP) design life cycle and defined the activities, subactivities, actors and UML artifacts that could be used to enhance the agility of the proposed framework. We then applied the proposed framework to two different sets of data in the context of the Georges Pompidou University Hospital (HEGP) CIS. Results: We introduced two new subactivities into UP: business rule specification and business rule instantiation activity. The pharmacist made an effective contribution to five of the eight BRDF design activities. Validation of the two new subactivities was effected in the context of drug dosage adaption to the patients’ clinical and biological contexts. Pilot experiment shows that business rules modeled with BRDF and implemented as an alert system triggered an alert for 5824 of the 71,413 prescriptions considered (8.16%). Conclusion: A business rule design framework approach meets one of the strategic objectives for decision support design by taking into account three important criteria posing a particular challenge to system designers: 1) business processes, 2) knowledge modeling of the context of application, and 3) the agility of the various design steps.
APA, Harvard, Vancouver, ISO, and other styles
31

Suchenia, Anna, Paweł Łopata, Piotr Wiśniewski, and Bernadetta Stachura-Terlecka. "Towards UML representation for BPMN and DMN models." MATEC Web of Conferences 252 (2019): 02007. http://dx.doi.org/10.1051/matecconf/201925202007.

Full text
Abstract:
Unified Modeling Language (UML) is a standardised Object Management Group (OMG) notation among software engineers. There have been many attempts to design alternatives to UML. Recently, new notations such as Business Process Model and Notation (BPMN) and Decision Model and Notation (DMN) have been proposed for modelling processes and decisions. These dedicated notations provide a simpler way of capturing functional requirements in a designer-friendly fashion. Moreover, some concepts as rules cannot be directly modelled in UML. Our research considers a method of translating business models such as BPMN and DMN into a set of consistent UML models, which can be later used by business analysts and developers to understand and implement the system. As a single notation design, it allows the user to take advantage of software supporting UML modelling and consistency checking, in addition using such translation can provide additional insights into OMG business models. Furthermore, the design provided in a single notation can be easier to follow and develop. This approach supports also visualisation of rules. It is important to mention that the proposed solution does not extend any custom UML artifacts and can be used with standard UML tools.
APA, Harvard, Vancouver, ISO, and other styles
32

Song, Liang, Jianmin Wang, Lijie Wen, and Hui Kong. "Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding." Journal of Applied Mathematics 2013 (2013): 1–24. http://dx.doi.org/10.1155/2013/962765.

Full text
Abstract:
Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules. Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice. Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion. In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness. We use this language to capture semantics-based compliance rules and constraints. We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible. A tool is implemented to evaluate the efficiency. An experiment conducted on three model collections illustrates that our technology is very efficient.
APA, Harvard, Vancouver, ISO, and other styles
33

Kord Toudeshki, Leila, Mir Ali Seyyedi, and Afshin Salajegheh. "A Context-Aware Architecture for Realizing Business Process Adaptation Strategies Using Fuzzy Planning." International Journal of Software Engineering and Knowledge Engineering 32, no. 01 (January 2022): 37–70. http://dx.doi.org/10.1142/s0218194022500024.

Full text
Abstract:
Business competency emerges in flexibility and reliability of services that an enterprise provides. To reach that, executing business processes on a context-aware business process management suite which is equipped with monitoring, modeling and adaptation mechanisms and smart enough to react properly using adaptation strategies at runtime, are a major requisite. In this paper, a context-aware architecture is described to bring adaptation to common business process execution software. The architecture comes with the how-to-apply methodology and is established based on process standards like business process modeling notation (BPMN), business process execution language (BPEL), etc. It follows MAPE-K adaptation cycle in which the knowledge, specifically contextual information and their related semantic rules — as the input of adaptation unit — is modeled in our innovative context ontology, which is also extensible for domain-specific purposes. Furthermore, to support separation of concerns, we took apart event-driven adaptation requirements from process instances; these requirements are triggered based on ontology reasoning. Also, the architecture supports fuzzy-based planning and extensible adaptation realization mechanisms to face new or changing situations adequately. We characterized our work in comparison with related studies based on five key adaptation metrics and also evaluated it using an online learning management system case study.
APA, Harvard, Vancouver, ISO, and other styles
34

Wang, Yung-Hsin, Shih-Chih Chen, and An-Jung Tseng. "Service-Oriented Analysis and Design for Constructing the Online Sales Process Integration." Australian Journal of Business and Management Research 02, no. 05 (June 23, 2012): 58–68. http://dx.doi.org/10.52283/nswrca.ajbmr.20120205a08.

Full text
Abstract:
In recent years, enterprises try to develop the online sales systems in order to reach various customers in different places and expect to bring better profit or company exposure via the internet and mobile device channels. However, different platforms, technologies, transaction rules, policies and processes have resulted in data dispersion and business logic inconsistency that is hard for the company to audit and manage. This study presented a service-oriented analysis and design of the online sales process integration for our case company. We analyzed and modeled the processes using the service-oriented modeling and architecture (SOMA) approach to identify service candidates, and also utilized service component architecture (SCA) to create web services for activities required for the processes. Based on the function of services, business rules and logic, the corresponding service abstraction layer of the integrated online sales process is established. Finally, this study used the Business Process Execution Language (BPEL) to realize the service orchestration and composition, thus achieving service reusability. With the SOA solution, the case company can efficiently integrate resources and that the enterprise system become more flexible, agile and cost-effective.
APA, Harvard, Vancouver, ISO, and other styles
35

Huang, Ming Yue, Sha Hu, and Jian Jun Li. "Business Process Integration of Mold Making Enterprise Based on BPM." Advanced Materials Research 139-141 (October 2010): 1648–53. http://dx.doi.org/10.4028/www.scientific.net/amr.139-141.1648.

Full text
Abstract:
The informationization of mold making enterprises have always been the industrial focus, however, few of information integration solutions can solve the problems efficiently. Promoted by demands of industrial developments and the newest information technology, enterprises integration shifted rapidly from information integration to process integration for the preeminent performance exhibiting in the real production process. The paper conducts many studies on the typical four business processes of mold industry, then proposes the process integration architecture of mold making enterprises based on BPM. Meanwhile, the paper comes up with a modeling method based on BPMN, which can demonstrate the process integration visually and efficiently, the architecture also combines BPEL with JPDL to fulfill the integration operation, BPEL mainly taking charge of automatic integration and JPDL with responsibility for human-involved integration of processes. Furthermore, monitoring solution based on BAM is brought forward, it is able to provide exact real-time monitoring and information feedback of processes with the help of Rules Engine. The architecture can greatly enhance the information sharing and automation of business processes, finally bring more benefits to the mold industry.
APA, Harvard, Vancouver, ISO, and other styles
36

El Faquih, Loubna, and Mounia Fredj. "Ontology-Based Framework for Quality in Configurable Process Models." Journal of Electronic Commerce in Organizations 15, no. 2 (April 2017): 48–60. http://dx.doi.org/10.4018/jeco.2017040104.

Full text
Abstract:
In recent years, business process modeling has increasingly drawn the attention of enterprises. As a result of the wide use of business processes, redundancy problems have arisen and researchers introduced the variability management, in order to enhance the business process reuse. The most approach used in this context is the Configurable Process Model solution, which consists in representing the variable and the fixed parts together in a unique model. Due to the increasing number of variants, the configurable models become complex and incomprehensible, and their quality is therefore impacted. Most of research work is limited to the syntactic quality of process variants. The approach presented in this paper aims at providing a novel method towards syntactic verification and semantic validation of configurable process models based on ontology languages. We define validation rules for assessing the quality of configurable process models. An example in the e-healthcare domain illustrates the main steps of our approach.
APA, Harvard, Vancouver, ISO, and other styles
37

ZHENG, YUNXIANG, TIANXIANG ZHENG, YANFEN ZHANG, and HAI WAN. "DOUBLE-STATE BASED BUSINESS PROCESS DESCRIPTION MODEL AND ITS OPERATIONAL SEMANTICS." International Journal of Software Engineering and Knowledge Engineering 22, no. 06 (September 2012): 801–37. http://dx.doi.org/10.1142/s0218194012500210.

Full text
Abstract:
With the rapid development of economic globalization and informationization, the Chinese e-government is still in its adolescence with a long way ahead. Based on some recent research in Guangdong province, we find that e-government affair systems play important roles therein and represent a certain kind of application called Form-centered Application Systems (FAS). After much investigation and analysis on e-government's background, daily routine and regulations, we summarize some rules and disciplines of its business process modeling, based on which we characterize requirements of FAS. Though currently many process modeling approaches or techniques have been proposed and widely used, they can not fully and easily meet the special needs. In this paper, we introduce a new business process model called Double-State Based Business Process Description Model (DSBPDM), which is composed of Business Process Model (BPM) and Dispatching Model (DM), where BPM enriches Finite State Machine (FSM) Model by three constraint checks, business logic and message passing, whereas DM delineates the dispatching and executing status of the business object in its lifetime. After presenting DSBPDM's formal definition, we discuss the essence of process forwarding by deducing its operational semantics formally. In this way, key issues such as explicit state and operation representation, rigorous constraint expression, complex authorization check, and full picture of the dispatching and executing of business objects are nicely tackled. Our practice shows that building FAS system with DSBPDM and its supporting platform fits the requirements well, provides an open and transparent view of business process, satisfies the needs of the public and officials, and helps to get a comprehensive insight into the meaning of business process forwarding.
APA, Harvard, Vancouver, ISO, and other styles
38

Chiu, Dickson K. W., Shing-Chi Cheung, Sven Till, Lalita Narupiyakul, and Patrick C. K. Hung. "Enhancing E-Service Collaboration with Enforcement and Relationship Management." International Journal of Organizational and Collective Intelligence 1, no. 1 (January 2010): 15–43. http://dx.doi.org/10.4018/joci.2010100802.

Full text
Abstract:
In a business-to-business (B2B) e-service environment, cross-organizational collaboration is important for attaining the interoperability of business processes and their proper enactment. The authors find that B2B collaboration can be divided into multiple layers and perspectives, which has not been adequately addressed in the literature. Besides regular e-service process enactment, robust collaboration requires enforcement, while quality collaboration involves relationship management. These problems are challenging, as they require the enactment of business processes and their monitoring in counter parties outside an organization’s boundary. This paper presents a framework for B2B process collaboration with three layers, namely, collaboration requirements layer, business rule layer, and system implementation layer. The collaboration requirements layer specifies the cross-organizational requirements of e-service processes. In the business rule layer, detailed knowledge of these three types of process collaboration requirements is defined as business rules in a unified Event-Condition-Action (ECA) form. In the system implementation layer, event collaboration interfaces are supported by contemporary Enterprise JavaBeans and Web Services. Based on this architecture, a methodology is presented for the engineering of e-service process collaboration from high-level business requirements down to system implementation details. As a result, B2B process collaboration can be seamlessly defined, enacted, and enforced. Conceptual models of various layers are given in the Unified Modeling Language (UML). We illustrate the applicability of our framework with a running example based on a supply-chain process and evaluate our approach from the perspective of three main stakeholders of e-collaboration, namely users, management, and systems developers.
APA, Harvard, Vancouver, ISO, and other styles
39

Svetlakova, E. N., and A. A. Stepanova. "Using the ARIS software platform for automating business process modeling of «Russian railways»." Herald of the Ural State University of Railway Transport, no. 4 (2020): 56–64. http://dx.doi.org/10.20291/2079-0392-2020-4-56-64.

Full text
Abstract:
Applying a process approach to optimizing the operation of individual elements of JSC «Russian Railways» will increase the efficiency of the railway industry. We used this method to optimize the operation of the Eastern polygon, which includes four Railways. Process, organizational and functional models are built in the BM automated control system, which is developed on the basis of the ARIS software. The construction process of the Eastern polygon is made in the following order: organizational model of the Eastern site is built; association of the submission of the structures to each other is determined; the organizational model of work of the directorates and services is built, accompanied by models of their functions. The organizational and functional features of the centers for organizing the work of railway stations (DCS), which are engaged in organizing the work of stations that are subordinate to them, are considered. The next step is to build station processes, without which it is impossible to show a complete level-by-level formation of a complex process model for the organization and functioning of the polygon. The optimization is based on a low-level process that affects the overall performance if the technology is applied at all stations in the landfill where the train is attended. For a detailed study and construction of a lower-level model, the Karymskaya station of the Trans-Baikal railway is considered, the stable functioning of which is very important for the efficiency of the entire Eastern polygon. Models of the technology of technical and commercial inspection of transit trains at the station are based on the standard rules for these types of work in force in JSC «Russian Railways». Duplicate operations are identified and measures aimed at optimizing the process model of the lower level - the operation of the station with transit trains are proposed to eliminate them.
APA, Harvard, Vancouver, ISO, and other styles
40

Nasution, Rahmat Wahyudi, and Taufik Djatna. "Production System Design bio-oil of Microalgae with POME as Raw Material For Media Cultivation." SEAS (Sustainable Environment Agricultural Science) 2, no. 1 (May 21, 2018): 61. http://dx.doi.org/10.22225/seas.2.1.540.61-66.

Full text
Abstract:
Palm Oil Mill Effluent (POME) produced by the Palm Oil Mill as a waste is now being used as a medium for cultivating microalgae for bio-oil raw materials. However, the bio-oil production process from POME raw materials is still limited to lab scale. Therefore, in this project, the analysis of bio-oil production system from microalgae for the development of existing production system. In this paper, the optimization model of bio-oil production from microalgae biomass is simulated into Digital Business Ecosystem (DBE) concept then analyzed to related stakeholders in system and interaction of each process or between fellow stakeholders. And the results are defined in the form of Information Communication and Technology (ICT). The method used for this DBE concept is Unified Modeling Language (UML) which is use case diagram and Business Process Model and Notations (BPMN) diagram. And to predict an increase in yield by using ARM (Association Rule Mining). The results of this study are shown in the use case diagram and BPMN consisting of five communities, namely raw materials community, cultivation community, harvesting community, extraction community and quality control (QC). The process of production and storage of the resulting data is illustrated in the BPMN diagram. In this paper the association rule is used to explore the relationship pattern between Cell Density attributes, Lipid Content and Light Intensity. The integration of association rule with a priori paradigm has succeeded in finding 34 rules with 11 valid rules top rank which have lift > 1 of relation between attributes
APA, Harvard, Vancouver, ISO, and other styles
41

Khlif, Wiem, Hanêne Ben-Abdallah, and Nourchène Elleuch Ben Ayed. "A methodology for the semantic and structural restructuring of BPMN models." Business Process Management Journal 23, no. 1 (February 3, 2017): 16–46. http://dx.doi.org/10.1108/bpmj-12-2015-0186.

Full text
Abstract:
Purpose Restructuring a business process (BP) model may enhance the BP performance and improve its understandability. So-far proposed restructuring methods use either refactoring which focuses on structural aspects, social network discovery which uses semantic information to guide the affiliation process during its analysis, or social network rediscovery which uses structural information to identify clusters of actors according to their relationships. The purpose of this paper is to propose a hybrid method that exploits both the semantic and structural aspects of a BP model. Design/methodology/approach The proposed method first generates a social network from the BP model. Second, it applies hierarchical clustering to determine the performers’ partitions; this step uses the social context which specifies features related to performers, and two new distances that account for semantic and structural information. Finally, it applies a set of behavioral and organizational restructuring rules adapted from the graph optimization domain; each rule uses the identified performers’ partitions and the business context to reduce particular quality metrics. Findings The efficiency of the proposed method is illustrated through well-established complexity metrics. The illustration is made through the development of a tool that fully supports the proposed method and proposes a strategy for the application of the restructuring rules. Originality/value The proposed method has the merit of combining the semantic and structural aspects of a Business Process Modeling Notation model to identify restructuring operations whose ordered application reduces the complexity of the initial model.
APA, Harvard, Vancouver, ISO, and other styles
42

LAM, VITUS S. W. "FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH." International Journal of Software Engineering and Knowledge Engineering 20, no. 07 (November 2010): 987–1023. http://dx.doi.org/10.1142/s0218194010005079.

Full text
Abstract:
Business Process Modeling Notation (BPMN) plays a significant role in the specification of business processes. To ascertain the validity of BPMN models, a disciplined approach to analyze their behavior is of particular interest to the field of business process management. This paper advocates a semantics-preserving method for transforming BPMN models into New Symbolic Model Verifier (NuSMV) language as a means to verify the models. A subset of BPMN is specified rigorously in the form of a mathematical model. With this foundation in place, the translation for the subset of BPMN notational elements is then driven by a set of formally defined rules. The practicality of our approach is exemplified using an on-line flight reservation service.
APA, Harvard, Vancouver, ISO, and other styles
43

Šuman, Sabrina, Sanja Čandrlić, and Alen Jakupović. "A Corpus-Based Sentence Classifier for Entity–Relationship Modelling." Electronics 11, no. 6 (March 11, 2022): 889. http://dx.doi.org/10.3390/electronics11060889.

Full text
Abstract:
Automated creation of a conceptual data model based on user requirements expressed in the textual form of a natural language is a challenging research area. The complexity of natural language requires deep insight into the semantics buried in words, expressions, and string patterns. For the purpose of natural language processing, we created a corpus of business descriptions and an adherent lexicon containing all the words in the corpus. Thus, it was possible to define rules for the automatic translation of business descriptions into the entity–relationship (ER) data model. However, since the translation rules could not always lead to accurate translations, we created an additional classification process layer—a classifier which assigns to each input sentence some of the defined ER method classes. The classifier represents a formalized knowledge of the four data modelling experts. This rule-based classification process is based on the extraction of ER information from a given sentence. After the detailed description, the classification process itself was evaluated and tested using the standard multiclass performance measures: recall, precision and accuracy. The accuracy in the learning phase was 96.77% and in the testing phase 95.79%.
APA, Harvard, Vancouver, ISO, and other styles
44

Ferdaous, Jenhani, and Mohamed Salah Gouider. "Large-Scale System for Social Media Data Warehousing." International Journal of Data Warehousing and Mining 18, no. 1 (January 2022): 1–18. http://dx.doi.org/10.4018/ijdwm.290890.

Full text
Abstract:
Social media data become an integral part in the business data and should be integrated into the decisional process for better decision making based on information which reflects better the true situation of business in any field. However, social media data are unstructured and generated in very high frequency which exceeds the capacity of the data warehouse. In this work, we propose to extend the data warehousing process with a staging area which heart is a large scale system implementing an information extraction process using Storm and Hadoop frameworks to better manage their volume and frequency. Concerning structured information extraction, mainly events, we combine a set of techniques from NLP, linguistic rules and machine learning to succeed the task. Finally, we propose the adequate data warehouse conceptual model for events modeling and integration with enterprise data warehouse using an intermediate table called Bridge table. For application and experiments, we focus on drug abuse events extraction from Twitter data and their modeling into the Event Data Warehouse.
APA, Harvard, Vancouver, ISO, and other styles
45

Rábová, Ivana. "Using UML and Petri nets for visualization of business document flow." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 60, no. 2 (2012): 299–306. http://dx.doi.org/10.11118/actaun201260020299.

Full text
Abstract:
The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business environment. After that it is clarified that the UML is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process, workflows and data structure. Activity diagram UML is good way to show how different workflows in the business are managed, how they start, go and stop. Diagrams also show many different decision paths that can be taken from start to finish. State charts can be used as a detail the transitions or changes of states when documents can go through in the business. They show how a documents moves from one state to another and the rules that govern that change. Petri-nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike UML Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. In the article there are modeled a special type of Petri nets, the WF-nets. The practical part of article incorporates two models of concrete business documents workflows presented in these notations, their comparison and recommendation for using these diagrams in business process management.
APA, Harvard, Vancouver, ISO, and other styles
46

Fakhouri Amr, Meryem, Nezha Benmoussa, Khalifa Mansouri, and Mohammed Qbadou. "Transformation of the CIM Model into A PIM Model According to The MDA Approach for Application Interoperability: Case of the "COVID-19 Patient Management" Business Process." International Journal of Online and Biomedical Engineering (iJOE) 17, no. 05 (May 20, 2021): 49. http://dx.doi.org/10.3991/ijoe.v17i05.21419.

Full text
Abstract:
<p>Model-Driven Engineering (MDE) plays a very important role in improving the development of complex systems. It focuses more on modeling than on classical programming. In this sense, model transformation is at the heart of the Model Driven Architecture (MDA) approach which advocates the use of models throughout the software development cycle on two levels. The first being the transformation of the Computing Independent Model (CIM) into the Platform Independent Model (PIM) and the second concerning the transformation of PIM into Platform Specific Model (PSM).</p><p>The latter has been dealt with in the majority of research works while the transformation from CIM to PIM which represents the highest level is rarely discussed in research topics. It is for this reason and in the spirit of improving the process of transforming the CIM model into PIM according to the MDA approach, that we have developed this research work in order to propose a new method and new transformation rules for optimization of the business process "COVID-19 patient management". Our contribution consists of the semi-automatic transformation of the CIM model presented by the BPMN (Business Process Model and Notation) source model into a PIM target model presented by a class diagram by using a set of transformation and correspondence rules that we performed manually using the language ATL (Atlas Transformation Language). This automatic transformation of the two source and target models is provided by the Eclipse Modeling Framework (EMF) which executes the transformation rules described manually in ATL and generates the PIM target model as an XMI (XML Metadata Interchange) file representing the target class diagram.</p>
APA, Harvard, Vancouver, ISO, and other styles
47

Corradini, Flavio, Andrea Polini, and Barbara Re. "Inter-organizational business process verification in public administration." Business Process Management Journal 21, no. 5 (September 7, 2015): 1040–65. http://dx.doi.org/10.1108/bpmj-02-2014-0013.

Full text
Abstract:
Purpose – Public services can be modelled, analysed and implemented using notations and tools for the business process (BP) abstraction. Applying such an explicit approach public administrations (PAs) can better react to the undergoing transformation in service provisioning and they can continuously improve service quality in order to satisfy citizens and business requests, while coping with decreasing budgets. The purpose of this paper is to discuss these issues. Design/methodology/approach – The proposed approach relies on using formal methods, in particular unfolding to analyse the correctness of BP. The paper also compares and selects mapping rules from semi-formal to formal modelling languages; these techniques are presented in the context of the BP Modelling Languages and Petri Net (PN). Findings – Main aim of this paper is to raise the need for formal verification of BP governing the interactions among PAs, which more and more need to be supported by ICT mechanisms, and then are not so much tolerant to errors and imperfections in the process specification. The paper illustrates the main motivations of such a work and it introduces a verification technique of a BP using a mapping of a high-level notation (such as BPMN 2.0) to a formal notation (such as PNs) for which formal analysis techniques can be adopted. In particular the verification step is implemented using an unfolding-based technique. Originality/value – The paper answers a call for further development of the body of knowledge on effective analysis of BPs, a rapidly emerging field of interest for large and ultra large scenarios, where a clear gap in literature exists. Than the paper shows that formal techniques are mature enough to be applied on real scenarios.
APA, Harvard, Vancouver, ISO, and other styles
48

LEE, CHANG-MOG, and YOUNG-WON KIM. "USER INTERFACE PROTOTYPE GENERATION TECHNIQUE SUPPORTING USAGE-CENTERED DESIGN." International Journal of Software Engineering and Knowledge Engineering 19, no. 01 (February 2009): 23–46. http://dx.doi.org/10.1142/s0218194009004088.

Full text
Abstract:
Usage-centered design is becoming increasingly important in the rapidly growing web environment. In this paper, we propose a development process and algorithm to generate a user interface prototype automatically on the basis of a usage-centered design. For this purpose, the transition objects of the user interface are modeled from the requirement analysis, while abstract modeling rules and algorithms of business events are formed for the generation of the user interface. These processes allow unskilled designers to develop qualified user interface prototypes, improve the user's understanding of the business tasks and reduce the number of prototype iterations.
APA, Harvard, Vancouver, ISO, and other styles
49

Zhao, Xiaohui, Sira Yongchareon, and Nam-Wook Cho. "Enabling situational awareness of business processes." Business Process Management Journal 27, no. 3 (March 4, 2021): 779–95. http://dx.doi.org/10.1108/bpmj-07-2020-0331.

Full text
Abstract:
PurposeThe purpose of this research is to explore the ways of integrating situational awareness into business process management for the purpose of realising hyper automated business processes. Such business processes will help improve their customer experiences, enhance the reliability of service delivery and lower the operational cost for a more competitive and sustainable business.Design/methodology/approachOntology has been deployed to establish the context modelling method, and the event handling mechanisms are developed on the basis of event calculus. An approach on performance of the proposed approach has been evaluation by checking the cost savings from the simulation of a large number of business processes.FindingsIn this research, the authors have formalised the context presentation for a business process with a focus on rules and entities to support context perception; proposed a system architecture to illustrate the structure and constitution of a supporting system for intelligent and situation aware business process management; developed real-time event elicitation and interpretation mechanisms to operationalise the perception of contextual dynamics and real-time responses; and evaluated the applicability of the proposed approaches and the performance improvement to business processes.Originality/valueThis paper presents a framework covering process context modelling, system architecture and real-time event handling mechanisms to support situational awareness of business processes. The reported research is based on our previous work on radio frequency identification-enabled applications and context-aware business process management with substantial extension to process context modelling and process simulation.
APA, Harvard, Vancouver, ISO, and other styles
50

Chen, Gang. "Research on Workflow Management Model Based on Ontology in Data Center." Applied Mechanics and Materials 496-500 (January 2014): 2045–48. http://dx.doi.org/10.4028/www.scientific.net/amm.496-500.2045.

Full text
Abstract:
Workflow is a kind of automatic execution of business process partly or fully, according to a series of rules, documents, information or tasks which can be transferred and executed in different executor such in Data center. Modeling process workflow management model on ontology is divided into following steps based on: Determine professional field and category of Ontology; Important terms and concepts; Definition of class and class hierarchy; Define class attributes and surface properties, Because user demand always changes according to the development of economic, In workflow management system, user demand migration prediction system can give some help. There are two subsystems: Data Mining subsystem and migration of recommendation subsystem.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography