A Rule-Based Language for Integrating Business Processes and Business Rules

International audienceBusiness process modeling has become a popular method for improving organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling languages. This paper proposes a formal language, Event-Condition-Action-Event (ECAE), for integrating Colored Petri Nets (CPN)-based business process with a set of business rules. We automate the integration process for validating the business process model. The ECAE language has several important features: its reasoning capabilities, its ability to express complex actions and events, and its declarative semantics. By enabling simulation of business process behavior, the reasoning capabilities facilitate the early detection of flaws The widespread use of business process modeling has helped enterprises to design, control and analyze many operational processes. Unfortunately, syntactic and semantic inconsistencies often appear in business process models, especially as the complexity of the models increases. Flaw detection and automation are essential for ensuring cost-effective and correct process models. The challenge for system designers is to build a flexible intelligent system, which accepts and verifies the change on business process and business rules automatically. The business process must be integrated with a set of business rules, and a correspondence between the process and the rules must be created. This must be flexible since the business process and the business rules may be modified during runtime. The verification should be a rule-based system, which can reason and deduce new knowledge or a new decision based on a set of rules and facts. This paper proposes a formal language ECAE for business process modeling, which takes advantage of both the graphical representation of colored Petri nets and the easy to represent ECA rule. It designs a business process model through CPN and translate

Decomposing ontology in Description Logics by graph partitioning

International audienceIn this paper, we investigate the problem of decomposing an ontology in Description Logics (DLs) based on graph partitioning algorithms. Also, we focus on syntax features of axioms in a given ontology. Our approach aims at decomposing the ontology into many sub ontologies that are as distinct as possible. We analyze the algorithms and exploit parameters of partitioning that influence the efficiency of computation and reasoning. These parameters are the number of concepts and roles shared by a pair of sub-ontologies, the size (the number of axioms) of each sub-ontology, and the topology of decomposition. We provide two concrete approaches for automatically decomposing the ontology, one is called minimal separator based partitioning, and the other is eigenvectors and eigenvalues based segmenting. We also tested on some parts of used TBoxes in the systems FaCT, Vedaall, tambis, ... and propose estimated results.Dans cet article, nous étudions le problème de la décomposition d'une ontologie dans les logiques de description (DL) basés sur des algorithmes de partitionnement de graphe. Nous nous concentrons sur les particularités de syntaxe d'axiomes dans une ontologie donnée. Notre approche vise à décomposer l'ontologie dans un nombre d'ontologies telles qu'elles soient les plus distincts que possible. Nous analysons les algorithmes et exploitons les paramètres de partitionnement qui influencent l'efficacité du calcul et du raisonnement. Ces paramètres sont : le nombre de concepts et rôles partagés par une paire de sous-ontologies, la taille en nombre d'axiomes, de chaque sous-ontologie, et la topologie de la décomposition. Nous proposons deux approches concrètes pour décomposer automatiquement l'ontologie, l'une appelée "partitionnement par séparateur minimal" et l'autre appelée "partitionnement par vecteurs et valeurs propres" sur la base de segmentation. Enfin, nous avons effectué une évaluation de ces algorithmes sur certaines parties de TBoxes utilisées sur le moteur d'inférence FaCT : Vedaall, tambis, ... et étudié des résultats obtenus

Ontology-Based Workflow Validation

International audienceIn order to ensure a workflow to be executed correctly, many approaches were introduced. But not many of them consider the semantic correctness of the workflow in the design time and the run time. In this paper, a solution to check the semantic correctness of the workflow automatically is presented. To do that, the workflow must be represented in a machine understandable form, an ontology-based approach to represent a workflow is proposed. In addition, we also provide a set of changed operations allowing the users to customize a workflow for using in their organizations. Their change can be made while ensuring the correctness of the workflow. Moreover, a verification method is proposed for checking the semantic correctness of workflow

Decomposing ontology in Description Logics by graph partitioning

