79 Hits in 2.1 sec

Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style [chapter]

Meurig Sage, Chris Johnson
1997 Human-Computer Interaction INTERACT '97  
To demonstrate this, we make use of Haggis, a concurrent functional graphical toolkit. We describe the development of a highly interactive game, from specification to execution, using this system.  ...  Fonnal specifications, of interactive systems, provide a precise and concise means of representing and reasoning about interactive systems.  ...  The me too system was used for executing VDM (Vienna Development Model) specifications, and was based within Lisp (Alexander and Jones, 1990) .  ... 
doi:10.1007/978-0-387-35175-9_24 fatcat:ybrzq7py6nhzldrr3zjp3t42xu

Towards Integrated Cognitive and Interface Analysis

Howard Bowman, Giorgio Faconti, Mieke Massink
2001 Electronical Notes in Theoretical Computer Science  
This paper proposes LOTOS as a syndetic modelling language. We highlight four reasons why syndetic modelling is so difficult and show how the LOTOS notation addresses each of these four reasons. 1  ...  A particularly powerful way to perform such analysis is through syndetic modelling, where both the interface and the chosen cognitive model are described in the same specification framework; allowing the  ...  There is a spectrum of available modelling techniques, see figure 5 , with the two extremes being programming based approaches, such as those typically used to implement cognitive models, e.g. the LISP  ... 
doi:10.1016/s1571-0661(04)80896-x fatcat:nvyhrrlsc5bkzcfsgnagfhmzje

Page 5142 of Mathematical Reviews Vol. , Issue 85k [page]

1985 Mathematical Reviews  
Carchiolo, A. Faro, F. Minissale and G. Scollo, Some topics in the design of the specification language LOTOS (pp. 47-58); Ana R.  ...  Under this assumption, a method of computing network parameters is presented which is based on solving iteratively a system of nonlinear equations for the unknown nodal flow rates.  ... 

Revisiting sequential composition in process calculi

Hubert Garavel
2015 Journal of Logical and Algebraic Methods in Programming  
An alternative approach is proposed, based on a symmetric binary operator and write-many variables.  ...  Feedback gained from university lectures and real-life case studies shows a high acceptance by computer-science students and industry engineers.  ...  Milner, A Calculus of Communicating Systems, Vol. 92 of Lecture Notes in Computer Science, Springer, 1980.  ... 
doi:10.1016/j.jlamp.2015.08.001 fatcat:c3jyidbbvnacvf7gmovonpc4j4

Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages [chapter]

Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada
2018 Lecture Notes in Computer Science  
Many specification and programming languages have adopted term rewriting and pattern matching as a key feature.  ...  To provide for an objective comparison, we developed an open, experimental platform based upon the ideas of the three Rewrite Engines Competitions (2006, 2008, and 2010), which we significantly enhanced  ...  The user time also includes the time needed to parse input files, the time taken by the C compiler for tools that generate C code, the time taken by the Lisp interpreter for tools that generate Lisp code  ... 
doi:10.1007/978-3-319-99840-4_1 fatcat:zt5x4mhun5fdhfbkra6fleoztq

The term processor generator Kimwitu [chapter]

Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
1997 Lecture Notes in Computer Science  
It has already been mentioned that trees or terms are a basic common concept in language-based software.  ...  It is a 'best of both worlds' approach, where one uses a high-level language where possible, and a low-level language where necessary.  ...  This is the core functionality of two large tool environments that have been realized using Kimwitu: the LOTOS [ISO89] tool environment LITE[BvV95] and the SDL Tool environment OpenSITE [Hum] .  ... 
doi:10.1007/bfb0035383 fatcat:2b42s3iqi5afzfilwutuworbna

A front-end generator for verification tools [chapter]

Rance Cleaveland, Eric Madelaine, Steve Sims
1995 Lecture Notes in Computer Science  
This paper describes the Process Algebra Compiler (PAC), a front-end generator for process-algebragbased verification tools.  ...  Given descriptions of a process algebra's concrete and abstract syntax and semantics as structural operational rules, the PAC produces syntactic routines and functions for computing the semantics of programs  ...  Thus each relation includes an agent environment and an id_set environment argument.  ... 
doi:10.1007/3-540-60630-0_8 fatcat:ob6mh6y6y5h4hmmxsqrxejghhu

Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach [chapter]

