In the past recent years, I have been using string diagrams to teach basic category theory (adjunctions, Kan extensions, but also limits and Yoneda embedding). Using graphical notations is undoubtedly joyful, and brings us close to other graphical syntaxes of circuits, interaction nets, etc... It saves us from laborious verifications of naturality, which is built-in in string diagrams. On the o...

StateCharts are well accepted for embedded systems specification for various applications. However, for the specification of complex systems they have several limitations. In this article, we present a novel approach to efficiently execute an UML 2.0 subset for embedded realtime systems implementation with focus on hardware interrupts, software exceptions, and timeouts. We introduce a UML Virtu...

All pairwise interactions occurring between bases which could be detected in three-dimensional structures of crystallized RNA molecules are annotated on new planar diagrams. The diagrams attempt to map the underlying complex networks of base-base interactions and, especially, they aim at conveying key relationships between helical domains: co-axial stacking, bending and all Watson-Crick as well...

Minimally Adequate Synthesizer (MAS) is an interactive algorithm that synthesizes UML statechart diagrams from sequence diagrams. It follows Angluin’s framework of minimally adequate teacher to infer the desired statechart diagram by consulting the user. To minimize the consultations needed, MAS keeps track of the interaction with the user. Together with its general knowledge about sequence dia...

There are obvious ways in which text and diagrams within a document should be coordinated: for instance, the placement of a diagram might influence the wording of the text. However, there is a more subtle interaction between text and diagrams, which has emerged from work on generating technical documents that make extensive use of layout. Constituents that would normally be classified as textua...

This paper presents an approach to generating tests for adequately exercising interaction between aspects and classes based on aspect-oriented UML models. In this approach, an aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. Since methods of classes and advices of aspects are both specified by sequence diagrams, the advices on a given method can be weave...

Object-oriented methodologies are often used for developing highly reliable systems. In object-oriented methodologies, state transition diagrams and event trace diagrams are used to describe the system behavior. The state transition diagram describes the behavior of each object while the event trace diagrams describes inter-object behavior. Event trace diagrams may include the timing order of o...

All pairwise interactions occurring between bases which could be detected in three-dimensional structures of crystallized RNA molecules are annotated on new planar diagrams. The diagrams attempt to map the underlying complex networks of base–base interactions and, especially, they aim at conveying key relationships between helical domains: co-axial stacking, bending and all Watson–Crick as well...

clopidogrel, an inhibitor of platelet aggregation, selectively inhibits the binding of adenosine diphosphate (adp) to its platelet receptor and the subsequent adp-mediated activation of the glycoprotein gpiib/iiia complex, thereby inhibiting platelet aggregation. oral bioavailability of clopidogrel is very low (less than 50%), due to its poor water solubility. the aim of this investigation was ...

In this paper, we will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does not propose major enhancements or completely new diagrams but instead it relies on existing UML elements that are part of the standard. This conformity with the base UML is a major advantage of the idea as it prevents a...