219 research outputs found
Vers un modèle de vérification de la couche logique d'entreprise dans une architecture à 3 couches: modèle CPN-ECA
International audienceThis paper proposes a model for building a flexible system, which accepts and verifies the change on business logic, including both business processes and business rules, while the system has to cover the properties as reliability and reuse. In this model, the business process will be designed with Colour Petri Net and translated into a set of Event-Condition-Action rules, this set will be combined with business rules for checking the respect of a business process to the business rules in design and modifying the process. Hierarchical Colour Petri Net is also used to guarantee the reliability and to reuse properties of the system.Ce document propose un modèle pour la création d'un système flexible, qui accepte et vérifie les modifications apportées à la logique métier, y compris les processus et les règles métier, tandis que le système doit couvrir les propriétés en termes de fiabilité et de réutilisation. Dans ce modèle, le processus de gestion sera conçu avec un réseau Pétri coloré et traduit en un ensemble de règles Event-Condition-Action (ECA). Cet ensemble sera combiné à des règles de gestion permettant de vérifier le respect du processus de gestion par modifier le processus. Un réseau Pétri coloré hiérarchisé est également utilisé pour garantir la fiabilité et pour réutiliser les propriétés du systèm
Music in the Festival of Vietnamese People (Thanh Hoa) - Issues
The article focuses on studying music in festivals of Vietnamese people in Thanh Hoa. Through the collected material, the authors have synthesized, explored the cultural aspects of the composition and analyzed the music. The result of the research is to find out the meaning of music in contributing to the festival\u27s appearance and to find out the operating rules and basic characteristics of music. From there, several discussions are given to preserve and promote music in the festival to achieve higher efficiency in life. The research results are the judgments about the culture and music constituting the overall festival, including (1) Meaning of festival organization; (2) Space and time of the festival; (3) Musical genres and performances in festivals; (4) Musical characteristics. The study also identifies appropriate research methods, and musical analysis techniques are also the basis for making objective judgments. This research will serve as the basis for the research, conservation, and promotion of folk music in larger and more comprehensive aspect
On a Nonlinear Wave Equation of Kirchhoff-Carrier Type: Linear Approximation and Asymptotic Expansion of Solution in a Small Parameter
We consider the Robin-Dirichlet problem for a nonlinear wave equation of Kirchhoff-Carrier type. Using the Faedo-Galerkin method and the linearization method for nonlinear terms, the existence and uniqueness of a weak solution are proved. An asymptotic expansion of high order in a small parameter of a weak solution is also discussed
Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach
International audienceWorkflow verification has been known as an important as-pect of workflow management systems. Many existing approaches con-centrate on ensuring the correctness of workflow processes at the syntac-tic level. However, these approaches are not sufficient to detect errors at the semantic level. This paper contributes to ensure the semantic cor-rectness of workflow processes. First, we propose a formal definition of semantic constraints and an O(n 3)-time algorithm for detecting redun-dant and conflicting constraints. Second, by relying on the CPN Ontology (a representation of Coloured Petri Nets with OWL DL ontology) and sets of semantic constraints, workflow processes are semantically created. And third, we show how to check the semantic correctness of workflow processes with the SPARQL query language
Vers un modèle de vérification de la couche logique d'entreprise dans une architecture à 3 couches: modèle CPN-ECA
International audienceThis paper proposes a model for building a flexible system, which accepts and verifies the change on business logic, including both business processes and business rules, while the system has to cover the properties as reliability and reuse. In this model, the business process will be designed with Colour Petri Net and translated into a set of Event-Condition-Action rules, this set will be combined with business rules for checking the respect of a business process to the business rules in design and modifying the process. Hierarchical Colour Petri Net is also used to guarantee the reliability and to reuse properties of the system.Ce document propose un modèle pour la création d'un système flexible, qui accepte et vérifie les modifications apportées à la logique métier, y compris les processus et les règles métier, tandis que le système doit couvrir les propriétés en termes de fiabilité et de réutilisation. Dans ce modèle, le processus de gestion sera conçu avec un réseau Pétri coloré et traduit en un ensemble de règles Event-Condition-Action (ECA). Cet ensemble sera combiné à des règles de gestion permettant de vérifier le respect du processus de gestion par modifier le processus. Un réseau Pétri coloré hiérarchisé est également utilisé pour garantir la fiabilité et pour réutiliser les propriétés du systèm
Accounting Information Security Control and Satisfaction of Accountants Regarding Accounting Information Systems
This study analyzes the factors affecting accountants’ satisfaction with the accounting information system in Vietnamese enterprises. The research results of this study show that the factors affecting user satisfaction with the accounting information system are directly influenced by four factors: the quality of the accounting workforce, perception of usefulness, system quality, and information quality. The quality of the accounting workforce is the factor that has the greatest direct impact on the accountant’s satisfaction. The second is the perceived usefulness factor. The third is the system quality factor, and the last is the information quality factor. In particular, the results of this study indicate that humans are an important factor. Knowledge of accounting information security control is directly proportional to accountants’ satisfaction with the accounting information system. The results can be used to recommend enterprises improve accountants’ satisfaction, helping to increase work efficiency. Objectives: The main objectives of this study include: (1) Identifying the factors influencing the satisfaction of accountants with the accounting information system in enterprises in Vietnam. (2) Determining the relationship between accounting information security and the satisfaction of accountants with the accounting information system. (3) Providing recommendations to enhance the satisfaction of accountants with the accounting information system in enterprises in Vietnam. Methods: This study uses qualitative and quantitative research. During the qualitative process, this study analyzed related works. Group discussions are used to provide initial assessments of measurement scales, concepts, and research hypotheses and to adjust, supplement, and explore influencing factors. The questionnaire and the research model are reviewed by the experts. Quantitative research involved data collection through survey investigations based on a designed questionnaire via Google Forms. The formal research survey was conducted using a stratified sampling method, encompassing businesses from various sectors. The quantitative research employed the Cronbach Alpha reliability test for the measurement scales, exploratory factor analysis (EFA), confirmatory factor analysis (CFA), and the use of structural equation modeling (SEM) to assess the structural relationships. Descriptive statistics and tests of significance were also utilized. Findings: The results of the study on the factors affecting user satisfaction with an accounting information system are directly influenced by four factors: system quality, information quality, quality of accountants, and perceived usefulness. The quality of the accounting workforce has the greatest direct impact on the accountant’s satisfaction, followed by perceived usefulness, system quality, and information quality factors. Novelty:This study discovered a relationship between knowledge of accounting information security and the level of satisfaction among accountants regarding information technology systems in enterprises in Vietnam. This finding can assist enterprises in implementing strategies to provide more training on accounting information security for their employees. Doi: 10.28991/ESJ-2023-07-05-06 Full Text: PD
Representation of RDF-oriented Composition with OWL DL Ontology
International audienceThis paper introduces a solution for representing RDF-oriented compositions with OWL DL ontologies. Firstly, we present an overview of RDF-oriented Composition Definition Language (RDFCDL), which is defined for creating/composing RDF manipulation operations. Secondly, we propose an approach for representing RDFNet with OWL DL ontology. We focus on translating some key components of the RDFCDL language into classes, properties and axioms of OWL DL ontology
Ensuring the Correctness of Business Workflows at the Syntactic Level: An Ontological Approach
International audienceHigh quality business workflow definitions play an important role in the organization. An incorrectly defined workflow may lead to unexpected results. Therefore, each business workflow definition should be carefully analyzed before it is put into use. In this paper, we propose an ontological approach which is suitable for ensuring the syntactic correct-ness of business workflows. In details, to represent CPNs with OWL DL, we first introduce the CPN Ontology. Then, we define axioms, which are added to the CPN Ontology to provide automated support for establishing the correctness of business workflows. Finally, by relying on the CORESE semantic engine, SPARQL queries are implemented to detect shortcomings in concrete workflows. To the best of our knowledge, this is a novel approach for the representation and verification of business workflows based on ontologies
Coloured Petri Nets-based Approach for Manipulating RDF Data
International audienceThis paper introduces a solution for controlling RDF data manipulation operations. We propose a formal approach to manage any modification, query or adaptation of the data to satisfy end-user/application criteria (e.g., RDF filtering). An overview of the RDF data manipulation framework with its main components is first presented. We then introduce the RDF-oriented Composition Definition Language (RDFCDL) including the syntax and its graphical representations defined based on CPNs. The language aims to support both expert and non-expert developers to create/compose RDF manipulation operations. Besides, an ontology for representing processes modelled with the RDFCDL language is developed in order to share and reuse the processes more easily. To the best of our knowledge, this is the first approach providing a means for end-users to create activity nodes over RDF data based upon system-defined functions and allowing manipulating processes to be stored in RDF file format
- …