Publications
202 results found
Karamanolis C, Magee JN, 1997, Client Access Protocols for Replicated Services, Proceedings of 3rd IEEE International Conf. on Engineering Of Complex Computer Systems (ICECCS'97), Publisher: IEEE Computer Society Press
Donaldson DI, Magee JN, 1997, Distributed system design using CORBA components, 30th Hawaii International Conference on System Sciences (HICSS 30), Publisher: IEEE COMPUTER SOC, Pages: 4-13, ISSN: 1060-3425
Leonhardt U, Magee JN, 1997, Security Considerations for a Distributed Location Service, HP Open View University Association Workshop
Kramer J, Magee JN, 1997, Distributed Software Architectures: Tutorial, 19th IEEE Int. Conference On Software Engineering (ICSE-19), Boston, Pages: 633-634
Karamanolis C, Magee J, 1997, Client-access protocols for replicated services, 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 97), Publisher: I E E E, COMPUTER SOC PRESS, Pages: 106-115
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
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
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, Exposing the Skeleton in the Coordination Closet, Coordination Languages and Models, 2nd International Conference Coordination '97, Berlin, Pages: 18-31
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.
Leonhardt U, Magee JN, Dias P, 1996, Location service in mobile computing environments, International Workshop on Visualization and Mobile Computing
Karamanolis CT, Magee JN, 1996, A replication protocol to support dynamically configurable groups of servers, 3rd International Conference on Configurable Distributed Systems, Publisher: I E E E, COMPUTER SOC PRESS, Pages: 161-168
- Author Web Link
- Cite
- Citations: 2
Magee J, Kramer J, Dulay N, et al., 1996, A Visual Approach to Distributed Programming, Tools and Environments for Distributed Systems, Publisher: Kluwer
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
Leonhardt U, Magee J, 1996, Towards a general location service for mobile environments, 3rd International Workshop on Services in Distributed and Networked Environments, Publisher: I E E E, COMPUTER SOC PRESS, Pages: 43-50
- Author Web Link
- Cite
- Citations: 26
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
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
Kramer J, Magee J, Eisenbach S, 1995, Modelling Darwin in pi-Calculus, Theory and Practice in Distributed Systems, Publisher: Springer-Verlag, Pages: 133-152
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.
Crane S, Dulay N, Fossa H, et al., 1995, Configuration Management for Distributed Software Services, Proceedings of IFIP/ IEEE International Symposium on Integrated Network Management (ISINM 95), Santa Barbara, Publisher: Chapman Hall, Pages: 29-42
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
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
KARAMANOLIS CT, MAGEE JN, 1995, Configurable highly available distributed services, 14th Symposium on Reliable Distributed Systems, Publisher: I E E E, COMPUTER SOC PRESS, Pages: 118-127
- Author Web Link
- Cite
- Citations: 3
Magee JN, Dulay N, Eisenbach S, et al., 1995, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference, ESEC '95 , Barcelona
Crane S, Dulay N, Fossa H, et al., 1995, Configuration Management for Distributed Software Services, Proceedings of IFIP/ IEEE International Symposium on Integrated Network Management (ISINM 95), Publisher: Chapman Hall, Pages: 29-42
Crane S, Magee JN, Pryce N, 1995, Design Patterns for Binding in Distributed Systems, OOPSLA-95
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.
Eisenbach S, Kramer J, Magee JN, 1994, Regis-Darwin specified in the p-Calculus, Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Publisher: IEEE
Magee JN, Eisenbach S, Kramer J, 1994, Modelling Darwin in the Pi-calculus, International Workshop on Theory and Practice in Distributed Systems, Publisher: Springer-Verlag
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.