Results 31 to 40 of about 5,155,579 (288)
On the Execution and Runtime Verification of UML Activity Diagrams
The unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
Mining Hybrid UML Models from Event Logs of SOA Systems
In the paper we consider a method for mining so-called “hybrid” UML models, that refers to software process mining. Models are built from execution traces of information systems with service-oriented architecture (SOA), given in the form of event logs ...
K. V. Davydova, S. A. Shershakov
doaj +1 more source
BackgroundA clinical diagnosis of polycystic ovary syndrome (PCOS) can be tedious with many different required tests and examinations. Furthermore, women with PCOS have increased risks for several metabolic complications, which need long-term health ...
Huiyu Xu +22 more
doaj +1 more source
Tool support for DFD-UML model-based transformations [PDF]
This paper presents a model-based approach that combines the data-flow and object-oriented computing paradigms to model embedded systems. The rationale behind the approach is that both views are important for modelling purposes in embedded systems environments, and thus a combined and integrated usage is not only useful, but also fundamental for ...
Truscan, Dragos +2 more
openaire +2 more sources
An UML profile describes lightweight extension mechanism to the UML by defining custom stereotypes, tagged values, and constraints. They are used to adapt UML metamodel to different platforms and domains.
Andrea Giubergia +3 more
doaj +1 more source
ФОРМАЛЬНІ МЕТОДИ ПОБУДОВИ ДІАГРАМ ЛОГІСТИЧНИХ БІЗНЕС-ПРОЦЕСІВ
This article considers the main methods of the description and creation of charts of business processes. The main methods are the notation of BPMN, languages of the description of BPEL and UML, methodologies of IDEF and ARIS.
О. В. Мелентьєва
doaj +1 more source
Automatic Classification of Web Images as UML Static Diagrams Using Machine Learning Techniques
Our purpose in this research is to develop a method to automatically and efficiently classify web images as Unified Modeling Language (UML) static diagrams, and to produce a computer tool that implements this function. The tool receives a bitmap file (in
Valentín Moreno +3 more
doaj +1 more source
Comprehensive Aspectual UML Approach to Support AspectJ
Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ.
Aws Magableh +2 more
doaj +1 more source
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer
Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani +4 more
wiley +1 more source

