123 Hits in 3.8 sec

If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems [chapter]

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
1999 Lecture Notes in Computer Science  
Formal Description Techniques (fdt), such as lotos or sdl are at the base of a technology for the specification and the validation of telecommunication systems.  ...  This context motivated the development of an intermediate representation called if which is presented in the paper. if has a simple syntactic structure, but allows to express in a convenient way most useful  ...  simultaneously with compatible ones in other processes of the system (as in lotos): q g → sync −−−−−−−−→ (urg) q 2 one can also define timers (as in sdl) which can be set to any positive value, decrease  ... 
doi:10.1007/3-540-48119-2_19 fatcat:nnhwqtlc6bb53nrfva7ickokfm

Relating architecture and specification

Kenneth J. Turner
1997 Computer networks and ISDN systems  
The approach is discussed in general and by examples, concentrating mainly on an architectural semantics for Open Systems Interconnection in relation to ESTELLE, LOTOS and SDL.  ...  Some LOTOS templates are discussed, mainly for Open Systems Interconnection.  ...  Acknowledgements Most of the work on OSI architectural semantics took place under the chairmanship of the author in FDT sub-group A.  ... 
doi:10.1016/s0169-7552(96)00107-9 fatcat:v3s46bungraqhifzoigtnpr2w4

Constraint-oriented style for object-oriented formal specification

T. Bolognesi, J. Derrick
1998 IEE Proceedings - Software  
Composition is achieved via synchronisation on shared operations: different objects/constraints insisting on an operation express different views on the enabling conditions and effects of that operation  ...  A system description is decomposed into data-handling objects, which usually reflect objects and individual operations in the real system, and temporal-ordering constraints, which capture aspects of functionality  ...  Constraints P and Q share action b, and synchronise on it; similarly, constraints Q and R synchronise on action c. This is analogous to LOTOS process composition.  ... 
doi:10.1049/ip-sen:19986907 fatcat:bw27jl4cyjhzdoqxjsf3zs5mwu

Visualizing actor programs using predicate transition nets

Shakuntala Miriyala, Gul Agha, Yamina Sami
1992 Journal of Visual Languages and Computing  
We then discuss one such proposal, namely the use of Predicate Transition nets, to visualize actor programs.  ...  We believe visual programming techniques are of fundamental importance in addressing powerful concurrent systems of this nature.  ...  However, because of limitations in the underlying LOTOS language, G-Lotos models only a static interconnection topology of processes.  ... 
doi:10.1016/1045-926x(92)90015-e fatcat:lcfx6obd3ngd7aoavzwmbd6xua

Applying formal methods to standard development: The open distributed processing experience

Richard O. Sinnott, Kenneth J. Turner
1995 Computer Standards & Interfaces  
This paper gives an account of these applications, focusing on one application in particular: the development o f a f r a m e w ork for creating standards for Open Distributed Processing (ODP).  ...  The paper concludes that there is no one all-purpose approach w h i c h can be used in preference to all others, but that a combination of approaches is desirable to best ful l the potential of formal  ...  the Formalisation of the ODP Systems Architecture (FORMOSA) project in which British Telecom (BT) is prime contractor.  ... 
doi:10.1016/0920-5489(95)00025-p fatcat:h7y2tojnabel3i4mfyg2c4lnsm

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma
1987 Computer networks and ISDN systems  
In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment.  ...  He has participated to the ISO activities for the definition of LOTOS since 1984, and has collaborated with the University of Twente on the LOTOS part of the ESPRIT project SEDOS, from 1984 to 1987.  ...  Chan for their example of the Daemon Game in LOTOS, which we have included in the paper.  ... 
doi:10.1016/0169-7552(87)90085-7 fatcat:qlq6zheq7jh5vn5xayj6xnojn4

Inference graphs: a computational structure supporting generation of customizable and correct analysis components

L.K. Dillon, R.E.K. Stirewalt
2003 IEEE Transactions on Software Engineering  
The customizability and efficiency of Amalia analyzers owe to a computational structure called an inference graph.  ...  On another level, this paper illustrates how to balance the need for assurance, which typically implies a formal proof obligation, against other design concerns, whose solutions leverage design techniques  ...  Any opinions, findings, and conclusions or recommendations expressed in this article are the authors' and do not reflect views of the sponsoring agencies.  ... 
doi:10.1109/tse.2003.1178052 fatcat:a2zlfno5qzepdcgqyrnpjctoue

On the role of basic design concepts in behaviour structuring

