28,271 Hits in 6.9 sec

Specification architecture

K.J. Turner, G. Scollo
1997 Computer networks and ISDN systems  
Acknowledgements The guest editors are grateful to the contributors for their enthusiasm in elaborating the topic of this special issue.  ...  The editors also extend their thanks to the reviewers for their careful reading of the papers. The advice and involvement of H. Rudin, a senior editor of the journal, was much appreciated.  ...  The paper shows how these concepts can be used to give well-structured descriptions of behaviour. The example of a distributed banking system illustrates the ideas in practice.  ... 
doi:10.1016/s0169-7552(96)00124-9 fatcat:3nu2a45g3ncl3pkarlrg2oqmty

Scribbling Interactions with a Formal Foundation [chapter]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011 Lecture Notes in Computer Science  
At the centre of this methodology is a formal description language for representing protocols for interactions, called Scribble.  ...  The execution of a largescale distributed system consists of many structured conversations (or sessions) whose protocols can be clearly and accurately specified using a theory of types for the π-calculus  ...  dialogue, as Robin envisioned in his address in Edinburgh in 1986 and encouraged us in the early days of this endeavour.  ... 
doi:10.1007/978-3-642-19056-8_4 fatcat:76cikyol4zh7dcywj6gizh3uoe

A type description language supporting interoperability in open distributed systems [chapter]

Wayne Brookes
1997 IFIP Advances in Information and Communication Technology  
The language is based on a type model developed for ODP systems and an overview of this type model is presented. The language is described first by example, then more formally using EBNF notation.  ...  A number of existing Interface Definition Languages (IDLs) exist for describing interoperating objects in an open distributed processing (ODP) environment.  ...  ACKNOWLEDGEMENTS I would like to thank my colleagues from the CRC for Distributed Systems Technology (DSTC) for their discussions and helpful comments during the preparation of this paper.  ... 
doi:10.1007/978-0-387-35082-0_3 fatcat:xofi2i5he5b3xac46w4er5locm

Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability

Mert Ozkaya, Christos Kloukinas
2013 2013 39th Euromicro Conference on Software Engineering and Advanced Applications  
After all these years one would have hoped that we could point to a handful of ADLs as the clear winners as the languages of choice of practitioners for specifying software system architectures.  ...  Research on Software Architectures has been active since the early nineties, leading to a number of different architecture description languages (ADL).  ...  ACKNOWLEDGEMENTS This work has been partially supported by the EU project FP7-257367 IoT@Work -"Internet of Things at Work".  ... 
doi:10.1109/seaa.2013.34 dblp:conf/euromicro/OzkayaK13 fatcat:d47irmbynfebbje4xrpuav6mb4

The Specification of Agent Interaction in Multi-Agent Systems

2009 Intelligent Information Management  
The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered.  ...  For formalization of the description of interaction at a level of steps of the dialogue which is carried out in common by two spatially divided agents, the concept of synchronization of processes is analyzed  ...  Such treatment of waiting and acting operations is a basis of formal semantics PRALU language [6] in which conjunction of Boolean variables describe external event of operations.  ... 
doi:10.4236/iim.2009.12011 fatcat:jpwfpbordfeg5pz3mmrtsnchau

Vertical Reuse in the Development of Distributed Systems with FDTs [chapter]

Reinhard Gotzhein
2003 Lecture Notes in Computer Science  
The development and maintenance of large distributed software systems is intrinsically difficult and continues to worry generations of software engineers in academia and industry.  ...  System structuring is essential to controlling complexity, and is a prerequisite for the extraction of reuse artifacts. Reuse of solutions is crucial to controlling quality and productivity.  ...  In [4] , another specialization of the design pattern concept for the development of distributed systems and communication protocols, called SDL design patterns, has been introduced.  ... 
doi:10.1007/978-3-540-39979-7_3 fatcat:p7qq453dlrag7jonj5gelurp4u

Semi-formal and formal interface specification for system of systems architecture

Jeremy Bryans, R. Payne, J. Holt, S. Perry
2013 2013 IEEE International Systems Conference (SysCon)  
As part of his PhD, Richard provided a basis for the formal verification of policies defined using a reconfiguration policy language (RPL) for the governance of resilient component-based systems.  ...  Part of his time is spent on the EU project COMPASS, on which is developing semantic foundations for a modelling language for Systems of systems.  ...  The authors are grateful to John Fitzgerald, Alvaro Miyazawa and the anonymous reviewers of the version of this paper submitted to SysCon 2013 for their feedback and comments on earlier versions of the  ... 
doi:10.1109/syscon.2013.6549946 dblp:conf/syscon/BryansPHP13 fatcat:aalybuyunrhlzg6zyzi7gyfvkm

A case study in abstraction using E-LOTOS and the FireWire

