Article

Free access

The persistent store as an enabling technology for integrated project support environments

Authors:

Malcolm P. AtkinsonAuthors Info & Claims

ICSE '85: Proceedings of the 8th international conference on Software engineering

Pages 166 - 172

Published: 01 August 1985 Publication History

PDF eReader

Abstract

The software engineering community has recognised the need for integrated project support environments (IPSEs) for some time. The technique of integration as a method of cost saving applies to all levels in the hierarchy of problem solving, both hardware and software. This paper discusses one such level, that in which the IPSE is implemented and in particular the use of a persistent store as an enabling technology for IPSEs.

The facilities of the language PS-ALGOL necessary to support an IPSE are illustrated by example and it is demonstrated how an IPSE's base may be provided by a persistent store that supports first class procedures as data objects. The need for a type secure object system which allows static and dynamic binding is demonstrated and finally the secure transactional base of PS-ALGOL is shown to be a necessary and sufficient condition to provide secure version control and concurrent access to both programs and data.

References

[1]

Atkinson, M.P., Bailey, P.J., Cockshott, W-P., & Morrison, R., 'PS-algol reference manual', Universities of Edinburgh & St Andrews PPR-8 (1984).

Google Scholar

[2]

Atkinson, M.P. & Morrison, R., 'First class functions are enough', 4th Conference on the Foundations of Theoretical Computer Science and Software technology, Bangalore, India (19841, In Lecture Notes in Computer Science, 181 (1984), 223-240, Springer-Verlag.

Digital Library

Google Scholar

[3]

Atkinson, M.P., Bailey, P.J., Cockshott, W.P., Chisholm, K.J. & Morrison, R., 'An approach to Persistent programming', Computer Journal 26, 4 (19831, 360-365.

Crossref

Google Scholar

[4]

Cockshott, W.P., Atkinson, M.P., Bailey, P.J., Chisholm, K.J. a Morrison, R., 'The persistent object management system', Software, Practice 8 Experience 14 (1984).

Google Scholar

[5]

Horning, J.J., 'Some desirable properties of data abstraction facilities', ACM Sigplan Notices 11 (19761, 60-62.

Digital Library

Google Scholar

[6]

Ichbiah et al, 'The Programming Language Ada Reference Manual', ANSI/MIL-STD-1815A-1983 (1983).

Google Scholar

[7]

Liskov, B. & Zilles, S.N., 'Programming with abstract data types', ACM Sigplan Notices 9, 4 (1974), 50-59.

Digital Library

Google Scholar

[8]

Milner, R., 'A proposal for standard ML', Technical Report cSR-157-83, University of Edinburgh (1983).

Google Scholar

[9]

Morrison, R., 'S-algol language reference manual', University of St Andrews CS/79/1 (1979).

Google Scholar

[10]

Morrison, R., 'The string as a simple data type ', Sigplan Notices 17, 3 (1982), 46-52.

Digital Library

Google Scholar

[11]

Strachey, C., 'Fundamental concepts in programming languages', Oxford University Press, Oxford (1967).

Google Scholar

[12]

Zilles, S.N., 'Procedural encapsulation : a linguistic protection technique', ACM Sigplan Notices 8, 9 (1973).

Digital Library

Google Scholar

Cited By

View all

Warboys BBalasubramaniam DGreenwood RKirby GMayes KMorrison RMunro DNierstrasz OLemoine M(1999)Collaboration and compositionProceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering10.5555/318773.318787(75-90)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.5555/318773.318787
Warboys BBalasubramaniam DGreenwood RKirby GMayes KMorrison RMunro D(1999)Collaboration and compositionACM SIGSOFT Software Engineering Notes10.1145/318774.31878724:6(75-90)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.1145/318774.318787
Connor RCutts QKirby GMorrison RBerghel HHlengl TUrban J(1994)Using persistence technology to control schema evolutionProceedings of the 1994 ACM symposium on Applied computing10.1145/326619.326805(441-446)Online publication date: 6-Apr-1994
https://dl.acm.org/doi/10.1145/326619.326805

Index Terms

The persistent store as an enabling technology for integrated project support environments
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. Development frameworks and environments
      1. Integrated and visual development environments

Recommendations

XSPER—An approach for generating extensible integrated project support environments
Multiversioning and Logging in the Grasshopper Kernel Persistent Store
IWOOOS '95: Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems

Abstract: The Grasshopper operating system supports persistence of all system entities including computations. It also makes strong guarantees about the consistency of the system after a restart. A central part of the implementation of this is the store ...
Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent,Distributed Applications Support Environment.

Comments

Information & Contributors

Information

Published In

ICSE '85: Proceedings of the 8th international conference on Software engineering

August 1985

402 pages

ISBN:0818606207

Chairmen:
Meir M. Lehman,
Horst H�nke
Commission of European Communities, Brussels, Belgium
,
Barry Boehm
TRW-DSG, Redondo, CA

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 August 1985

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
195
Total Downloads

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

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Warboys BBalasubramaniam DGreenwood RKirby GMayes KMorrison RMunro DNierstrasz OLemoine M(1999)Collaboration and compositionProceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering10.5555/318773.318787(75-90)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.5555/318773.318787
Warboys BBalasubramaniam DGreenwood RKirby GMayes KMorrison RMunro D(1999)Collaboration and compositionACM SIGSOFT Software Engineering Notes10.1145/318774.31878724:6(75-90)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.1145/318774.318787
Connor RCutts QKirby GMorrison RBerghel HHlengl TUrban J(1994)Using persistence technology to control schema evolutionProceedings of the 1994 ACM symposium on Applied computing10.1145/326619.326805(441-446)Online publication date: 6-Apr-1994
https://dl.acm.org/doi/10.1145/326619.326805

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Cited By

Index Terms

Recommendations

XSPER—An approach for generating extensible integrated project support environments

Multiversioning and Logging in the Grasshopper Kernel Persistent Store

Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent,Distributed Applications Support Environment.

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

XSPER—An approach for generating extensible integrated project support environments

Multiversioning and Logging in the Grasshopper Kernel Persistent Store

Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent,Distributed Applications Support Environment.

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations