Results 51 to 60 of about 14,072 (220)

Validating BPEL Specifications using OCL [PDF]

, 2004
This report gives a UML model of the structure for a BPEL document and provides a formal version of each informal constraint using the Object Constraint Language (OCL). Given this formalisation of the constraints, it is possible, using tools developed at
Akehurst, David H.
core  

Report on the Aachen OCL Meeting [PDF]

CoRR, 2013
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language.
Achim D. Brucker, Dan Chiorean, Tony Clark 0001, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff   +8 more
openaire   +3 more sources

Pregnancy‐related effect on elexacaftor, tezacaftor and ivacaftor pharmacokinetics in women with cystic fibrosis

British Journal of Clinical Pharmacology, EarlyView.
Aim The number of pregnancies among women with cystic fibrosis (wwCF) has steadily increased over the past decade. However, the pharmacokinetics (PK) of elexacaftor–tezacaftor–ivacaftor (ETI) during gestation remains uncharacterized, despite its widespread use in this population.
Paulette Magnas, Naim Bouazza, Frantz Foissac, Saïk Urien, Léo Froelicher‐Bournaud, Gabrielle Lui, Victoria Guillemart, Nicolas Carlier, Jennifer Da Silva, Johanna Fesenbeckh, Reem Kanaan, Isabelle Honoré, Clémence Martin, Jean‐Marc Treluyer, Vassilis Tsatsaris, Pierre‐Régis Burgel, Sihem Benaboud   +16 more
wiley   +1 more source

Green and sustainable synthesis of magnetite from copper slag via citrate complexation for methylene blue dye removal from water

The Canadian Journal of Chemical Engineering, EarlyView.
Abstract This study proposes a novel, green, and sustainable method for synthesizing magnetic iron oxides from metallurgical copper slag (CS), leveraging its iron content as a valuable resource. Iron was extracted via acid leaching using edible citric acid (ECA), forming a citrate–iron complex (CSL), which was subsequently thermally decomposed at 300°C
Melisa Portilla‐Sangabriel, Karen Valencia García, Tania‐Ariadna García‐Mejía, Agileo Hernández‐Gordillo, Rosa‐María Ramírez‐Zamora   +4 more
wiley   +1 more source

OCL meets CTL: Towards CTL-Extended OCL Model Checking [PDF]

, 2013
In software modeling, the Object Constraint Language (OCL) is an important tool to specify properties that a model has to satisfy. The design of OCL reflects the structure of MOF-based modeling languages like UML and the tight integration results in an ...
Seidl, Martina, Kaufmann, Petra, Gabmeyer, Sebastian, Bill, Robert   +3 more
core  

Incidence of Coexisting Talar and Tibial Osteochondral Lesions Correlates With Patient Age and Lesion Location

Orthopaedic Journal of Sports Medicine, 2018
Background: The incidence of coexisting osteochondral lesions (OCLs) of the tibia and talus has been negatively correlated with successful clinical outcomes, yet these lesions have not been extensively characterized.
Rebecca M. Irwin MS, Yoshiharu Shimozono MD, Youichi Yasui MD, Robin Megill MPH, Timothy W. Deyer MD, John G. Kennedy MD, MCh, MMsc, FFSEM, FRCS(Orth)   +5 more
doaj   +1 more source

Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

IEEE Access, 2018
Model-driven engineering is a methodology for software development that focuses on the use of models in the software development process. These models can be transformed into code, saving developers both time and effort.
Asadullah Shaikh, Uffe Kock Wiil
doaj   +1 more source

Ruxolitinib Pharmacokinetics and Exposure–Toxicity Relationship in Hematologic Malignancies and Immune‐Mediated Diseases: A Prospective Observational Study

Clinical Pharmacology &Therapeutics, EarlyView.
Ruxolitinib pharmacokinetics (PK) has been characterized in clinical trials but remains poorly documented in real‐world practice. This project aimed to investigate ruxolitinib PK in routine clinical practice, identify factors driving its variability, and explore exposure–response relationships to assess the potential role of therapeutic drug monitoring.
Jérémie Tachet, Sara C. Meyer, Francesco Grandoni, Emmanuel Haefliger, Monika Nagy‐Hulliger, Jörg P. Halter, Jakob R. Passweg, David Haefliger, Carine Bardinet, Laurent A. Decosterd, Monia Guidi, François R. Girardin   +11 more
wiley   +1 more source

INVESTIGATION OF CONTACT PENDANTS C-2C-3, YC120-2CS150 AND YC150-2CS150 TYPES

Nauka ta progres transportu, 2008
The paper presents the OCL tests that have been carried out from the year1994 inthe PKP’s infrastructure, and which aim at construction of an OCL adapted for high speeds.
M. Kanaevski, A. Roek, A. Bialonj
doaj  

Factors influencing outcome satisfaction after cataract surgery: patient-reported insights from the RayPro database

BMC Ophthalmology
Background Patient-reported outcome measures (PROMs) have become crucial in assessing cataract surgery, especially with increasing patient expectations. The RayPro database offers a platform for tracking PROMs after surgery.
Josefina Botta, Allon Barsam, Andrzej Dmitriew, Roger Zaldivar, William F. Wiley, Stanley Windsor   +5 more
doaj   +1 more source