Results 111 to 120 of about 187,911 (271)
Modelling electronic service systems using UML [PDF]
This paper presents a profile for modelling systems of electronic services using UML. Electronic services encapsulate business services, an organisational unit focused on delivering benefit to a consumer, to enhance communication, coordination and ...
Piccinelli, G., Skene, J., Stearns, M.
core
Model‐Based Systems Engineering in Space Applications: A Comprehensive Literature Review
ABSTRACT The growing complexity of space engineering is driving the demand to embrace the adoption of Model‐Based Systems Engineering (MBSE). Although the MBSE is well‐practiced in the space industry, the level of effort and need required to obtain the benefits of MBSE vastly differ across enterprises; this disparity presents a significant challenge to
Rehobot Bekele Buruso +4 more
wiley +1 more source
Extending SysML v2 for Safety ‐ Open‐Source Library for the System‐Theoretic Process Analysis
ABSTRACT Safety challenges in automated transport systems create the need for a strong design and safety coupling. In this regard, the second version of the Systems Modeling Language (SysML v2) offers new integration opportunities with extensibility features such as libraries.
Alexander Ahlbrecht +2 more
wiley +1 more source
Blockchain Ontologies: OCL and REA [PDF]
Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology.
Sfetcu, Nicolae
core
A formal theory of conceptual modeling universals [PDF]
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
Modelling and Refinement in CODA
This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset.
Butler, Michael +6 more
core +2 more sources
Abstract With the increasing application of GenAI in education, researchers and practitioners are paying more and more attention to its effectiveness and impact in teaching and learning. This can be evidenced by the increasing number of literature reviews on this topic published in recent years.
Zhiping Liang +5 more
wiley +1 more source
Background and Purpose Cyclic guanosine monophosphate (cGMP) is a ubiquitous second messenger involved in human (patho‐)physiology. Phosphodiesterase 5 (PDE5) is a major cGMP hydrolyzing enzyme in many cell types including vascular smooth muscle cells (VSMCs). Several highly selective PDE5 inhibitors are in clinical use. However, there are currently no
Kürsat Kirkgöz +8 more
wiley +1 more source
Inhibitors of insulin‐degrading enzyme boost PI cytotoxicity through an increased sensitivity of proteasome to PI inhibitors, induction of ISR, DNA damage and Myc down‐regulation. They overcome PI resistance in vitro and induce tumour regression in vivo.
Laetitia Lesire +28 more
wiley +1 more source
Derived classes as a basis for views in UML/OCL data models [PDF]
UML is the de facto standard language for analysis and design in object-oriented frameworks. Information systems, and in particular information systems based on databases and their applications, rely heavily on sound principles of analysis and design ...
Balsters, H.
core +1 more source