Hallvard Trætteberg
2003 Lecture Notes in Computer Science  
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts.  ...  By combining a dataflow-oriented language with one focussing on behavior, we get a flexible notation which may be used for different purposes, interaction styles and platforms.  ...  First, we have used the Common Lisp-based CLIM and Garnet toolkits for building an interactor-based GUI-builder, with support for template-based composition of interactor models and live CIOs inside the  ... 
doi:10.1007/978-3-540-39929-2_24 fatcat:rzwzup5rizfnrbiubpw4n2g5gm

Formal support for the ELLA hardware description language [chapter]

Howard Barringer, Graham Gough, Brian Monahan, Alan Williams
1995 Lecture Notes in Computer Science  
In particular, a novel symbolic verification method can be used with the process terms generated from ELLA-text, giving a high level and efficient means of verifying the correctness of ELLA designs.  ...  A formal semantics for ELLA is given using various semantic representations, including state machines and process algebraic terms, so that different formal analysis methods can be used.  ...  A prototype of the compilation, simulation and verification tools based on the formal semantic definitions, is implemented in Common Lisp, and embedded into a hardware design environment, containing text  ... 
doi:10.1007/3-540-60385-9_14 fatcat:hadnepoi6vagdby4pnmq2xojyi

Formal Specification and Verification of Communication in Network-On-Chip: An Overview

Fateh Boutekkouk
2018 International Journal of Recent Contributions from Engineering, Science & IT  
Network-On-Chip (NOC) is an emerging paradigm to surmount traditional bus based Systems-On-Chip (SOC) limits especially scalability and communication performances.  ...  A NOC includes many applications that can execute concurrently. This situation may show some undesirable behaviors such as deadlock, livelock, starvation, etc.  ...  Lotos LOTOS (Language of Temporal Ordering Specification) an ISO standard, is an algebraic language based on temporal ordering of events. LOTOS is used for protocol specification.  ... 
doi:10.3991/ijes.v6i4.9416 fatcat:7fljmcayfvdgpd7v3d4vt7lkvu

Introducing OBJ [chapter]

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
2000 Advances in Formal Methods  
In addition, there is a Franz Lisp OBJ2 done at Washington State University 143]. UMIST-OBJ has been made available as a proprietary software product from Gerrard Software, under the name ObjEx.  ...  OBJ is a wide spectrum rst-order functional language that is rigorously based on (order sorted) equational logic and parameterized programming, supporting a declarative style that facilitates veri cation  ...  is evaluated in a Lisp environment with Lisp variables having names corresponding to the OBJ variables (as usual in Common Lisp, the case, upper or lower, of variables in the Lisp expression is ignored  ... 
doi:10.1007/978-1-4757-6541-0_1 fatcat:p43wswo5drag7fvuxwkkchq4ue

Lotus - a Procedural Environment

James M. Fowler
A LOTOS Manual and the complete MTS-LISP implementation of LOTOS are included as appendices.  ...  environment where variables can assume only executable values, and may be interrogated only through their execution.  ...  However, the LISP implementation of LOTOS allows new primitives to be established easily, as convenience dictates. 5-.  ... 
doi:10.14288/1.0051783 fatcat:w2azifwy6zc2nidnnw373anvte

Feature interaction: the security threat from within software systems

2008 Progress in Informatics  
Usually, this problem manifests itself as conflicting actions of features on a shared context.  ...  security requirements by feature interactions is not different from other types of requirements -what differs is the impact of such violation; and (2) feature interaction detection approaches can be used as a  ...  In the approach proposed by Hall [35] , a language similar to LISP is used to specify foreground and background models.  ... 
doi:10.2201/niipi.2008.5.8 fatcat:kf4zm275jbgazefloqmln6rt7u

A Mathematical Framework for Superintelligent Machines [article]

Daniel J. Buehrer
2018 arXiv   pre-print
It distinguishes which formulas are equivalent, entailed, or unrelated, based on a simplification algorithm that may be thought of as producing a unique pair of Karnaugh maps that describe the rough sets  ...  It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs.  ...  Nested ":" infix operators can be used for a dynamically nested Lisp-like environment of names and their values.  ... 
arXiv:1804.03301v1 fatcat:nofcd7pfkjhmdhtiihkebostbu

An automated approach to specification animation for validation

Shaoying Liu, Hao Wang
2007 Journal of Systems and Software  
We present a case study applying the tool to animate a formal specification for a library system and evaluate its result.  ...  The tool extracts automatically functional scenarios from a specification and generates a message sequence chart for each of them for a syntactic level analysis.  ...  The tool is known as ANGOR, and it offers an environment based on a flexible architecture.  ... 
doi:10.1016/j.jss.2006.12.540 fatcat:ieellpp3ezd3pf6ikjzrcp7nl4
« Previous Showing results 1 — 15 out of 79 results