Publications
362 results found
Kramer J, Magee JN, 1997, Exposing the Skeleton in the Coordination Closet, Coordination Languages and Models, 2nd International Conference Coordination '97, Berlin, Pages: 18-31
Magee J, Kramer J, Giannakopoulou D, 1997, Analysing the behaviour of distributed software architectures: A case study, 6th IEEE Computer-Society Workshop on Future Trends of Distributed Computing Systems (FTDCS 97), Publisher: I E E E, COMPUTER SOC PRESS, Pages: 240-245
- Author Web Link
- Cite
- Citations: 10
Giannakopoulou D, Kramer J, Cheung SC, 1997, TRACTA: An Environment for Analysing the Behaviour of Distributed Systems, Proceedings of 1st ACM SIGPLAN Workshop on Automatic Analysis of Software (AAS '97), Paris, Pages: 113-126
Magee J, Tseng A, Kramer J, 1997, Composing distributed objects in CORBA, 3rd International Symposium on Autonomous Decentralized Systems (ISADS 97), Publisher: I E E E, COMPUTER SOC PRESS, Pages: 257-263
- Author Web Link
- Cite
- Citations: 10
Nuseibeh B, Finkelstein A, Kramer J, 1996, Method engineering for multi-perspective software development, INFORMATION AND SOFTWARE TECHNOLOGY, Vol: 38, Pages: 267-274, ISSN: 0950-5849
- Author Web Link
- Cite
- Citations: 23
Ng K, Kramer J, Magee J, 1996, A CASE tool for software architecture design, Automated Software Engineering, Vol: 3, Pages: 261-284, ISSN: 0928-8910
This paper describes the Software Architect's Assistant, an automated visual tool for the design and construction of Regis distributed programs. Unlike conventional CASE tools and their supported methodologies, the Architect's Assistant supports a compositional approach to program development in which the software architecture plays a central role throughout the software life-cycle - from the early design stage through to system management and evolution. In its implementation, we have addressed some of the limitations of existing CASE tools, particularly in the degree of automated support offered to the human developer. Conscious effort has been made to maximise usability and efficiency, primarily by enhancing the level of automation and flexibility together with careful design of the user interface. Our objective is to provide a tool which automates all mundane clerical tasks, enforces program correctness and consistency and, at the same time, accommodates the individual working styles of its users. Although currently specific to the development of Regis programs, the Architect's Assistant embodies concepts and ideas which are applicable to CASE tools in general. © 1996 Kluwer Academic Publishers.
Kramer J, Nuseibeh B, Finkelstein A, 1996, Method Integration and Support for Distributed Software Development: an overview, Lecture Notes in Computer Science, Publisher: Springer-Verlag, Pages: 115-126
Cheung SC, Kramer J, 1996, Context Constraints for Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology, Vol: 5, Pages: 334-377
Zisman A, Kramer J, 1996, An Information Discovery Process for Interoperable Heterogeneous Databases, Proceedings of the Americas Conference on Information Systems, Association for Information Systems (AIS'96), Pages: 617-619
Mendona N, Kramer J, 1996, Requirements for an Effective Architecture Recovery Framework, Joint Proceedings of the ACM SIGSOFT '96 Workshops, and Proc.of the 2nd International Software Architecture Workshop (ISAW-2), Pages: 101-105
Magee J, Kramer J, Dulay N, et al., 1996, A Visual Approach to Distributed Programming, Tools and Environments for Distributed Systems, Publisher: Kluwer
Moazami-Goudarzi K, Kramer J, 1996, Maintaining Node Consistency in the Face of Dynamic Change, Proceedings of the 3rd IEEE International Conference on Configurable Distributed Systems (CDS 96), Annapolis
Cheung SC, Kramer J, 1996, Checking Subsystem Properties in Compositional Reachability Analysis, Proceedings of the 18th IEEE International conference on Software Engineering (ICSE-18), Berlin
Ng K, Kramer J, Magee JN, 1996, Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), Vol: 3, Pages: 261-284
Magee JN, Kramer J, 1996, Self Organising Software Architectures, Joint Proceedings of the ACM SIGSOFT '96 Workshops, and Proc. of the 2nd International Software Architecture Workshop (ISAW-2), Pages: 35-38
Zisman A, Kramer J, 1996, An Architecture to Support Interoperability of Autonomous Database Systems, Proc. of the 2nd International Baltic Workshop on DB and IS, Estonia
Kramer J, Finkelstein A, Nuseibeh B, 1996, Method Integration and Support for Distributed Software Development: an overview, ICSE '93 Workshop on Studies of Software Design,Baltimore, Maryland, Publisher: Springer Verlag, Pages: 115-126
Magee JN, Kramer J, 1996, Self Organising Software Architectures, Joint Proceedings of the ACM SIGSOFT '96 Workshops, and Proc. of the 2nd International Software Architecture Workshop (ISAW-2), Pages: 35-38
Magee JN, Kramer J, 1996, Dynamic Structure in Software Architectures, Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, Pages: 3-14
Kramer J, Wolf A, 1996, Proceedings of the 8th International Workshop on Software Specification and Design, SIGSoft, Publisher: ACM Press
Zisman A, Kramer J, 1995, Towards interoperability in heterogeneous database systems, Departmental Technical Report: 95/11, Publisher: Department of Computing, Imperial College London
Distributed heterogeneous databases consist of systems which differ physically and logically, containing different data models and data manipulation languages. Although these databases are independently created and administered they must cooperate and interoperate. Users need to access and manipulate data from several databases and applications may require data from a wide variety of independent databases. Therefore, a new system architecture is required to manipulate and manage distinct and multiple databases, in a transparent way, while preserving their autonomy.This report contains an extensive survey on heterogeneous databases, analysing and comparing the different aspects, concepts and approaches related to the topic. It introduces an architecture to support interoperability among heterogeneous database systems. The architecture avoids the use of a centralised structure to assist in the different phases of the interoperability process. It aims to support scalability, and to assure privacy and nfidentiality of the data. The proposed architecture allows the databases to decide when to participate in the system, what type of data to share and with which otherdatabases, thereby preserving their autonomy. The report also describes an approach to information discovery in the proposed architecture, without using any centralised structure as repositories and dictionaries, and broadcasting to all databases. It attempts to reduce the number of databases searched and to preserve the privacy of the shared data. The main idea is to visit a database that either containsthe requested data or knows about another database that possible contains this data.
Kramer J, Magee J, Eisenbach S, 1995, Modelling Darwin in pi-Calculus, Theory and Practice in Distributed Systems, Publisher: Springer-Verlag, Pages: 133-152
Leonhardt U, Finkelstein A, Kramer J, et al., 1995, Decentralised process enactment, Departmental Technical Report: 95/5, Publisher: Department of Computing, Imperial College London
The Viewpoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of decentralised process models to drive consistency checking and conflict resolution in this framework. Our process models use pattern matching on local development histories to determine the particular situation (state) of the development process, and employ rules to trigger situation-dependent assistance to the user. We describe how communication between such process models facilitates the decentralised management of explicitly defined consistency constraints in the Viewpoints framework.
Ng K, Kramer J, Magee J, et al., 1995, The software architect's assistant-a visual environment for distributed programming, Pages: 254-263, ISSN: 1530-1605
This paper describes work on the application of visual techniques to the design and construction of parallel and distributed programs. In particular, it looks at how the software architectural view can be effectively utilised to provide a common framework for integrating the various software development activities, ranging from early, informal program design to the evolution of the running program. A prototype visual programming environment-the Software Architect's Assistant-has been built for the design and development of Regis distributed programs. It provides the user with automated, intelligent assistance throughout the software design process. Facilities provided include the display of integrated graphical and textual views, a flexible mechanism for recording design information and the automatic generation of program code and formatted reports from design diagrams. Software reuse is also supported through the use of component libraries. Support for graphical monitoring and management of running programs, currently provided by a complementary tool, will be integrated into the environment to provide a complete solution for visual distributed programming.
Ng K, Kramer J, Magee JN, et al., 1995, The System Architect's Assistant - A Visual Environment for Distributed Programming, Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28), Pages: 254-259
Magee J, Kramer J, Eisenbach S, 1995, System Structuring: A Convergence of Theory and Practice?, Dagstuhl International Workshop on Theory and Practice in Distributed Systems
Darwin is a general purpose structuring tool of use in building complex distributed systems from diverse components and diverse component interaction mechanisms. It is in essence a declarative binding language which can be used to define hierarchic compositions of interconnected components. Distribution is dealt with orthogonally to system structuring. The language allows the specification of both static structures and dynamic structures which evolve during execution. The central abstractions managed by Darwin are components and services. Bindings are formed by manipulating references to services. \r\n\r\nThe paper describes the operational semantics of Darwin in terms of the pi-calculus, MilnerÆs calculus of mobile processes. The correspondence between the treatment of names in the pi-calculus and the management of service references in Darwin leads to an elegant and concise pi-calculus model of DarwinÆs operational semantics. The model has proved useful in arguing the correctness of Darwin implementations and in designing\r\nextensions to Darwin and reasoning about their behaviour. The paper discusses the reasons why other formalisms fail to capture elegantly the system structuring concepts on which Darwin is based.
Crane S, Dulay N, Fossa H, et al., 1995, K.P Configuration Management for Distributed Software Services, IFIP/IEEE International. Symposium on Integrated Network Management (ISINM95), Santa Barbara
Magee JN, Dulay N, Eisenbach S, et al., 1995, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference, ESEC '95 , Barcelona
Magee JN, Dulay N, Eisenbach S, et al., 1995, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference, ESEC '95 , Barcelona
NG K, KRAMER J, 1995, Automated support for distributed software design, 7th International Workshop on Computed-Aided Software Engineering, Publisher: I E E E, COMPUTER SOC PRESS, Pages: 381-390
- Author Web Link
- Cite
- Citations: 2
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.