About
15
Publications
98
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
75
Citations
Introduction
Skills and Expertise
Publications
Publications (15)
en este artículo se pasa revista a conceptos aparentemente sencillos como ¿confianza¿ o ¿seguridad¿ y a su significado en un entorno como el actual en el que las personas físicas realizan transacciones a través de la Red, ya sea entre ellas, con empresas o con Administraciones Públicas. Se analiza la caracterización de estos individuos como sujetos...
The Lotosphere project has focused on developing both a methodology and a tool set for making the use of LOTOS industrially effective in product development. The methodology (which is described in Chapters 2 and 3) and the tools are strongly coupled, each tool having its room in the methodology as indicated in chapter 1. In this chapter we shall co...
The scope of this work is the industrial application of the Lotosphere methodology for distributed system design. The operational aspects of the Lotosphere methodology are described in [D02].
LOTOS behaviour semantics are usually presented in a declarative style that permits to evaluate which events are possible at each stage, and which is the behaviour after an event occurs. In order to generate code that implements these operational semantics, an imperative model is very convenient for efficiency. A virtual machine (β-machine for LOTO...
This paper focuses on the process of generating test suites for conformance testing. It aims to formalize the stages that go from a formal specification, through test purpose definition, into a test suite. We shall provide a language to formalize test purposes, and an algorithm that permits to merge the reference specification, plus the test purpos...
An abracadabra protocol entity is implemented in a PC running MS-DOS. The protocol was initially specified using LOTOS. After annotating it to add implementation details, a LOTOS to C compiler, TOPO, is used to generate code. This code is ported to a PC. The result is an autonomous system that will be used to demonstrate conformance testing scenari...
During the years 1981-7, experts from the ISO/TC97/SC21/WG1 ad hoc
group on FDT (formal description techniques) subgroup C developed a
very-high-level specification language for open distributed systems,
called the LOTOS (language of temporal ordering specification). Its high
level of abstractness precludes a direct compilation. An architectural
ov...
Spanish is a language with very precise and regular orthographic rules. A syllabication algorithm strictly based on syntactic analysis, not requiring any semantic knowledge, is presented and further extended to include hyphenation. Algorithms are presented as pattern matching schemata, and efficient implementations are considered.
In a LOTOS specification there are many types that are build from more basic ones. The operations allowed for types are presented with plenty of examples.
