14 Hits in 6.8 sec

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data [chapter]

Hubert Garavel, Frédéric Lang
2002 Lecture Notes in Computer Science  
One central problem in the computer-aided verification of concurrent systems consisting of communicating sequential processes with data is to find suitable symbolic models.  ...  The need for intermediate models has been recognized for long. [19] presents an approach in which a high-level language (used to describe a set of sequential tasks that execute asynchronously and communicate  ...  for their collaboration on case studies; Thierry Jéron, Vlad Rusu, and Bertrand Jeannet for their feedback about Ntif.  ... 
doi:10.1007/3-540-36135-9_18 fatcat:g6rd2iwz6raybcf5uloybsjvrq

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format [chapter]

Jan Stöcker, Frédéric Lang, Hubert Garavel
2009 Lecture Notes in Computer Science  
Ntif (New Technology Intermediate Form) [22] is a minimal intermediate model for processes with sequential control and complex data.  ...  The third aspect is real-time, such as delays (inaction of a process during a predefined time), constraints on the time instants when a process can communicate, urgency (indicating that a communication  ...  mean the following: A Sequential processes in ATLANTIF An Atlantif sequential process, called a unit , contains variable declarations and optionally subunits.  ... 
doi:10.1007/978-3-642-00255-7_7 fatcat:6qzn6q2kxrhoxd44olqdigh6tu

Revisiting sequential composition in process calculi

Hubert Garavel
2015 Journal of Logical and Algebraic Methods in Programming  
This approach, which generalizes traditional process calculi, has been used to define the new LNT language implemented in the CADP toolbox.  ...  The article reviews the various ways sequential composition is defined in traditional process calculi, and shows that such definitions are not optimal, thus limiting the dissemination of concurrency theory  ...  of LNT), and to the users of LNT for their feedback (with a special mention to Bull and STMicroelectronics for their financial support).  ... 
doi:10.1016/j.jlamp.2015.08.001 fatcat:c3jyidbbvnacvf7gmovonpc4j4

Parameterized Models for Distributed Java Objects [chapter]

Tomás Barros, Rabéa Boulifa, Eric Madelaine
2004 Lecture Notes in Computer Science  
We present a method for building finite, parameterized models capturing the behavioural semantics of ProActive objects.  ...  Distributed Java applications use remote method invocation as a communication means between distributed objects.  ...  For example the Promela language, input of the SPIN model-checker, can describe value-passing processes and channels with data values of simple types or the NTIF format [1] that encodes the sophisticated  ... 
doi:10.1007/978-3-540-30232-2_4 fatcat:mzdraqc2hravders25prnvumhi

From LOTOS to LNT [chapter]

Hubert Garavel, Frédéric Lang, Wendelin Serwe
2017 Lecture Notes in Computer Science  
protocols and distributed systems, and, on the other hand, to two proposals (Extended LOTOS and Modular LOTOS) for making LOTOS a simpler and more expressive language.  ...  We revisit the early publications of Ed Brinksma devoted, on the one hand, to the definition of the formal description technique LOTOS (ISO International Standard 8807:1989) for specifying communication  ...  a modelling language, mostly due to the verbosity of the LOTOS data part.  ... 
doi:10.1007/978-3-319-68270-9_1 fatcat:ulzu74ck7na75o3apfrf6r4wgi

Bridging the chasm between MDE and the world of compilation

Jean-Marc Jézéquel, Benoit Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye
2012 Journal of Software and Systems Modeling  
Modeling addresses how information is represented and processed, while transformation cares about what the results of processing this information are.  ...  To address the growing complexity of software systems, Model-Driven Engineering (MDE) leverages Domain Specific Languages (DSL) to define abstract models of systems and automated methods to process them  ...  These models may be expressed with a general-purpose modeling language such as the UML [6] , or with Domain Specific Languages (DSL) when it is more appropriate.  ... 
doi:10.1007/s10270-012-0266-8 fatcat:htmyfrdbjvhkpciifeeqodl2k4

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
2009 Annales des télécommunications  
The LTSA tool [23] uses Finite State Processes (FSP) as an intermediate language (with processes and data parameters) for modelling RR n°6491 inria-00268965, version 2 -2 Apr 2008 that is usually given  ...  For example in the CADP toolbox [19] , the internal model is a version of Petri nets with data, that can be later unfolded (eventually on-the-fly) into LTSs suitable for model-checking.  ...  Our definition of model-generation algorithms for distributed component models is part of a larger project, and we have stressed that an ambitious goal of this project is to make these tools available  ... 
doi:10.1007/s12243-008-0069-7 fatcat:p5456z2skzaozavjh4rqpd275q

Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases

Ling Liu, Robert Meersman
1992 Very Large Data Bases Conference  
The objective of this paper is to introduce an activity model as a declarative specification formalism for modeling communication behaviour in object-oriented database design environment.  ...  Furthermore, patterns of object communications within behavioural compositions are often repeated throughout a system with different participating objects.  ...  Uuldriks for the discussion and the effort towards implementation.  ... 
dblp:conf/vldb/LiuM92 fatcat:wnwcsmt4zbcptorbtybbtvd3sa

Understanding new models of integrated care in developed countries: a systematic review

Susan Baxter, Maxine Johnson, Duncan Chambers, Anthea Sutton, Elizabeth Goyder, Andrew Booth
2018 Health Services and Delivery Research  
The findings detail the complex pathway from new models to impacts, with evidence regarding elements of new models of integrated care, targets for change, process change, influencing factors, service-level  ...  First, data from included studies were used to develop an evidence-based logic model, and a narrative summary reports the elements of the pathway.  ...  Maxine Johnson (Research Fellow, University of Sheffield) contributed to the review processes. Duncan Chambers (Research Fellow, University of Sheffield) contributed to the review processes.  ... 
doi:10.3310/hsdr06290 fatcat:szehunti2nfuliza3i6iqn2kmq

Parameterized Specification and Verification of the Chilean Electronic Invoices System

I. Attali, T. Barros, E. Madelaine
XXIV International Conference of the Chilean Computer Science Society  
Our approach is based on a new hierarchical and parameterized model for synchronised networks of labelled transition systems.  ...  , bisimulation-based) model-checkers for the verification.  ...  The main difference with our language is that NTIF is designed to describe sequential processes whereas we do so for asynchronous concurrent communicating processes.  ... 
doi:10.1109/qest.2004.16 dblp:conf/sccc/AttaliBM04 fatcat:kah22gfqrnbrjhmxqpipqsveey