Carron Shankland, Alberto Verdejo
2001 Computer Networks  
The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete  ...  The speci®cation process is described in some detail, paying particular attention to the general applicability of E-LOTOS to protocol description.  ...  Thanks also to Ken Turner of the University of Stirling, whose idea the EASEL project was, Luis Llana of the Universidad Complutense de Madrid for discussions about time in E-LOTOS, and Frank Kelly of  ... 
doi:10.1016/s1389-1286(01)00190-6 fatcat:tz6gpxkh4nakhprhvcp3toecfm

Using UML models for the performance analysis of network systems

Nico de Wet, Pieter Kritzinger
2005 Computer Networks  
The automated functional and performance analysis of communication systems specified with some Formal Description Technique has long been the goal of telecommunication engineers.  ...  With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model.  ...  Examples of such languages are the Process Meta Language (PROMELA, the system description language of SPIN [Hol91] , [SK00] ), the Specification and Description Language (SDL) and Estelle.  ... 
doi:10.1016/j.comnet.2005.05.007 fatcat:4fl5r3752vdj3hwhwqhzedueqa

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic [chapter]

Laura Giordano, Alberto Martelli, Camilla Schwind
2003 Lecture Notes in Computer Science  
In this paper we develop a logical framework for specifying and verifying systems of communicating agents. The framework is based on a Dynamic Linear Time Temporal Logic (DLTL).  ...  The description of the interaction protocol and of communicative actions is given in a temporal action theory, and agent programs, when known, can be specified as complex actions (regular programs in DLTL  ...  The runs of the system according the protocol are the linear models of Comp(D): in a model (σ, V ), the behaviour of each agent i is a subsequence σ i of the system behaviour σ.  ... 
doi:10.1007/978-3-540-39853-0_22 fatcat:pql7o37ht5d2lgkf3eivst6zcq

Formal description techniques - how formal and descriptive are they? [chapter]

M. Broy
1996 IFIP Advances in Information and Communication Technology  
I demonstrate how a family of complementary description techniques can be developed on the basis of a mathematical system model that provides a scientific methodological foundation for the modular specification  ...  This demonstrates a proceeding in the design of FDTs that helps to make them formal, descriptive and technically useful.  ...  Acknowledgement The thoughts presented above have benefited greatly from discussions within the SysLab team, the IFIP working group 2.3, with software engineers from BMW, ESG, Siemens, Siemens Nixdorf,  ... 
doi:10.1007/978-0-387-35079-0_6 fatcat:oyyis5j5j5gbpna44tm56j74ei

The SDL Specification of the Sliding Window Protocol Revisited [chapter]

Christian Facchi, Markus Haubner, Ursula Hinkel
1997 SDL '97: Time for Testing  
We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol.  ...  While editing and simulating the SDL speci cation we found out that the speci cation contains signi cant errors and does not meet the informal description of the protocol.  ...  We also thank Verilog and Siemens AG for their tool support. Especially the simulators of Geode from Verilog and SICAT from Siemens AG helped us to nd the errors in the SDL speci cation.  ... 
doi:10.1016/b978-044482816-3/50034-4 fatcat:lied4rnfpbhqzl2v5573ymt45e

Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems

Carlos Bazilio, Edward Hermann Haeusler, Markus Endler
2007 Electronical Notes in Theoretical Computer Science  
A formal communication model is used in the translation process in order to allow the use of different model checkers.  ...  The core of the architecture is the protocol specification language (LEP), which has constructions, called pronouns, that allows for high-level specification.  ...  General description LEP LEP is a process-based language such as CCS [14] for the specification of mobile protocols and distributed algorithms.  ... 
doi:10.1016/j.entcs.2007.03.022 fatcat:tfk2nkauqzdbrcjoagyouanle4

Formal Support for ODP and Teleservices [chapter]

Joubine Dutszadeh, Elie Najm
1996 IFIP Advances in Information and Communication Technology  
RM-ODP also uses and advocates the use of formal methods for the design of open distributed systems.  ...  The provision of distributed services in an open, heterogeneous environment requires a robust methodology for the entire service life-cycle; from service specification to service operation.  ...  to the subject of the present paper.  ... 
doi:10.1007/978-0-387-34985-5_3 fatcat:4tgpaqmsrrgcbejxoaok6jiw4u

Page 3940 of Mathematical Reviews Vol. , Issue 93g [page]

1993 Mathematical Reviews  
Among the features that can be included in the semantical description of the language are infinite domain of variables, fairness, error behaviour, termination behaviour.  ...  processors using a mesh of trees network. “On the Amoeba protocol” by J. C. Mulder considers the trans- action layer of the Amoeba distributed system developed by Mul- lender.  ... 
« Previous Showing results 1 — 15 out of 28,271 results