Dick A.C. Quartel, Luís Ferreira Pires, Marten J. van Sinderen, Henry M. Franken, Chris A. Vissers
1997 Computer networks and ISDN systems  
process, and the definition of design operations for behaviour refinement.  ...  The paper discusses how design concepts, such as interaction, action and causality relation, can be used for modelling and structuring behaviours of functional entities in a distributed environment.  ...  This work is partly funded by the Dutch Ministry of Economic Affairs in the Platinum project.  ... 
doi:10.1016/s0169-7552(97)83471-x fatcat:vy7wxyhqv5fzjhextlzvayatva

Verification of properties of interactive components from their executable code

Stéphane Chatty, Mathieu Magnaudet, Daniel Prun
2015 Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS '15  
The djnn framework relies on a theoretical model of interactive software in which applications are described in their totality as hierarchies of interactive components, with no additional code.  ...  Because of this, the structure of the application tree provides significant insights in the nature and behavior of components.  ...  Any contents herein reflect only the authors' views. Neither DGAC not the ARTEMIS JU are liable for any use that may be made of the information contained herein.  ... 
doi:10.1145/2774225.2774848 dblp:conf/eics/ChattyMP15 fatcat:uezoijmkcbf5ndi74p2v6nu2uy

Using User Interface Models in Design [chapter]

Hallvard Trætteberg
2002 Computer-Aided Design of User Interfaces III  
We introduce a framework for classifying user interface design representations, and argue that multiple representations are must be used in the design process, and that modelling languages must support  ...  the transition between them.  ...  In the process of externalization and further formalization, the representation needs to shift from informal to formal, and the medium or language used will need to change.  ... 
doi:10.1007/978-94-010-0421-3_12 fatcat:k3smoiu2jndaddckwho44cuu3i

A design model for open distributed processing systems

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen
1995 Computer networks and ISDN systems  
The proposed concepts are related to, and partially motivated by, the present work on Open Distributed Processing (ODP).  ...  This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems.  ...  The material in Section 8 is based on a specification of the service provider (and a similar protocol) in a timed variant of LOTOS ([2]) by Robert Huis in 't Veld.  ... 
doi:10.1016/0169-7552(94)00031-n fatcat:aq6pxe46kfevvk4yziz72clxlq

Behavioural Models for Group Communications [article]

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
2010 arXiv   pre-print
It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadcasted to all members.  ...  The proposed models are parametric such that, for example, different group sizes or group members could be experimented with the minimum modification of the original model.  ...  In addition to the model-checking and minimization engines, we have used tools for: • exploring interactively the generated behaviour at the level of its Lotos representation (OCIS) • displaying graphically  ... 
arXiv:1010.2824v1 fatcat:jbnapigq4zfx3eomljtpdt7eo4

Modelling and verification of interworking between SIP and H.323

Ligang Wang, Anjali Agarwal, J.William Atwood
2004 Computer Networks  
One is that both protocols work within the same administrative domain, the other one is that both protocols are operating in separate administrative domains.  ...  Using a series of scenarios, it has been shown that the model meets the functional specifications outlined in SIP-H323-Interworking specification documents. iii I would also like to thank my parents and  ...  Besides, standardized formal methods (LOTOS and SDL) have been used on Rigorous Object-Oriented Analysis and Design, which reflects the important of OO methods and the interest in sound and properly structured  ... 
doi:10.1016/j.comnet.2003.12.013 fatcat:qwrvzjbd7jcmfkbua4iqh24h74

A systematic literature review on process model testing: Approaches, challenges, and research directions [article]

Kristof Böhmer, Stefanie Rinderle-Ma
2015 arXiv   pre-print
This systematic review provides a comprehensive overview of the interdisciplinary topic of process model testing.  ...  However, the complexity of the research landscape and the diverse set of approaches and goals impedes the analysis and advancement of research and the identification of promising research areas, challenges  ...  Process algebra, for example, based on LOTOS which is 'one of the most expressive process algebra' [S6, p. 224] is also frequently applied.  ... 
arXiv:1509.04076v1 fatcat:7yx4ksziyfdl3kpnhkjj6wlhei

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications

David Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide
2006 Interacting with computers  
We also present in details how the changes in the interaction techniques impact the models at various levels of the software architecture.  ...  The work presented here extends previous work done on design, prototyping, specification and verification of interactive systems and integrates two previously unrelated approaches.  ...  Special thanks are due to Didier Bazalgette for precise information about the field of command and control systems for military applications.  ... 
doi:10.1016/j.intcom.2006.03.002 fatcat:z6xoousurffuxf37rdar7yxiue
« Previous Showing results 1 — 15 out of 123 results