Occasion of His 60th Birthday

Hubert Garavel, Frédéric Lang, Wendelin Serwe, Hubert Garavel, Frédéric Lang, Wendelin Serwe
Lecture Notes in Computer Science   unpublished
protocols and distributed systems, and, on the other hand, to two proposals (Extended LOTOS and Modular LOTOS) for making LOTOS a simpler and more expressive language.  ...  We revisit the early publications of Ed Brinksma devoted, on the one hand, to the definition of the formal description technique LOTOS (ISO International Standard 8807:1989) for specifying communication  ...  a modelling language, mostly due to the verbosity of the LOTOS data part.  ... 

LIPIcs, Volume 205, DNA 27, Complete Volume [article]

Matthew R. Lakin, Petr Šulc
Acknowledgements We thank Trent Rogers, Niall Murphy, Pierre Marcus and Nicolas Schabanel for useful discussions on the Maze-Walking Tile Assembly Model.  ...  Acknowledgements We thank Damien Woods for his support and advice. 1 Acknowledgements We thank Tosan Omabegho for introducing us to chemical linkages and for extensive discussions.  ...  For instance, to search for the target string 1011, we search for the symbol A 2 in odd symbols and A 3 in even symbols.  ... 
doi:10.4230/lipics.dna.27 fatcat:wtzel32jffg5xmuiomqjtevaha

The development and evaluation of software for teaching reading at primary level

Cathy Lewin
Each version of the software was used daily for a period of four weeks by 16 children, aged 6 to 7 years, in the naturalistic environment of their classrooms.  ...  The outcomes of these studies together with a review of the literature were used to inform an innovative design that was implemented.  ...  The influences of top-down models on reading instruction Proponents of top-down models argue that the reading process starts with prior knowledge.  ... 
doi:10.21954/ fatcat:j6zaf7sjfrghram4o66bqwc6q4

English literary response to French arthurian cyclic romance: contexts and perspectives for reading Malory

Catherine Jeanne Batt
When, for example, Merlin, having fallen in love with Nimiane, considers the consequence s of enjoying 'the deduyt of a mayden' (EPM, II, 308), there is nothing to indicate that the French word is especially  ...  4,will examine why the EPM is not presented specificall y as a translation , while Malory, by continual reference to the French (and on one occasion the English) context for his work, uses the concept  ...  -he has been shown how the data conform to an icon of a comprehensible finished process, a plot-structure with which he is familiar as part of his cultural endowment. | Historians have an implicit faith  ... 
doi:10.17638/03146597 fatcat:pc2jgmkg5rcoddhfusgc6cmwkq