Filters








120 Hits in 2.2 sec

A LOTOS Framework for Middleware Specification [chapter]

Nelson Souto Rosa, Paulo Roberto Freire Cunha
2006 Lecture Notes in Computer Science  
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

Nelson Souto Rosa, Paulo Roberto Freire Cunha
2007 Software engineering notes  
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

A.F. Ates, M. Bilgic, S. Saito, B. Sarikaya
1996 IEEE Journal on Selected Areas in Communications  
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

Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen
2009 Proceedings of the 2009 International Conference on Hybrid Information Technology - ICHIT '09  
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]

P. F. Linington, J. Derrick, H. Bowman
1996 Testing of Communicating Systems  
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

Radu Mateescu, Pascal Poizat, Gwen Salaün
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
-à-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

Lidia Fuentes, Jos� Mar�a Troya
2001 Software, Practice & Experience  
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]

Frédéric Tronel, Frédéric Lang, Hubert Garavel
2003 Lecture Notes in Computer Science  
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

Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2012 International Journal on Software Tools for Technology Transfer (STTT)  
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]

Antoine Beugnard, Ludger Fiege, Robert Filman, Eric Jul, Salah Sadou
2004 Lecture Notes in Computer Science  
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]

Kenneth J. Turner, Koon Leai Larry Tan
2009 Lecture Notes in Computer Science  
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]

Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye
2013 Lecture Notes in Computer Science  
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

Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye
2012 Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12  
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]

Xavier Renault, Jérôme Hugues, Fabrice Kordon
2008 Lecture Notes in Computer Science  
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

H. Bowman, J. Derrick, E. Brinksma
2000 IEEE Transactions on Software Engineering  
., 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