Publications
362 results found
Magee J, Kramer J, Giannakopoulou D, 1999, Behaviour analysis of software architectures, 1st Working IFIP Conference on Software Architecture (WICSA1), Publisher: KLUWER ACADEMIC PUBLISHERS, Pages: 35-49, ISSN: 1571-5736
- Author Web Link
- Cite
- Citations: 46
Kramer J, Magee JN, 1999, Modelling for mere Mortals, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam
, 1999, Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., Publisher: ACM
Kramer J, Magee JN, 1999, Modelling for mere Mortals, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam
Russo AM, Nuseibeh B, Kramer J, 1999, Restructuring Requirements Specifications, IEE Proceedings: Software, Vol: 146, Pages: 44-53
Mendona N, Kramer J, 1999, Component Module Classification for Distributed Software, International Conference on Software Maintenance (ICSM '99), Oxford
Magee JN, Kramer J, Giannakopoulou D, 1999, Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, Publisher: Kluwer Academic Pub., Pages: 35-50
Kramer J, Magee JN, 1998, Analysing Dynamic Change in Distributed Software Architectures, IEE Proceedings - Software, Vol: 145, Pages: 146-154
Giannakopoulou D, Magee J, Kramer J, 1998, Checking progress with aAction priority: is it fair?, Departmental Technical Report: 98/2, Publisher: Department of Computing, Imperial College London
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice. To address this issue, we propose to check LTS (Labelled Transition System) models under a strong fairness assumption, which can be relaxed with the use of action priority. The combination of the two provides a novel and practical way of dealing with fairness. The approach is presented in the context of a class of liveness properties termed progress, for which it yields a particularly efficient model-checking algorithm. Progress properties cover a wide range of interesting properties of systems, while presenting a clear intuitive meaning to users.
Russo A, Nuseibeh B, Kramer J, 1998, Restructuring requirements specifications for managing inconsistency and change: a case study, Departmental Technical Report: 98/1, Publisher: Department of Computing, Imperial College London
This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and reasonably large requirements specification from a NASA project was analysed and decomposed into a structure of "viewpoints", where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints were identified which included not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic inter-dependencies. The restructuring process and a first informal analysis of the resulting relationships enabled the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. We believe that this restructuring into viewpoints also facilitated requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships.
Perry D, Kramer J, 1998, Session 2: Architectural description, Pages: 49-50, ISSN: 0302-9743
- Cite
- Citations: 2
Mendona N, Kramer J, 1998, Developing an Approach for the Recovery of Distributed Software Architectures, Proceedings of the 6th IEEE International Workshop on Program Comprehension, Ischia, Italy
Kramer J, Magee JN, 1998, Distributed Software Architectures: Tutorial, 20th IEEE Int. Conference On Software Engineering (ICSE-20), Kyoto, Pages: 280-281
Mendona N, Kramer J, 1998, An Experiment in Distributed Software Architecture Recovery, Proceedings of the Second International ESPRIT ARES, Las Palmas, Publisher: Springer-Verlag, Pages: 106-114
Perry D, Kramer J, 1998, Architectural Description, Lecture Notes in Computer Science, Publisher: Springer Berlin Heidelberg, Pages: 49-50, ISBN: 9783540649168
Russo A, Nuseibeh B, Kramer J, 1998, Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study, 3rd International Conference on Requirements Engineering (ICREÆ98), Publisher: IEEE Computer Society Press, Pages: 51-60
Magee JN, Kramer J, Giannakopoulou D, 1998, Software Architecture directed Analysis, 9th IEEE International Workshop on Software Specification and Design (IWSSD 9) Japan, Pages: 144-146
Magee JN, Kramer J, 1998, Composing Distributed Objects in CORBA, Information Systems Interoperability, Editors: Kramer, Papzoglou, Schmidt, Kramer, Papzoglou, Schmidt, Publisher: Research Studies Press
Magee J, Kramer J, Giannakopoulou D, 1998, Software Architecture directed behaviour analysis, 9th International Workshop on Software Specification and Design, Publisher: IEEE COMPUTER SOC, Pages: 144-146
- Author Web Link
- Cite
- Citations: 3
Kramer J, Magee JN, 1998, Analysing Dynamic Change in Distributed Software Architectures: A Case Study, IEEE 4th International Conference on Configurable Distributed Systems, (CDS 98), Annapolis, Pages: 91-100
Burkhart H, Decker KM, Fekete A, et al., 1997, Software engineering for parallel & distributed systems, IEEE CONCURRENCY, Vol: 5, Pages: 16-27, ISSN: 1092-3063
Kramer J, 1997, Distributed Software Architectures: a structural framework for constructing and reasoning about distributed systems, IEEE Concurrency - Virtual Roundtable: Software Engineering for Parallel and Distribued Systems, Vol: 5, Pages: 21-23
Kramer J, Magee J, 1997, Exposing the skeleton in the coordination closet, Pages: 18-31, ISSN: 0302-9743
One of the ways in which we cope with large and complex systems is to abstract away some of the detail, considering them at an architectural level as compositions of interacting components. To this end, the variously termed Coordination, Configuration and Architectural Description Languages (ADL) facilitate description, comprehension and reasoning at that level, providing a clean separation between individual component behaviour and their interaction in a software architecture. However, in the search to provide sufficient detail for reasoning, analysis or construction, many approaches are in danger of obscuring the essential structural aspect of the architecture, thereby losing the benefit of abstraction. In this paper we argue for the use of a concise and simple language explicitly designed for describing architectural structures. This can be used to provide the "skeleton" upon which to add the particular details of concern when necessary. Systems described in this way have an explicit and exposed skeleton which, being shared, helps to maintain consistency between the various elaborated views. To illustrate our approach, we use the Darwin architectural description language and the Tracta approach for compositional reachability analysis.
Russo AM, Nuseibeh B, Kramer J, 1997, Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study, Proceedings of the ICSE'97 Workshop on 'Living with Inconsistency', Boston
Zisman A, Kramer J, 1997, Supporting Interoperability of Autonomous Hospital Databases: A Case Study, Proceedings of the 1st East-European Symposium on Advances in Databases and Information Systems - ADBIS97
Cheung SC, Giannakopoulou D, Kramer J, 1997, Verification of Liveness Properties in Compositional Reachability Analysis, Proceedings of the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
Kramer J, Magee JN, 1997, Exposing the Skeleton in the Coordination Closet, Proceedings of the Coordination '97, Berlin, Pages: 366-366
Kramer J, Magee JN, 1997, Distributed Software Architectures: Tutorial, 19th IEEE Int. Conference On Software Engineering (ICSE-19), Boston, Pages: 633-634
Mendona N, Kramer J, 1997, A Quality-Based Analysis of Architecture Recovery Environments, Proceedings of the 1st Euromicro Working Conference on Software Maitenance and Reengineering (CSMR'97), Berlin, Germany, Publisher: IEEE CS Press, Pages: 54-59
Hirata C, Kramer J, 1997, An Investigation of use of World Views with Shared Variables in Time Warp, Journal of Simulation: Practice and Theory, Vol: 5, Pages: 515-533
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.