Use of E-LOTOS in adding formality to UML. E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover inconsistencies in, UML models. As part of this work, we give mappings from UML constructs to E-LOTOS. Emphasis is placed on dealing with UML use case, class and interaction diagrams as these play the dominant part in the development of a UML analysis or high-level design model. Requirements are usually inconsistent and incomplete and we deal with how this can be modelled in a formal language.

References in zbMATH (referenced in 25 articles , 1 standard article )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  2. Garavel, Hubert: Revisiting sequential composition in process calculi (2015)
  3. Garavel, Hubert; Lang, Frédéric; Mateescu, Radu: Compositional verification of asynchronous concurrent systems using CADP (2015)
  4. Keiren, Jeroen J. A.: Benchmarks for parity games (2015) ioport
  5. Mateescu, Radu; Salaün, Gwen: PIC2LNT: model transformation for model checking an applied pi-calculus (2013)
  6. Mateescu, Radu; Serwe, Wendelin: Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols (2013) ioport
  7. Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark: A linear process-algebraic format with data for probabilistic automata (2012)
  8. Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael: A database approach to distributed state-space generation (2011)
  9. Garavel, Hubert; Lang, Frédéric; Mateescu, Radu; Serwe, Wendelin: CADP 2010: a toolbox for the construction and analysis of distributed processes (2011)
  10. Hermanns, Holger; Katoen, Joost-Pieter: The how and why of interactive Markov chains (2010)
  11. Blom, Stefan; van de Pol, Jaco: Symbolic reachability for process algebras with recursive data types (2008)
  12. Mateescu, Radu; Monteiro, Pedro T.; Dumas, Estelle; de Jong, Hidde: Computation tree regular logic for genetic regulatory networks (2008)
  13. Lang, Frédéric: Refined interfaces for compositional verification (2006)
  14. Loghi, Mirko; Margaria, Tiziana; Pravadelli, Graziano; Steffen, Bernhard: Dynamic and formal verification of embedded systems: A comparative survey (2005)
  15. Meseguer, José; Roşu, Grigore: Rewriting logic semantics: from language specifications to formal analysis tools (2004)
  16. Robinson, Peter; Shankland, Carron: Combating infinite state using Ergo (2003)
  17. Garavel, Hubert; Lang, Frédéric: NTIF: A general symbolic model for communicating sequential processes with data (2002)
  18. Hermanns, Holger: Interactive Markov chains. And the quest for quantified quality (2002)
  19. D’Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric: MoDeST --- a modelling and description language for stochastic timed systems (2001)
  20. Romijn, Judi: A timed verification of the IEEE 1394 Leader election protocol (2001)

1 2 next