No abstract

No abstract

As the success of information system projects and their development also relies on the knowledge of domain experts, the modelled processes should be presented to them for validation purposes before the implementation stage. Domain experts do not have the knowledge of business process modelling notations. Therefore, the validation may not be correct. However, they better understand structured natural language, such as SBVR that defines the meaning of business concepts and make them unambiguously understandable by human experts and also by software systems. The solution presented in this paper allows transforming BPMN 2.0 business process models into SBVR business vocabularies and business rules. This solution is implemented as a plug-in and is available in the MagicDraw CASE tool. An experimental evaluation of the proposed solution with three domain areas proved that SBVR business vocabulary and business rules could be fully obtained from BPMN 2.0 business process model when certain requirements for BPMN 2.0 business process model are met. The advantages of the solution are an automatic transformation for various BPMN modelling situations, tracing links between two models in one modelling environment and avoidance of necessity to use linguistic techniques.

The Object Management Group (OMG) has put considerable effort into the standardization of various business modeling aspects within the context of model-driven systems development. Indeed, the Business Process Model and Notation (BPMN) is now arguably the most popular process modeling language. At the same time, the Semantics of Business Vocabulary and Business Rules (SBVR), which is a novel and formally sound standard for the specification of virtually any kind of knowledge using controlled natural language, is also gaining its grounds. Nonetheless, the integration between these two very much related standards remains weak. In this paper, we present one such integration effort, namely an approach for the extraction of SBVR process rules from BPMN processes. To accomplish this, we utilized model-to-model transformation technology, which is one of the core features of Model-Driven Architecture. At the core of the presented solution stands a set of model transformation rules and two algorithms specifying the formation of formally defined process rules from process models. Basic implementation aspects, together with the source code of the solution, are also presented in the paper. The experimental results acquired from the automatic model transformation have shown full compliance with the benchmark results and cover the entirety of the specified flow of work defined in the experimental process models. Following this, it is safe to conclude that the set of specified transformation rules and algorithms was sufficient for the given scope of the experiment, providing a solid background for the practical application and future developments of the solution.

Thiazole derivatives attract the attention of scientists both in the field of organic synthesis and bioactivity research due to their high biological activity. In the present study, thiazole ring was obtained by the interaction of 1-(4-(bromoacetyl)phenyl)-5-oxopyrrolidine-3-carboxylic acid with thiocarbamide or benzenecarbothioamide, as well as tioureido acid. A series of substituted 1-(3-(1,3-thiazol-2-yl)phenyl)-5-oxopyrrolidines with pyrrolidinone, thiazole, pyrrole, 1,2,4-triazole, oxadiazole and benzimidazole heterocyclic fragments were synthesized and their antibacterial properties were evaluated against Gram-positive strains of Staphylococcus aureus, Bacillus cereus, Listeria monocytogenes and Gram-negative Pseudomonas aeruginosa, Escherichia coli and Salmonella enterica enteritidis. The vast majority of compounds exhibited between twofold and 16-fold increased antibacterial effect against the test-cultures when compared with Oxytetracycline.