• LOTOS

  • Referenced in 150 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS is a specification language that has been ... distributed, concurrent systems in general. In LOTOS a system is seen ... with each other and with their environment. LOTOS is expected to become an ISO international...
  • E-LOTOS

  • Referenced in 25 articles [sw03017]
  • 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 ... give mappings from UML constructs to E-LOTOS. Emphasis is placed on dealing with...
  • LOTOSphere

  • Referenced in 9 articles [sw14748]
  • LOTOSphere: Software Development with LOTOS. LOTOS (Language Of Temporal Ordering Specification) became an international standard ... This history of the use of LOTOS made it apparent that more advantages than ... formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project ... that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b,GS90] is a compiler that translates ... LOTOS specification into executable code that can be used to explore ... Taking as input filename.lotos, which contains a LOTOS specification, optionally accompanied by filename.h, which provides ... types and functions implementing the LOTOS sorts and operations defined in filename.lotos, caesar performs successive...
  • Exp.Open

  • Referenced in 10 articles [sw07702]
  • operators from several process algebras (Ccs, Csp, Lotos, E-Lotos, μ Crl).Second, together with...
  • LNT2LOTOS

  • Referenced in 5 articles [sw20418]
  • Reference Manual of the LNT to LOTOS Translator. This report defines the LNT language, which ... simplified variant of E-LOTOS (International Standard ISO-15437:2001). In a nutshell, LNT provides ... same expressiveness as LOTOS, but has more user-friendly and regular notations borrowed from imperative ... functional programming languages. In particular, unlike LOTOS, the data type and process parts...
  • TURTLE-P

  • Referenced in 5 articles [sw10561]
  • distributed systems. The timed UML and RT-LOTOS environment, or TURTLE for short, extends ... with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal ... formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with...
  • LOEWE

  • Referenced in 2 articles [sw29143]
  • LOEWE: A LOTOS Engineering Workbench. LOEWE is an integrated tools environment for the specification, analysis ... primarily based on the formal description technique LOTOS, LOEWE additionally offers multiple, semantically equivalent representations ... system verification. LOEWE currently contains a LOTOS syntax and static semantic verifier, a generator ... compiler to generate C code from LOTOS behavior expressions, a translator of LOTOS abstract data...
  • Topo

  • Referenced in 1 article [sw18605]
  • Topo (Toolset for Product Realisation with Lotos). Topo is a front-end to a variety ... Lotos tools. These include glad (General Language to Annotate Data, data compilation), ildi (Interactive Lotos ... Data Interpreter, data analyser), lfe (Lotos Front End, syntax analyser), lola (Lotos Laboratory, simulation...
  • DAFY

  • Referenced in 1 article [sw26938]
  • Compiler (DAFY). A time extended version of LOTOS , denoted Timed LOTOS, is proposed ... time domain is supported as well. Timed LOTOS incorporates a notion of urgency which ... maximal progress or minimum delay property. Timed LOTOS processes have also some pleasing properties such ... capability of performing an action). In Timed LOTOS the delay operator is powerful because...
  • TTool

  • Referenced in 1 article [sw10560]
  • TURTLE Toolkit). TURTLE (Timed UML and RT-LOTOS Environment) is a real-time UML profile ... formally defined by a translation into RT-LOTOS. Formal verification and simulation of a TURTLE ... translating a TURTLE diagram into a RT-LOTOS specification and using RTL for the generation...
  • KORRIGAN

  • Referenced in 1 article [sw24328]
  • tools, a specification library, a parser library, LOTOS generation and object-oriented code generation...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • M-TREE

  • Referenced in 13 articles [sw02565]
  • Secure processor architectures enable new sets of applications...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • IF-2.0: A validation environment for component-based...