• Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams 

      Muñoz, Paula; Burgueño, Loli; Vallecillo-Moreno, Antonio Jesus; Gogolla, Martin (2019-09-20)
      This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ...
    • On Softening OCL Invariants 

      Gogolla, Martin; Vallecillo-Moreno, Antonio Jesus (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)
      Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ...