934 Hits in 3.5 sec

Formal support for design techniques: a Timethreads-LOTOS approach [chapter]

D. Amyot, F. Bordeleau, R. J. A. Buhr, L. Logrippo
1996 IFIP Advances in Information and Communication Technology  
Tools used include LOLA for analysis and design testing, LMC for checking temporal logic properties, and GOAL for checking reachability of actions.  ...  The ISO standard FDT (Formal Description Technique) LOTOS (ISO, 1988) is used in this project for formal analysis and validation purpose. The reasons for choosing LOTOS are multiple.  ...  Goal-oriented execution ) is a LOTOS execution mode that directs execution to see whether certain action sequences can be achieved.  ... 
doi:10.1007/978-0-387-34945-9_5 fatcat:2x2fzjqcvzdopd5vjgl5eqiiqm

Feature Interaction Detection using Backward Reasoning with LOTOS [chapter]

Bernard Stepien, Luigi Logrippo
1995 IFIP Advances in Information and Communication Technology  
This is is implemented in LOTOS by a combination of backward and forward execution. A tool to help carry out backward execution is presented.  ...  The method proposed involves specification of the features in LOTOS, and uses an analysis technique called backward reasoning.  ...  Goal-oriented execution can be used to facilitate the process.  ... 
doi:10.1007/978-0-387-34867-4_5 fatcat:4og5obd42jc2vpxoak2g6isl5e

Optimization of Business Processes in Service Oriented Architecture

Andrzej Ratkowski, Krzysztof Sacha, Andrzej Zalewski
2012 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops  
This paper describes a method for the implementation and optimization of business processes in a service oriented architecture (SOA).  ...  When the design goals have been reached, the transformed BPEL process can be executed on a target SOA environment using a BPEL engine.  ...  Our goal is to speed-up execution of the process in Fig. 2 . One way to reach the goal is by parallelizing the execution of ass1 and <if> activities.  ... 
doi:10.1109/edocw.2012.16 dblp:conf/edoc/RatkowskiSZ12 fatcat:dn75enem45g3xgf4zqpqry2rnm

A Comparative Study of Formal Approaches for Web Service Oriented Architecture

Meftah Mohammed Chara Eddine
2020 Network and Communication Technologies  
The security in web service oriented architecture (WSOA) development has become a critical need and goal.  ...  Many languages allow expression of executable processes to implementing web services orchestration.  ...  It translates LOTOS to C by generating an implementation for all the sorts and operations defined in a LOTOS specification. -Caesar is a compiler for the control part of LOTOS.  ... 
doi:10.5539/nct.v5n2p15 fatcat:nznrz2b6xvhatlxaz5qjgn3vpe

Rigorous object-oriented analysis [chapter]

Ana M. D. Moreira, Robert G. Clark
1994 Lecture Notes in Computer Science  
method for objectoriented analysis that we call the Rigorous Object-Oriented Analysis method (ROOA).  ...  As LOTOS produces executable specifications, prototyping can be used to check the conformance of the specification against the original requirements and to detect inconsistencies, omissions and ambiguities  ...  Reasons for Choosing LOTOS As our goal is to integrate formal description techniques with object-oriented analysis methods so that they can be used by software engineers, we believe that the chosen formal  ... 
doi:10.1007/bfb0014017 fatcat:q5q77dv7enc2fh6v2vur4wznry

The lotos model of a fault protected system and its verification using a petri net based approach [chapter]

Michel Barbeau, Gregor Bochmann
1992 Lecture Notes in Computer Science  
Having introduced a novel Petri net based method for the verification of Lotes specifications [Barb 90a], this paper demonstrates its practical interest.  ...  In contrast to finite automata based methods, our method can analyse Lotos systems with unbounded state spaces. Our method is founded on a Place/Transitionnet Lotos semantics.  ...  The authors thank the members of this project for many fruitful discussions.  ... 
doi:10.1007/3-540-55179-4_11 fatcat:i53durusvnatbmv32b5z6oqnzu

FDT based development of an interworking unit between LANs and X.25 networks [chapter]

J. C. Yelmo, F. J. Carrasco, C. Sánchez, J. J. Gilt, C. Ramos, M. I. Felipet
1995 IFIP Advances in Information and Communication Technology  
The MEDAS project was devoted to the elaboration of methodological guidelines for the design of communication systems based on the use of FDTs, pa.rticularly LOTOS and SDL, a.nd their relationship with  ...  object oriented techniques a.nd industrial-strength software development methods.  ...  is responsible for processing the events which a.ffect a. specific da.ta. link connection for connection-oriented procedures.  ... 
doi:10.1007/978-0-387-34878-0_9 fatcat:epaae4tfrnfq3m6dcfp2d44qxq

Generation of test purposes from Use Case Maps

Daniel Amyot, Luigi Logrippo, Michael Weiss
2005 Computer Networks  
A test purpose is composed of a test goal (a partiallyordered sequence of events) and of an expected test verdict (pass for an acceptance test, and fail for a rejection test).  ...  The first approach is based on testing patterns, the second one on UCM scenario definitions, and the third one on transformations to formal specifications (e.g., in LOTOS).  ...  execution.  ... 
doi:10.1016/j.comnet.2005.05.006 fatcat:bie36tsy3zc5xj7xv7efr3btxa

Representation and use of task knowledge in a user interface design environment

P. Markopoulos, S. Wilson, P. Johnson
1994 IEE Proceedings - Computers and digital Techniques  
Formal specification languages may be used to provide a precise description of TKS models and to assist in their validation; the use of LOTOS for this purpose is demonstrated.  ...  A software demonstrator for Adept provides a graphical environment where a task model is used to derive an interface model, which may be further refined to produce an executable prototype.  ...  markUndevelopedFilm; exit endproc (* TakeShot *) Task performance unfolds as subgoals are satisfied to enable the execution of subsequent sub-goals.  ... 
doi:10.1049/ip-cdt:19949996 fatcat:clc2cssmpvclzlxkncroyw22bm

(E)-Lotos: (Enhanced) Language of Temporal Ordering Specification [chapter]

Kenneth J. Turner, Mihaela Sighireanu
2001 Software Specification Methods  
Acknowledgements Thanks are due to the following for carefully reviewing the papers that formed the basis of this chapter: Hubert Garavel (INRIA Rhône-Alpes), Radu Mateescu (INRIA Rhône-Alpes) and Carron  ...  The goal was to prove that the process-oriented and data-oriented LOTOS specifications of Case 2 are equivalent by checking their LTSs.  ...  This applies equally to the LOTOS/E-LOTOS and process-oriented/data-oriented variants. Case 2 The E-LOTOS variants have separate modules for handling orders and stocks.  ... 
doi:10.1007/978-1-4471-0701-9_10 fatcat:52pt3nouuzcojnwkzrvr6jr4o4

Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System [chapter]

G. Huecas, T. Robles, L. M. González, J. Serrano
1998 IFIP Advances in Information and Communication Technology  
LOTOS was chosen to formally specify AT AC. The formal specification was used to produce test cases that were executed against the chip, after a completion process to obtain executable test cases.  ...  The goal was to validate a real system, namely ATAC, an ADA coprocessor chip, running on a real board.  ...  A test purpose is a description of the goal of the test precisely defined, oriented to a conformance requirement, accordingly to the system specification.  ... 
doi:10.1007/978-0-387-35394-4_18 fatcat:t6grpcqqorakzfsv7zoavvq3dm

Automatically verifying an object-oriented specification of the Steam-Boiler system

Paulo J.F. Carreira, Miguel E.F. Costa
2003 Science of Computer Programming  
This paper presents an experiment of a technique for the automated veriÿcation of a subset of the object-oriented language OBject LOGic (OBLOG).  ...  In our setting, object-oriented models are automatically translated to LOTOS speciÿcations using a programmable rule-based engine included in the Development Environment of the OBLOG language.  ...  datatype compiler for LOTOS included in CADP [12] .  ... 
doi:10.1016/s0167-6423(02)00092-8 fatcat:bczna6vx5jhs3emdlyxudhnfzi

EXPOSE: an animation tool for process-oriented specifications

Adam C. Winstanley, David W. Bustard
1991 Software Engineering Journal  
The LOTOS language LOTOS is a process-oriented description language developed for the definition of OS1 (Open Systems Interconnection) protocol standards.  ...  Execution is performed using the LOTOS transition rules given in Reference 7. Initially, a copy of the relevant part of the syntax tree is taken to produce the execution tree.  ...  Appendix : The LOTOS language The LOTOS language consists of two largely independent components: 0 a process algebra, based mainly on ideas used in CCS [8] and CSP [9] .  ... 
doi:10.1049/sej.1991.0045 fatcat:l4vtccxeo5fhzbddwst5elfpy4

Strategy disclosure in the integrated report

Justyna FIJAŁKOWSKA, University of Lodz, Monika SOBCZYK-PATEREK, Social Sciences Academy
2020 Scientific Papers of Silesian University of Technology. Organization and Management Series  
Articulate how executive and director compensation tie to long-term value creation and strategic goals.  ...  Strategy disclosure in the Integrated Reports -empirical research Objective and method The research embraced IR prepared by the LOTOS Group (LOTOS) for 2017 and published in 2018.  ...  Risks Awareness of the impact of activities on people, natural environment and the economy and managing it; investing in the sustainable development of LOTOS and the environment, caring for the growth  ... 
doi:10.29119/1641-3466.2020.149.14 fatcat:zjekccslbzhuhmokklisumjvva

Incremental requirements specification withLotos

K. J. Turner
1997 Requirements Engineering  
The nature of constraint-oriented specification is discussed at some length, and guidelines for how to use it effectively with LOTOS are presented.  ...  An approach based on LOTOS (Language Of Temporal Ordering Specification) is proposed that exploits desirable characteristics of the constraint-oriented style.  ...  Hubert Garavel, INRIA Rhône-Alpes, kindly undertook independent checks on the LOTOS specification of the file access system.  ... 
doi:10.1007/bf02802772 fatcat:hm7c2noairdcrofekote6lcb74
« Previous Showing results 1 — 15 out of 934 results