Article

Engineering distributed software: a structural discipline

Authors:

Jeff MageeAuthors Info & Claims

ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

Pages 283 - 285

https://doi.org/10.1145/1081706.1081709

Published: 01 September 2005 Publication History

Abstract

The role of structure in specifying, designing, analysing, constructing and evolving software has been the central theme of our research in Distributed Software Engineering. This structural discipline dictates formalisms and techniques that are compositional, components that are context independent and systems that can be constructed and evolved incrementally. This extended abstract overviews our development of a structural approach to engineering distributed software and gives indications of our future work which moves from explicit to implicit structural specification. With the benefit of hindsight we attempt to give a "rational history" to our research.

References

[1]

DeRemer F.and HH Kron, Programming-in-the-large versus Programming-in-the-small, IEEE Trans. on Software Engineering, 2(2): 80--86, June 1976.

Digital Library

[2]

Kramer J. and Magee J., Dynamic Configuration for Distributed Systems, IEEE Trans. on Software Eng., SE-11 (4), (1985), 424--436.

Digital Library

[3]

Magee J., Kramer J., and Sloman M.S., Constructing Distributed Systems in Conic, IEEE Trans. on Software Eng., SE-15 (6), (1989), 663--675.

Digital Library

[4]

Kramer J., Magee J. and Finkelstein A., A Constructive Approach to the Design of Distributed Systems, (10th IEEE Int. Conf on Distributed Computing Systems) Paris, (1990), 580--587.

[5]

Kramer J. and Magee J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans. on Software Eng., SE-16 (11), (1990), 1293--1306.

Digital Library

[6]

Kramer J., Magee J. and Ng K., Graphical Configuration Programming, IEEE Computer, 22 (10), (1989), 53--65.

Digital Library

[7]

Kramer J., Configuration Programming - A Framework for the Development of Distributable Systems, (IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90)), Tel-Aviv, Israel, (1990), 374--384.

[8]

Magee J., Dulay N. and Kramer J., Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, (1994), 304--312.

[9]

Perry D. E. and Wolf A. L, Foundations for the Study of Software Architectures, ACM SIGSOFT Software Engineering Notes, Vol. 17, No. 4, pp. 40--52.

Digital Library

[10]

Shaw M. and Garlan D., Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 96.

Digital Library

[11]

Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, (5th European Software Engineering Conference (ESEC '95), Sitges, September 1995), LNCS 989, (Springer-Verlag), 1995, 137--153.

Digital Library

[12]

Magee J. and Kramer J., Dynamic Structure in Software Architectures, (4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4)), San Francisco, (October 1996), SEN, Vol.21, No.6, November 1996, 3--14.

Digital Library

[13]

van Ommering, R., van der Linden, F., Kramer, J., and Magee, J. The Koala Component Model for Consumer Electronics Software. Computer 33, 3 (2000), 33--85.

Digital Library

[14]

Magee J. and Kramer J., Composing Distributed Objects in CORBA, in Information Systems Interoperability, Krmer B., Papazoglou M. and Schmidt H., Research Studies Press / John Wiley & Sons Inc., England, 1998.

Digital Library

[15]

Kruchten, P.: The 4+1 view model of architecture. IEEE Software 12(6), IEEE Computer Society Press (1995) 42--50.

Digital Library

[16]

Magee J. and Kramer J., Concurrency: State Models and Java Programs, Wiley 1999.

Digital Library

[17]

Magee J., Kramer J. and Giannakopoulou D., Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999, pages 35--50.

Digital Library

[18]

Cheung S.C. and Kramer J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, (18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996), 144--154.

Digital Library

[19]

Giannakopoulou D., Magee J. and Kramer J. Checking progress with Action Priority: Is it Fair?, ESEC / SIGSOFT FSE 1999, LNCS 1687, p511--527.

Digital Library

[20]

Giannakopoulou D. and Magee J., Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257--266.

Digital Library

[21]

Uchitel S., Kramer J. and Magee J., Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. TOSEM 13(1): 37--85 (2004).

Digital Library

[22]

Georgiadis I., Magee J. and Kramer J.: Self-organising software architectures for distributed systems. ACM WOSS 2002, p 33--38.

Digital Library

[23]

Chatley R., Eisenbach S., Kramer J., Magee J., Uchitel S., Predictable Dynamic Plugin Systems. FASE 2004, p129--143.

Cited By

Kramer JMagee J(2018)A rigorous architectural approach to adaptive software engineeringJournal of Computer Science and Technology10.1007/s11390-009-9216-524:2(183-188)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s11390-009-9216-5
Fairbanks GBierhoff KD'Souza DTarr PCook W(2006)Software architecture at a large financial firmCompanion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications10.1145/1176617.1176729(815-823)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176617.1176729
Kramer J(2006)Distributed Software EngineeringProceedings of the Sixth International Conference on Quality Software10.1109/QSIC.2006.23(7-9)Online publication date: 27-Oct-2006
https://dl.acm.org/doi/10.1109/QSIC.2006.23
Show More Cited By

Recommendations

Engineering distributed software: a structural discipline

The role of structure in specifying, designing, analysing, constructing and evolving software has been the central theme of our research in Distributed Software Engineering. This structural discipline dictates formalisms and techniques that are ...
Distributed Software Engineering in Collaborative Research Projects
ICGSE '15: Proceedings of the 2015 IEEE 10th International Conference on Global Software Engineering

Collaborative research projects involve distributed construction of software prototypes as part of the project methodology. A major challenge thereby is the need to establish a developer community that shall effectively and efficiently align development ...
Customizable Software Engineering Environments for Flexible Distributed Software Teams
APSEC '98: Proceedings of the Fifth Asia Pacific Software Engineering Conference

The recent interest in carrying out software engineering in a distributed manner could lead to a future increase in the contracting of software engineers, grouped into flexible, distributed software teams. One of the implications will be a requirement ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

September 2005

402 pages

ISBN:1595930140

DOI:10.1145/1081706

General Chair:
Michel Wermelinger
The Open University, UK
,
Program Chair:
Harald C. Gall
University of Zurich, Switzerland

ACM SIGSOFT Software Engineering Notes Volume 30, Issue 5
September 2005
462 pages
ISSN:0163-5948
DOI:10.1145/1095430
Issue’s Table of Contents

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE05

Sponsor:

ESEC/FSE05: Joint 10th European Software Engineering Conference 2005

September 5 - 9, 2005

Lisbon, Portugal

Acceptance Rates

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
1,045
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kramer JMagee J(2018)A rigorous architectural approach to adaptive software engineeringJournal of Computer Science and Technology10.1007/s11390-009-9216-524:2(183-188)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s11390-009-9216-5
Fairbanks GBierhoff KD'Souza DTarr PCook W(2006)Software architecture at a large financial firmCompanion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications10.1145/1176617.1176729(815-823)Online publication date: 22-Oct-2006
https://dl.acm.org/doi/10.1145/1176617.1176729
Kramer J(2006)Distributed Software EngineeringProceedings of the Sixth International Conference on Quality Software10.1109/QSIC.2006.23(7-9)Online publication date: 27-Oct-2006
https://dl.acm.org/doi/10.1109/QSIC.2006.23
Tamburri DLago PMuccini H(2010)Leveraging Software Architectures through the ISO/IEC 42010 Standard: A Feasibility StudyTrends in Enterprise Architecture Research10.1007/978-3-642-16819-2_6(71-85)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16819-2_6

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten