Article thumbnail
Location of Repository

Validating distributed object and component designs

By N Kaveh and W Emmerich
Topics: Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science, MODELS
Year: 2003
DOI identifier: 10.1007/978-3-540-39800-4_5
OAI identifier:
Provided by: UCL Discovery

Suggested articles


  1. (1994). A Compositional Approach to Performance Modelling.
  2. (2001). A General Framework for Formalizing UML with Formal Languages.
  3. (1999). A Tool for verifying UML models.
  4. (2001). A Workbench for Synthesising Behaviour Models from Scenarios.
  5. (2001). An efficient algorithm for aggregating PEPA models.
  6. (2001). Automated Check of Architectural Models Consistency using SPIN.
  7. (1999). Checking Safety Properties Using Compositional Reachability Analysis.
  8. (2000). Classifying Properties: An Alternative to the Safety-Liveness Classification.
  9. (1999). Concurrency: Models and Programs – From Finite State Models to Java Programs.
  10. (2000). Connector Synthesis for Deadlock-Free Component Based Architectures.
  11. (2001). Deadlock Detection in Distributed Object Systems.
  12. Design Patterns: Elements of Reusable Object-Oriented Software.
  13. (2002). Distributed Component Technologies and their Software Engineering Implications.
  14. (2000). Engineering Distributed Objects.
  15. (1999). Enterprise Javabeans. O’Reilly UK,
  16. (1998). Group. The Common Object Request Broker: Architecture and Specification Revision 2.3. 492 Old Connecticut Path,
  17. (2003). Model Driven Architecture – Applying MDA to Enterprise Computing.
  18. (1997). On the complexity of verifying concurrent transition systems.
  19. (1995). Specifying Distributed Software Architectures.
  20. (1987). Statecharts: A Visual Formalism for Complex Systems.
  21. (2001). Static Consistency Checking for Distributed Specifications.
  22. (1993). The Integration of Functional Specifi-cation and Performance Analysis using Stochastic Process Algebras.
  23. (1997). The Model Checker SPIN.
  24. (1977). The Temporal Logic of Programs. In
  25. The UML as a Formal Modeling Notation.
  26. (1999). The Unified Modeling Language Reference Manual.
  27. (2001). TIGRA – An Architectural Style for Enterprise Application Integration.
  28. (2002). xlinkit: A Consistency Checking and Smart Link Generation Service.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.