In this paper, we investigate the problem of decomposing an ontology in Description Logics (DLs) based on graph partitioning algorithms. Also, we focus on syntax features of axioms in a given ontology. Our approach aims at decomposing the ontology into many sub ontologies that are as distinct as possible. We analyze the algorithms and exploit parameters of partitioning that influence the efficiency of computation and reasoning. These parameters are the number of concepts and roles shared by a pair of sub-ontologies, the size (the number of axioms) of each sub-ontology, and the topology of decomposition. We provide two concrete approaches for automatically decomposing the ontology, one is called minimal separator based partitioning, and the other is eigenvectors and eigenvalues based segmenting. We also tested on some parts of used TBoxes in the systems FaCT, Vedaall, tambis, ... and propose estimated result

Measurement of neutron flux and gamma dose rate distribution inside a water phantom for Boron Neutron Capture Therapy study at Dalat Research Reactor

Exposure dose rate to the tumor and surrounding cells during neutron beam irradiation in Boron Neutron Capture Therapy (BNCT) comes not only from heavy charged particles produced from the 10B(n,α)7Li nuclear reaction, but also from neutron-induced reactions with other biological elements in living tissue, as well as from gamma rays leaked from the reactor core. At Dalat Research Reactor, Vietnam, the neutron and gamma dose rate distribution inside a water phantom were measured by using activation method and Thermoluminescent Dosimeter (TLD) detector, respectively. The results showed that effective thermal neutron dose rate along the center line of the water phantom had a maximum value of 479 mSv h-1 at 1 cm in phantom and then decreases rapidly to 4.87 mSv h-1 at 10 cm. The gamma dose rate along the center line of the water phantom also reach its maximum of 4.31 mSv h-1 at 1 cm depth and decreases to 1.16 mSv h-1 at 10 cm position. The maximum biological tumor dose rate was 1.74 Gy-eq h-1, not high enough to satisfy the treatment requirement of brain tumors. However, the results of this work are important in supporting of BNCT study in the upcoming stages at Dalat Research Reactor

Hybrid OFDM RoF-Based WDM-PON/MMW Backhaul Architecture For Heterogeneous Wireless Networks

In this paper, a hybrid backhaul architecture, which is based on wavelength-division multiplexing passive optical networks (WDM-PON) and millimeter-wave (MMW) communications, is proposed to deliver orthogonal frequency-division multiplexing (OFDM) signals in heterogeneous wireless networks. MMW radio-over-fiber (RoF) technique, which combines the advantages of the both optical fiber and wireless communications, is used to simplify the base stations and provide flexibility long reach and high capacity connections. The feasibility of the proposed hybrid backhaul architecture is investigated via the bit-error rate (BER) performance of a downlink under the impacts of fiber nonlinear, wireless fading and noise components including clipping noise, amplifier noise and photodetector noise. The numerical results obtained from this study help to determine the optimum system parameters such as the optical launched power, modulation index, and amplifier gain so as to minimize the link’s BER

Assessment of impacts of utilization on water resources in the basin of trans-boundary Red river system

The Red river system is the large trans-boundary river system, there has been no united system of hydrology stations as well as integrated plan for the water use and management in the whole basin. The trend of water resources change in the Red river system basin has been assessed on the basic of statistic analyses of data observed during the studies, especially in the time when the exploitation of water resources has been intensified for the multisectoral development. This paper shows some of the results from considerations of the water use in the highlands that is influential in water resources in the Red river system basin and the planned reservoirs which are built in the basin of Red river system. The results include the assessment of the state and trend of water resources in the Red river system basin, the trend of water level lowering in the lowlands and its impacts

Study on spatial distribution of coral reefs in Nam Yet island by using GIS and remote sensing techniques

Research and application of GIS and remote sensing techniques combined with field survey in coastal areas of Nam Yet island had been carried out to establish the distribution map of submarine habitats. Depth-invariant index was used to correct water column’s effects on spectral reflectance of each habitat. The results of satellite image classification showed that area with well-developed coral at great depths accounted for 12%, area with well-developed coral at small depths accounted for 9%, area with poorly-developed coral accounted for 13%, dead coral area accounted for 15% and area of sand, grit, pebbles and weathered coral accounted for 51%. The assessment after classification showed that the overall accuracy of the satellite image interpretation process was 94% and the kappa coefficient was 0.93