Using model checking to detect deadlocks in distributed object systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1999, Issue , 2001, Pages 116-128

  Kaveh, Nima ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Model Checking; Object Middleware; Software Architecture

Indexed keywords

ALGEBRA; MIDDLEWARE; OBJECT DETECTION; SEMANTICS; SOFTWARE ARCHITECTURE; SYNCHRONIZATION; UNIFIED MODELING LANGUAGE;

DISTRIBUTED OBJECT MIDDLEWARE; DISTRIBUTED OBJECT SYSTEM; LEVELS OF ABSTRACTION; MODEL SYNCHRONIZATION; PROCESS ALGEBRAS; SYNCHRONIZATION PRIMITIVE; UML DIAGRAMS; USE-MODEL;

MODEL CHECKING;

EID: 84948993372     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45254-0_11     Document Type: Conference Paper

References (15)

1. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3):213–249, June 1997.
2. S.-C. Cheung and J. Kramer. Checking Safety Properties Using Compositional Reachability Analysis. ACM Transactions on Software Engineering and Methodology, 8(1):49–7, 1999.
3. R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36–72, 1993.
4. E. di Nitto and D. Rosenblum. Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures. In Proc. of the 21st Int. Conf. on Software Engineering, Los Angeles, California, pages 13–22. ACM Press, 1999.
5. W. Emmerich. Engineering Distributed Objects. John Wiley & Sons, Apr. 2000.
6. W. Emmerich and N. Kaveh. Model Checking Distributed Objects. In B. Balzer and H. Obbink, editors, Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland, 2000. To appear.
7. M. Gaspari and G. Zavattaro. A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. In Proceedings of the 13th European Conference on Object-Oriented Programming, ECOOP’99, volume 1628 of Lecture Notes in Computer Science, pages 495–518. Springer, 1999.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
9. J. Magee and J. Kramer. Concurrency: Models and Programs – From Finite State Models to Java Programs. John Wiley, 1999.
10. R. Milner. Communication and Concurrency. Prentice-Hall, 1995.
11. R. Milner. Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.
12. C. Nentwich, W. Emmerich, A. Finkelstein, and A. Zisman. Browsing Objects in XML. Research Note RN/99/41, University College London, Dept. of Computer Science, 1999.
13. Object Management Group. The Common Object Request Broker: Architecture and Specification Revision 2.0. 492 Old Connecticut Path, Framingham, MA 01701, USA, July 1995.
14. Object Management Group. XML Meta Data Interchange (XMI) – Proposal to the OMG OA&DTF RFP 3: Stream-based Model Interchange Format (SMIF). 492 Old Connecticut Path, Framingham, MA 01701, USA, Oct. 1998.
15. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.