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.
Filters
A LOTOS Framework for Middleware Specification
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
This paper presents a LOTOS framework for the specification of middleware systems. The framework consists of a library of basic middleware components and some guidelines on how to compose them. ...
The components of the framework facilitate the formal specification of different middleware systems. ...
Most recently, Rosa [8] adopted software architecture principles for structuring LOTOS specifications of middleware systems. ...
doi:10.1007/11888116_11
fatcat:gi2o3nzymveq5p4b2rmmvdugtm
A formal framework for middleware behavioural specification
2007
Software engineering notes
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.
This paper presents a formal framework, specified in LOTOS (Language Of Temporal Ordering Specification), for the specification of middleware systems. ...
The components of the framework facilitate the formal specification of different middleware systems. ...
Meanwhile, it is also planned to include the specification of middleware services in such way that composition constraints may also consider middleware service composition. ...
doi:10.1145/1234741.1234768
fatcat:jhrjhj3osrc2vgipc23lazw43y
Using timed CSP for specification verification and simulation of multimedia synchronization
1996
IEEE Journal on Selected Areas in 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 2004; you can also visit the original URL.
The file type is application/pdf.
By specifying different aspects of a system in different formal languages, the diversity and power of existing specification languages can be exploited. ...
The significance of an aspect-oriented approach to the specification of adaptive QoS management functions is also considered. ...
Finally, thanks to Abderrahmane Lakas for his work on early algorithms and tool support. ...
doi:10.1109/49.481699
fatcat:w7gqoqfr2balpfrdk66ebo3xmy
Middleware-based distributed systems software process
2009
Proceedings of the 2009 International Conference on Hybrid Information Technology - ICHIT '09
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.
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific services. ...
It plays a central and essential role for developing distributed systems. ...
A UML framework can provide a profile to architects and designers for modeling nonfunctional dependencies. ...
doi:10.1145/1644993.1645058
dblp:conf/ichit/JingyongYYL09
fatcat:s5mjh6rotfdq3gdunitkwnf2ge
The specification and testing of conformance in ODP systems
[chapter]
1996
Testing of Communicating Systems
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.
The RM-ODP gives a structure for a family of standards for common interfaces, reusable components and supporting notations needed for the establishment of a wide range of distributed systems. ...
The framework for the standardization of Open Distributed Processing is provided by the Reference Model for Open Distributed Processing (RM-ODP), the essential, normative parts of which were completed ...
Central to the framework for consistency checking is the concept of a unification. ...
doi:10.1007/978-0-387-35062-2_8
fatcat:xigepdmifncfzlb736r5vcu5u4
Behavioral adaptation of component compositions based on process algebra encodings
2007
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07
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.
-à-d. des fragments de logiciel capables de résoudre les incompatibilités de manière non-intrusive. ...
Results on model-based adaptation are now mature enough to be put into practice on implementation frameworks [24, 12, 16] , without requiring the need of specific adaptive middleware [1] , but rather ...
Introduction to LOTOS We do a simplified presentation of behavioral specification in Lotos. The reader may refer to [9] for a comprehensive introduction to this process algebra. ...
doi:10.1145/1321631.1321690
dblp:conf/kbse/MateescuPS07
fatcat:oc5mvtceovaw7bitz63wvpyrzy
Coordinating distributed components on the web: an integrated development environment
2001
Software, Practice & Experience
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.
However, current middleware frameworks [8, 9] do not provide enough support for design documentation and application builders. ...
Tools for the automatic generation of code from the ADL specifications are also described. 210 L. FUENTES AND J. M. ...
It is implemented with the LOLA (LOtos LAboratory) simulation tool. In conclusion, the specification and verification of new services guarantee the correct evolution of the framework. ...
doi:10.1002/spe.362
fatcat:lbai3hbqojboznydlhkt4xsp3i
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
[chapter]
2003
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 2018; you can also visit the original URL.
The file type is application/pdf.
Starting from the Xml description of a configuration of components to be deployed by the protocol, a translator produces a set of Lotos descriptions, µ-calculus formulas, and the corresponding compositional ...
In this article, we report about the application of the Cadp verification toolbox to check the correctness of an industrial protocol for deploying and configuring transparently a large set of heterogeneous ...
Acknowledgements The authors are grateful to Roland Balter, Luc Bellissart, and David Felliot, for sharing their knowledge of the ScalAgent deployment protocol. ...
doi:10.1007/978-3-540-39958-2_17
fatcat:yimyogh46vdmhj5fx66h2skdkq
CADP 2011: a toolbox for the construction and analysis of distributed processes
2012
International Journal on Software Tools for Technology Transfer (STTT)
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 2014; you can also visit the original URL.
The file type is application/pdf.
The paper then reviews the main features of Cadp 2011, including compilers for various formal specification languages, equivalence checkers, model checkers, compositional verification tools, performance ...
Today, Cadp benefits from a worldwide user community, both in academia and industry. ...
Support for the LOTOS NT language A major new feature of Cadp 2011 is the support of Lotos NT [13] , a specification language derived from the Iso standard E-Lotos [77] . ...
doi:10.1007/s10009-012-0244-z
fatcat:fdch5egwpneebjd3bo6lozyhby
Communication Abstractions for Distributed Systems
[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 2016; you can also visit the original URL.
The file type is application/pdf.
Understanding communication is a key to building a better understanding of the interaction of software entities such as objects, components, and aspects. ...
This paper presents a new QoS-enabled load management framework for component oriented middleware. It proposes a new approach for load management and for delivering end-to-end QoS services. ...
We have a set of design concepts that have been derived from LOTOS. ...
doi:10.1007/978-3-540-25934-3_3
fatcat:htwlewxiavcyrohn373gxhzmmq
A Rigorous Methodology for Composing Services
[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 2010; you can also visit the original URL.
The file type is application/pdf.
A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. ...
Verification with CRESS is performed only after a further automated stage to annotate a LOTOS specification for CADP. ...
The composite LOTOS specification that results is sufficient for use with several LOTOS tools, e.g. LOLA (LOTOS Laboratory [15] ). ...
doi:10.1007/978-3-642-04570-7_13
fatcat:aflfqzjnhjcx7lxas2fsgfm2zy
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
[chapter]
2013
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 2018; you can also visit the original URL.
The file type is application/pdf.
In order to check that this protocol works as expected, we specify it in Lotos NT and verify it using the Cadp toolbox. ...
Distributed applications in the cloud are composed of a set of virtual machines running a set of interconnected software components. ...
In [2] , the authors present a formal framework for behavioural specification of distributed Fractal components. ...
doi:10.1007/978-3-642-36249-1_3
fatcat:fkpprgueefgkbayek4ww5dxioe
Verification of a self-configuration protocol for distributed applications in the cloud
2012
Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12
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.
In order to check that this protocol works as expected, we specify it in Lotos NT and verify it using the Cadp toolbox. ...
Distributed applications in the cloud are composed of a set of virtual machines running a set of interconnected software components. ...
In [2] , the authors present a formal framework for behavioural specification of distributed Fractal components. ...
doi:10.1145/2245276.2231979
dblp:conf/sac/SalaunEPBC12
fatcat:nta6vss4hfc75n3s2p6obzkqda
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
[chapter]
2008
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.
To provide reusable results, we modeled a canonical middleware architecture using Z. We propose a validation scenario to verify middleware's invariants. ...
The specification has been checked with the Z/EVES [13] theorem prover. * This work is funded in part by the ANR/RNTL Flex-eWare project. ...
For example, in [11] , LOTOS is used to build a formal framework to specify a middleware behavior based on its architecture [2] . ...
doi:10.1007/978-3-540-68863-1_12
fatcat:azsxqrzvlfarnmxwgvcbrvk5la
Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997
2000
IEEE Transactions on Software Engineering
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.
., have all defined distributed object-based frameworks as a foundation for open distributed computing. ...
of important communities (for example, conferences such as, FORTE/PSTV, Middleware, and ECOOP). ...
In the period 1983-1989, he was chairman of the committee of the International Organization for Standardization (ISO) that was responsible for the definition of the formal specification technique LOTOS ...
doi:10.1109/tse.2000.859528
fatcat:bknyqdtgvfexnebkkgrkm2yaza
« Previous
Showing results 1 — 15 out of 120 results