CN105678478A - Service process variability configuration management compliance analysis and detection method - Google Patents
Service process variability configuration management compliance analysis and detection method Download PDFInfo
- Publication number
- CN105678478A CN105678478A CN201610132138.6A CN201610132138A CN105678478A CN 105678478 A CN105678478 A CN 105678478A CN 201610132138 A CN201610132138 A CN 201610132138A CN 105678478 A CN105678478 A CN 105678478A
- Authority
- CN
- China
- Prior art keywords
- rule
- model
- cpn
- compliance
- business
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0633—Workflow analysis
Landscapes
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Engineering & Computer Science (AREA)
- Strategic Management (AREA)
- Entrepreneurship & Innovation (AREA)
- Economics (AREA)
- Operations Research (AREA)
- Game Theory and Decision Science (AREA)
- Development Economics (AREA)
- Marketing (AREA)
- Educational Administration (AREA)
- Quality & Reliability (AREA)
- Tourism & Hospitality (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a service process variability configuration management compliance analysis and detection method, which comprises the steps of: adopting a CPN as a formal model to express a configurable service process through increasing configuration operation, and adopting an extended CTL formula to express a compliance rule to reflect the compliance requirement of the model; and finally, providing configurable service process compliance analysis and a correctness theorem of compliance constraint in a configurable service process model. According to the service process variability configuration management compliance analysis and detection method, the compliance rule is effectively integrated into the configurable service process, and the compliance correctness of the configurable service process is verified by means of a related tool set provided by the adopted CPN formal model. The analysis and detection method is provided for the consistency of the service process satisfying the service rule during the variability configuration management process, so that an organization or enterprise can comply with the corresponding service rule when providing individualized service process to a user.
Description
Technical field
The present invention relates to BPM technical field, particularly relate to the compliance analysis in a kind of operation flow transmutability configuration management and detection method.
Background technology
Their operation flow of automation mechanized operation is gone along with tissue continues on BPM, then to the compliance detection technique of the procedural model of compliance rule by becoming an abnormal important part, so operation flow compliance analysis is a critical problem in tissue. Now change tissue or enterprise in the face of a series of challenge, as in order to attract clients, they must are fulfilled for their expectation demand and can keep flexible. Because globalization and digitized use, great majority organize or enterprise has accepted and adopts BPM technology to go effectively to manage their operation flow, and meanwhile, the increasing compliance demand affecting business operation is also developed. These cases such as SarbanesOxleyAct (SOX), EuropeanMoneyLaunderingRegulationAnd IFRS, these perform in globalization all. These examples show legal requirements and international standard will be affected the operation flow of company deeply. These tissues must assure that their business operation and the government regulation of various localities to close rule, but to be not result in the loss of economy, therefore, all relevant decree regulation related to must be had the understanding of a Comprehensive and be able to verify that their operation flow can be designed in desired mode and perform by them. Generally speaking, these regulations or law are considered as the constraint of compliance by the researcher of business process model, when they are according to local or when organizing to set up new compliance demand of globalization, operation flow is caused changing by impact three kinds possible: existing flow process must adopt or remove; New operation flow must be introduced into; Or make flow process unchanged without impact. So enterprise or tissue must process the constraint of various different compliance.Property means to ensure that operation flow ensure that consistent with business practice normally. Operation flow compliance is exactly seek to realize method and the technology of these compliance rules.
It is known that configurable business process model represents the family bunch of a related business process model, say, that a model is by configuring and can carry out personalized customization according to setting. Configurable business process model can share public flow process in a controlled manner, it can thus be assumed that be a decision model. It is to carry out flow process covenant of works bundle in the design phase of procedural model by flow process configuration, in configurable business process model, operation flow configuration operation can be passed through to intercept, dim or allow certain fragment of configurable flow model to reach, when user's request is satisfied by individual business procedural model, it can carry out three kinds of configuration operations in certain demand or guidance. Although configurable business process model provides to instruct and goes to analyze in configuration, they do not ensure that no matter personalized flow process is grammatically or semanteme is correct, in fact, due to hiding some fragment and intercepting some other fragment in flow process, therefore, derivative personalized flow process can produce some dystropy such as deadlock or livelock. When we consider compliance rule at configurable business process model, not only to consider the constraint correctness controlling stream and configuration but also it is also contemplated that the correctness of the compliance rule of this configurable business process model. But, these compliance rules are as regulation or law are considerably complicated and there is cross one another probability, it is therefore evident that the compliance detection of configurable business process model is added complexity. Thus, it is ensured that the conjunction of regulation rule are not only loaded down with trivial details and consuming time and complicated, so the compliance analysis of configurable business process model is a critically important problem.
Up to now, have and in a large number operation flow compliance rule is modeled distinct methods and pattern. As gone to discuss the compliance modeling of business process model from sequential logic angle; Minority uses patterned concept; And model inspection technology is the common techniques that compliance detection first has to be considered as; Here there is other ensure operation flow compliance transcendental method and effective algorithm is provided, compliance such as the procedural model based on status data object detects, to the checking closing rule rule without circulation process model sequential, this method considers the visual angle of time and information, also having and solve to perform compliance monitoring, Aalst et al. proposes the compliance detection of a priori. Document describes the method for the compliance conceptual model catching and managing compliance demand and by transparent and these compliance are associated with operation flow in the way of can verify that; Give the comprehensive compliance Governance framework being focused mainly on the design phase in the literature, first it be towards life cycle compliance support in advance, for the discrete representation in the different life of solution rule and flow process, pertinent literature designs a flow process by the framework performing semantic tagger of task, and its compliance is to be detected by the constraint set kept at desired flow state; Imperial court's rosy clouds propose a kind of compliance problem between flow process and data object version control strategy.
Analyze and research to existing operation flow compliance, compliance detection correlational study to configurable business process model is relatively little of, for solving this problem, the present invention uses and represents configurable operation flow by the CPN after configuring operation extension, and proposes a kind of configurable business process model compliance analysis based on extension CTL.The method of exploitation configuration operation amendment CPN model on the one hand, the CTL logic that still further aspect is application extension goes to represent the abstract compliance rule out from given field. In this approach, the execution behavior of configurable business process model is considered as active sequences by the present invention, then the set of active sequences is exactly the state space of configurable business process model, next, the present invention goes the correctness ensureing configurable business process model and compliance rule by model inspection technology, finally, The present invention gives the relevant decision method of configurable business process model compliance analysis and to the relevant method of proof of this method effectiveness.
Summary of the invention
For whether operation flow business rule in configuration management process closes this problem of rule, what first solve is to the pertinent regulation system related in concrete operation flow, then to ensure that operation flow meets the requirement of these rules and regulations in configuration process. Due to the complexity of operation flow local environment, therefore, its business rule is also corresponding complicated, it is necessary to these are closed rule rule and carries out abstract and classification, provide its conforming analysis and verification method simultaneously. The present invention adopts CPN to be that formalized model represents configurable operation flow, and branch tree sequential logic (ASK-CTL) of application extension represents corresponding business rule simultaneously.
For reaching above-mentioned purpose, the present invention adopts the following technical scheme that
The present invention is such a operation flow transmutability configuration management compliance analysis and detection method, and he mainly comprises the steps that
Step (1): for, under the big data environment in given field, utilizing event log to find out operational action and sequential relationship thereof, then uses CPN model that they are expressed as operation flow, and this process lays particular emphasis on the control stream of operational action and expresses;
Step (2): first, in given field, compliance analyst is in conjunction with the concrete business rule of the rules and regulations in this field, legislation and legal analysis and conclusion, these compliance demands of then refining, namely rule rule is closed, to reflect user's demand to the regular aspect of operation flow;
Step (3): then, ASK-CTL is used to go the compliance rule of specification refinement, meanwhile, operation flow analysis expert gives the configurable business process model under field with design, then studies and how to use CPN model and corresponding tool analysis and detection model and respective attributes thereof;
Wherein, by such scheme, the step that implements of step (1) is:
Step (1.1): analyze operational action therein for given field (such as logistics field);
Step (1.2): for the result of step (1.1), according to the operational action analyzed, extracts corresponding operational action rule, will not belong to the business rule of this domain activity and filter out;
Step (1.3): the analysis result of the business rule of step (1.2) is determined the sequential relationship of operational action;
Step (1.4): on the basis of step (1.3), uses CPN instrument that the operational action of front 3 step analyses and sequential relationship thereof are designed to the operation flow of CPN pattern.
Further, by such scheme, the step that implements of step (2) is:
Step (2.1): on the basis of step (1), to a series of compliance documents involved by operational action, such as law, regulation, rule, is formed and closes rule resource file;
Step (2.2): the compliance resource obtained according to (2.1), extracts business rule, then carries out closing refining of rule rule, accurately reflects the conjunction rule demand of user;
Further, by such scheme, the step that implements of step (3) is:
Step (3.1): on the basis of step (2), goes stipulations conjunction rule rule with ASK-CTL formula, then closes the constraint as CPN of the rule regular function provided in CPN instrument using what express with formula;
Step (3.2): on the basis of step (3.1), converts the CPN business process model that compliance retrains to configurable CPN model:
Step (3.2.1): find out the enable business operation in procedural model, is configured to allow for state by configuring handling function by the respective activity in business CPN model;
Step (3.2.2): find out the business operation of hiding in procedural model, by configuring handling function, the respective activity in business CPN model is configured to hidden state;
Step (3.2.3): find out the business operation of barrier in procedural model, by configuring handling function, the respective activity in business CPN model is configured to obstruct state;
Repeat step (3.1) and (3.2), until the CPN business process model in given field is wholly converted into configurable CPN business process model, as shown in Figure 2.
Step (3.3): the result obtained by step (3.2), the concordance pattern of rule is closed in the detection model checking of analyzing provided with CPN instrument;
Beneficial effects of the present invention is as follows:
Invention proposes the compliance between a kind of configurable operation flow based on CPN and compliance rule and analyzes method. Our method is to operate with CPN by increase configuration to go express configurable operation flow and go to represent that compliance rule is to reflect the compliance demand of model with the CTL formula extended as formalized model; Finally, we illustrate configurable operation flow compliance analysis and give the correctness theorem closing stipulations bundle in a configurable business process model, this method is effectively by conjunction rule rules integration to configurable operation flow, simultaneously as the CPN formal model adopted provides the conjunction rule correctness that relevant tool set goes to verify configurable operation flow. Work in the future is to provide the concrete case of method and study the complexity analyzing of model after addition compliance retrains. Method for operation flow meet in transmutability configuration management process business rule concordance provide one analyze and detection method so that tissue or enterprise provide the user individual business flow process time can be good at following corresponding business rule.
Accompanying drawing explanation
Fig. 1 is the conjunction consistent analysis of rule rule and the detection frame diagram of configurable operation flow;
The configurable CPN model of Fig. 2
Fig. 3 is the configurable CPN illustraton of model that medical treatment detection processes;
Fig. 4 is compliance analysis and the detection figure of configurable CPN model.
Detailed description of the invention
Below in conjunction with accompanying drawing embodiment, the present invention is described in further detail.
Fig. 1 illustrates the conjunction consistent analysis of rule rule and the detection frame diagram of the configurable operation flow of the present invention, and shown in Fig. 1, this operation flow transmutability configuration management compliance analysis of the present invention and detection method comprise the following steps specifically:
(1) for, under the big data environment in given field, utilizing event log to find out operational action and sequential relationship thereof, then using CPN model that they are expressed as operation flow, this process lays particular emphasis on the control stream of operational action and expresses;
(2) first, in given field, compliance analyst is in conjunction with the concrete business rule of the rules and regulations in this field, legislation and legal analysis and conclusion, these compliance demands of then refining, namely rule rule is closed, to reflect user's demand to the regular aspect of operation flow;
(3) then, ASK-CTL is used to go the compliance rule of specification refinement, meanwhile, operation flow analysis expert gives the configurable business process model under field with design, then studies and how to use CPN model and corresponding tool analysis and detection model and respective attributes thereof;
By such scheme, the step that implements of step (1) is:
(1.1) operational action therein is analyzed for given field (such as logistics field);
(1.2) for the result of step (1.1), according to the operational action analyzed, extract corresponding operational action rule, will not belong to the business rule of this domain activity and filter out;
(1.3) the analysis result of the business rule of step (1.2) is determined the sequential relationship of operational action;
(1.4) on the basis of step (1.3), use CPN instrument that the operational action of front 3 step analyses and sequential relationship thereof are designed to the operation flow of CPN pattern.
By such scheme, the step that implements of step (2) is:
(2.1) on the basis of step (1), to a series of compliance documents (such as law, regulation, rule) involved by operational action, filing is formed closes rule resource file;
(2.2) the compliance resource obtained according to (2.1), extracts business rule, then carries out closing refining of rule rule, accurately reflects the conjunction rule demand of user;
By such scheme, the step that implements of step (3) is:
(3.1) on the basis of step (2), go stipulations conjunction rule rule with ASK-CTL formula, then close the constraint as CPN of the rule regular function provided in CPN instrument using what express with formula;
Common 5 kinds close rule rule:
Repeat step (3.1) and (3.2), until the CPN business process model in given field is wholly converted into configurable CPN business process model, as shown in Figure 2.
(3.3) result obtained by (3.2), the concordance of rule is closed in the detection model checking of analyzing provided with CPN instrument;
Close 5 kinds of patterns of rule consistency analysis:
(1) the overall situation multiple appearance of forerunner (GlobalProceedMultipleOccur): GPMO
This pattern describes such a situation: until movable B performs, movableAll must must perform and remain this situation in configurable operation flow configuration process, expressing this pattern with ASK-CTL formula as follows:
By the conjunction scale formula of 5 kinds of ASK-CTL business rule represented, the business rule ASK-CTL represented by table 2 is represented such as table 2.
A specific embodiment is given below to further illustrate the embodiment of the method for the present invention.
Embodiment 1:
The concordance of the business rule of configurable operation flow is analyzed and detection by application CPN now, and the constraint character with authentication data flow equally first has to load the ASK-CTL module in CPN. here, only detect the concordance of the business rule of the 2nd pattern-R2 as an example, the base attribute of other model, accessibility and compliance pattern are no longer discussed in detail, its the result is as shown in Figure 4, in the result figure, define two arc function Tran1 and Tran2 and represent the execution state of two expectation activities respectively: " Standardpatientrequest " and " RegisterEmergencyforMedicalExaminationmustbeexecuted ", A1 and A2 labelling the two activity is used to perform state respectively, finally, define the concordance keeping closing rule rule between an ASK-CTL formula myASKCTLformula expression activity performs, according to whether myASKCTLformula judgment models meets the concordance between activity, from the result, can be seen that its myASKCTLformulaInitNode is true, may determine that for this model being specified two movable execution meet the concordance of business rule.Test result indicate that: operation flow meets the concordance of business rule in transmutability configuration process.
Certainly, being more than the concrete exemplary applications of the present invention, the present invention also has other embodiment, all employings to be equal to replacement or the technical scheme of equivalent transformation formation, all falls within protection domain of the presently claimed invention.
Claims (4)
1. an operation flow transmutability configuration management compliance is analyzed and detection method, it is characterised in that the method comprises the steps:
Step (1): for, under the big data environment in given field, utilizing event log to find out operational action and sequential relationship thereof, then uses CPN model that they are expressed as operation flow;
Step (2): at the business rule that given domain analysis and conclusion are concrete, conjunction rule rule of then refining, to reflect user's demand to the regular aspect of operation flow;
Step (3): use ASK-CTL to go the compliance rule of specification refinement, meanwhile, analyzes and the configurable business process model under the given field of design, then studies and how to use CPN model and corresponding tool analysis and detection model and respective attributes thereof;
Step (4): analyze the effectiveness configuring behavior from the testing result that step (1)-step (3) obtains, if it find that there is the action trail being unsatisfactory for normally, adjusts model so that carrying out closing rule with model and business rule.
2. operation flow transmutability configuration management compliance according to claim 1 is analyzed and detection method, it is characterised in that the step that implements of step (1) is:
Step (1.1): for given domain analysis operational action therein;
Step (1.2): for the result of step (1.1), according to the operational action analyzed, extracts corresponding operational action rule, will not belong to the business rule of this domain activity and filter out;
Step (1.3): the analysis result of the business rule of step (1.2) is determined the sequential relationship of operational action;
Step (1.4): on the basis of step (1.3), uses CPN instrument that the operational action of front 3 step analyses and sequential relationship thereof are designed to the operation flow of CPN pattern.
3. operation flow transmutability configuration management compliance according to claim 2 is analyzed and detection method, it is characterised in that the step that implements of step (2) is:
Step (2.1): on the basis of step (1), is formed the compliance document involved by operational action and closes rule resource file;
Step (2.2): the compliance resource obtained according to step (2.1), extracts business rule, then carries out closing refining of rule rule, accurately reflects the conjunction rule demand of user.
4. operation flow transmutability configuration management compliance according to claim 3 is analyzed and detection method, it is characterised in that the step that implements of step (3) is:
Step (3.1): on the basis of step (2), goes stipulations conjunction rule rule with ASK-CTL formula, then closes the constraint as CPN of the rule regular function provided in CPN instrument using what express with formula;
Step (3.2): on the basis of step (3.1), converts the CPN business process model that compliance retrains to configurable CPN model:
Step (3.2.1): find out the enable business operation in procedural model, is configured to allow for state by configuring handling function by the respective activity in business CPN model;
Step (3.2.2): find out the business operation of hiding in procedural model, by configuring handling function, the respective activity in business CPN model is configured to hidden state;
Step (3.2.3): find out the business operation of barrier in procedural model, by configuring handling function, the respective activity in business CPN model is configured to obstruct state;
Repeat step (3.1) and (3.2), until given field is wholly converted into the configurable CPN business process model based on the constraint of data stream based on the CPN business process model that data stream retrains;
Step (3.3): the result obtained by step (3.2), the concordance pattern of rule is closed in the detection model checking of analyzing provided with CPN instrument.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610132138.6A CN105678478A (en) | 2016-03-09 | 2016-03-09 | Service process variability configuration management compliance analysis and detection method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610132138.6A CN105678478A (en) | 2016-03-09 | 2016-03-09 | Service process variability configuration management compliance analysis and detection method |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN105678478A true CN105678478A (en) | 2016-06-15 |
Family
ID=56307252
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610132138.6A Pending CN105678478A (en) | 2016-03-09 | 2016-03-09 | Service process variability configuration management compliance analysis and detection method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN105678478A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN111191897A (en) * | 2019-12-23 | 2020-05-22 | 浙江传媒学院 | Service flow online compliance prediction method and system based on bidirectional GRU neural network |
| CN111915407A (en) * | 2020-08-10 | 2020-11-10 | 政采云有限公司 | Object compliance detection method and system |
| CN115470640A (en) * | 2022-09-20 | 2022-12-13 | 山东理工大学 | Compliance detection method and system based on flow tree decomposition and track matching strategy |
-
2016
- 2016-03-09 CN CN201610132138.6A patent/CN105678478A/en active Pending
Cited By (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN111191897A (en) * | 2019-12-23 | 2020-05-22 | 浙江传媒学院 | Service flow online compliance prediction method and system based on bidirectional GRU neural network |
| CN111191897B (en) * | 2019-12-23 | 2023-06-30 | 浙江传媒学院 | Business process online compliance prediction method and system based on bidirectional GRU neural network |
| CN111915407A (en) * | 2020-08-10 | 2020-11-10 | 政采云有限公司 | Object compliance detection method and system |
| CN115470640A (en) * | 2022-09-20 | 2022-12-13 | 山东理工大学 | Compliance detection method and system based on flow tree decomposition and track matching strategy |
| CN115470640B (en) * | 2022-09-20 | 2024-02-20 | 山东理工大学 | Compliance detection method and system based on flow tree decomposition and track matching strategy |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Ramezani et al. | Separating compliance management and business process management | |
| Chalupnik et al. | Approaches to mitigate the impact of uncertainty in development processes | |
| Mažeika et al. | Integrating security requirements engineering into MBSE: Profile and guidelines | |
| Casanovasabc et al. | Legal compliance by design (LCbD) and through design (LCtD): preliminary survey | |
| Giachetti | Evaluation of the dodaf meta-model's support of systems engineering | |
| CN108133148B (en) | Data safety inspection method and system | |
| CN105991517B (en) | Vulnerability mining method and apparatus | |
| CN105678478A (en) | Service process variability configuration management compliance analysis and detection method | |
| Maggi | Discovering metric temporal business constraints from event logs | |
| Megha et al. | Method to resolve software product line errors | |
| CN104504334A (en) | System and method used for evaluating selectivity of classification rules | |
| Ziegler et al. | Implementing a “one-stop-shop” providing smes with integrated hpc simulation resources using fortissimo resources | |
| Cortellessa et al. | Enabling Performance Antipatterns to arise from an ADL-based Software Architecture | |
| Arthur et al. | Applying standard independent verification and validation (IV&V) techniques within an Agile framework: Is there a compatibility issue? | |
| Maggi et al. | Explaining non-compliance of business process models through automated planning | |
| CN104090838A (en) | Method for generating test case | |
| US20120330703A1 (en) | Migrating business process instances | |
| EP3608786A1 (en) | Systems and methods of requirements chaining and applications thereof | |
| KR102169004B1 (en) | Method and system for incrementally learning experiential knowledge in single classification domain via analyzing new cases | |
| Novoa-Hernández et al. | A software tool for assisting experimentation in dynamic environments | |
| KR101873340B1 (en) | Method and Apparatus for Generating Safety Requirement Checklist | |
| Banushkina et al. | Fep1d: a script for the analysis of reaction coordinates | |
| Mannering et al. | Towards normal design for safety-critical systems | |
| Vistbakka et al. | Formalising privacy-preserving constraints in microservices architecture | |
| US9208145B2 (en) | Computer-implemented systems and methods for non-monotonic recognition of phrasal terms |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20160615 |
|
| RJ01 | Rejection of invention patent application after publication |