A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Logical and Algebraic Methods in Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Annales des télécommunications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
1992
Very Large Data Bases Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2018
Health Services and Delivery Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
XXIV International Conference of the Chilean Computer Science Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
Lecture Notes in Computer Science
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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. ...
fatcat:52nqlvdie5bopeliyddq3suksu
LIPIcs, Volume 205, DNA 27, Complete Volume
[article]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
1998
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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/ou.ro.00004d8f
fatcat:j6zaf7sjfrghram4o66bqwc6q4
English literary response to French arthurian cyclic romance: contexts and perspectives for reading Malory
2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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