Article

Free access

Specification level interoperability

Authors:

J. C. Wileden,

Alexander L. Wolf,

W. R. Rosenblatt,

P. L. TarrAuthors Info & Claims

ICSE '90: Proceedings of the 12th international conference on Software engineering

Pages 74 - 85

Published: 01 February 1990 Publication History

PDF eReader

References

[1]

Special Issue on the Interface Description Language IDL. ACM SIGPLAN Notices, 22(11), November 1987.

Google Scholar

[2]

T. Andrews and C. Harris. Combining Language and Database Advances in an Object-Oriented Development Environment. In OOPSLA Conference Proceedings, pages 430-440, October 1987. Published as ACM SIGPLAN Notices, vol. 22, no. 12, December 1987.

Digital Library

Google Scholar

[3]

Apollo Computer Inc., Chelmsford, MA. Network Computing System: A Technical Overview, 1989.

Google Scholar

[4]

G.S. Avrunin, L.K. Dillon, and J.C. Wileden. Experiments in Automated Analysis of Concurrent Software Systems. In Proc. ACM Software Testing, Analysis and Verification Symposium, December 1989. To appear.

Digital Library

Google Scholar

[5]

E. Balkovich, S. Lerman, and R.P. Parmelee. Computing in Higher Education: The Athena Experience. Communications of the ACM, 28(11):1214- 1224, November 1985.

Digital Library

Google Scholar

[6]

B.N. Bershad, D.T. Ching, E.D. Lazowska, J. Sanislo, and M. Schwartz. A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems. IEEE Transactions on Software Engineering, SE-13(8):880-894, August 1987.

Digital Library

Google Scholar

[7]

A.D. Birrell and B.J. Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.

Digital Library

Google Scholar

[8]

A. Black, N. Hutchinson, E. Jul, and H. Levy. Object Structure in the Emerald System. Technical Report 86-04-03, University of Washington, Department of Computer Science, April 1986.

Digital Library

Google Scholar

[9]

L.A. Clarke, J.C. Wileden, and A.L. Wolf. Object Management Support for Software Development Environments. In Proc. 1987 Appin Workshop on Persistent Object Stores, pages 363-381, July 1987.

Google Scholar

[10]

A. Dearle, R. Connor, F. Brown, and R. Morrison. Napier88-A Database Programming Language? In Proc. 2nd International Workshop on Database Programming Languages, pages 213-229, June 1989.

Digital Library

Google Scholar

[11]

P.B. Gibbons. A Stub Generator for Multilanguage RPC in Heterogeneous Environments. IEEE Transactions of Software Engineering, SE-13(1):77-87, January 1987.

Digital Library

Google Scholar

[12]

R. Hayes, S.W. Manweiler, and R.D. Schlichting. A Simple System for Constructing Distributed, Mixedlanguage Programs. Software-Practice and Experience, 18(7):641-660, July 1988.

Digital Library

Google Scholar

[13]

M. Herlihy and B. Liskov. A Value Transmission Method for Abstract Data Types. ACM Transactions on Programming Languages and Systems, 4(4):527- 551, October 1982.

Digital Library

Google Scholar

[14]

M.B. Jones, RF. Rashid, and MR. Thompson. Matchmaker: An Interface Specification Language for Distributed Processing. In Proc. 12th ACM Symposium on Principles of Programming Languages, January 1985.

Digital Library

Google Scholar

[15]

S.E. Keene. Object-Oriented Programming in Common LISP: A Programmer's Guide to CLOS. Addison- Wesley, 1989.

Digital Library

Google Scholar

[16]

B. Liskov, T. Bloom, D. Gifford, R. Scheifler, and W. Weihl. Communication in the Mercury System. Programming Methodology Group Memo 59-1, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, April 1988.

Google Scholar

[17]

B. Liskov and R. Scheifler. Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Transactions on Programming Languages and Systems, 5(3):381-404, July 1983.

Digital Library

Google Scholar

[18]

M. Maybee and S.D. Sykes. Q: Towards a Multilingual Interprocess Communications Model. Technical report, University of Colorado, Boulder, Colorado, February 1989.

Google Scholar

[19]

J.H. Morris, M. Satyanarayanan, M.H. Conner, J.H. Howard, D.S.H. Rosenthal, and F.D. Smith. Andrew: A Distributed Personal Computing Environment. Communications of the ACM, 29(3):184-201, March 1986.

Digital Library

Google Scholar

[20]

W.R. Rosenblatt, J.C. Wileden, and A.L. Wolf. OROS: Toward A Type Model for Software Development Environments. In OOPSLA Conference Proceedings, pages 297-304, October 1989. Published as ACM SIGPLAN Notices, vol. 24, no. 10, October 1989.

Digital Library

Google Scholar

[21]

M. Stonebraker, E. Wong, P. Kreps, and G. Held. The Design and Implementation of Ingres. ACM Transactions on Database Systems, 1(3):189-222, September 1976.

Digital Library

Google Scholar

[22]

Sun Microsystems, Inc., Mountain View, CA. External Data Representation Reference Manual, January 1985.

Google Scholar

[23]

R.N. Taylor, F.C. Belz, L.A. Clarke, L.J. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, and M. Young. Foundations for the Arcadia Environment Architecture. In Proc. 3rd ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments, pages 1-13, December 1988. Published as ACM SIGPLAN Notices, vol. 24, no. 2, February 1989.

Digital Library

Google Scholar

[24]

D. Vines and T. King. Gaia: An Object-Oriented Framework for an Ada Environment. In Proc. 3rd International IEEE Conference on Ada Applications and Environments, pages 81-92, May 1988.

Crossref

Google Scholar

[25]

B. Walker, G. Popek, R. English, C. Kline, and G. Thiel. The LOCUS Distributed Operating System. In Proc. 9th ACM Symposium on Operating System Principles, pages 49-70, October 1983.

Digital Library

Google Scholar

[26]

J.C. Wileden and A.L. Wolf. Object Management Technology for Environments: Experiences, Opportunities and Risks. In Proc. International Workshop on Environments, September 1989. to appear.

Digital Library

Google Scholar

[27]

J.C. Wileden, A.L. Wolf, C.D. Fisher, and P.L. Tarr. PGraphite: An Experiment in Persistent Typed Object Management for Environments. In Proc. 3rd ACM SIGSCFT/SIGPLAN Symposium on Practical Software Development Environments, pages 130-142, December 1988. Published as ACM SIGPLAN Notices, vol. 24, no. 2, February 1989.

Digital Library

Google Scholar

[28]

J.C. Wileden, A.L. Wolf, W.R. Rosenblatt, and P.L. Tarr. UTM-0: Initial Proposal for a Unified Qpe Model for Arcadia Environments. Arcadia Design Document UM-89-01, Department of Computer and Information Science, University of Massachusetts, Amherst, Massachusetts, February 1989.

Google Scholar

[29]

Xerox Corp., Palo Alto, California. Courier: The Remote Procedure Call Protocol, Technical Report XSIS 038112, December 1981.

Google Scholar

[30]

S.B. Zdonik and P. Wegner. Language and Methodology for Object-Oriented Database Environments. In Proc. 19th Annual Hawaii International Conference on System Sciences, pages 378-387, 1986.

Google Scholar

Cited By

View all

Su SLam HArroyo-Figueroa JYu TYang ZNicholas C(1995)An extensible knowledge base management system for supporting rule-based interoperability among heterogeneous systemsProceedings of the fourth international conference on Information and knowledge management10.1145/221270.221280(1-10)Online publication date: 2-Dec-1995
https://dl.acm.org/doi/10.1145/221270.221280
Tarr PSutton SBasili VDeMillo RKatayama T(1993)Programming heterogeneous transactions for software development environmentsProceedings of the 15th international conference on Software Engineering10.5555/257572.257657(358-369)Online publication date: 21-May-1993
https://dl.acm.org/doi/10.5555/257572.257657
Beach BMontgomery T(1992)Connecting software components with declarative glueProceedings of the 14th international conference on Software engineering10.1145/143062.143104(120-137)Online publication date: 1-Jun-1992
https://dl.acm.org/doi/10.1145/143062.143104
Show More Cited By

Index Terms

Specification level interoperability
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
    2. Software development techniques
  2. Software notations and tools
    1. Development frameworks and environments
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

Interoperability in digital electrocardiography: harmonization of ISO/IEEE x73-PHD and SCP-ECG

The ISO/IEEE 11073 (x73) family of standards is a reference frame for medical device interoperability. A draft for an ECG device specialization (ISO/IEEE 11073-10406-d02) has already been presented to the Personal Health Device (PHD) Working Group, and ...
Specification Level Interoperability
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication Technology

OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '90: Proceedings of the 12th international conference on Software engineering

February 1990

337 pages

ISBN:0897913493

Chairman:
François-Régis Valette

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 February 1990

Check for updates

Qualifiers

Article

Conference

ICSE90

Sponsor:

SIGSOFT
AFCET
IEEE-CS

ICSE90: International Conference on Software Engineering

March 26 - 30, 1990

Nice, France

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

6
Total Citations
View Citations
277
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)3

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Su SLam HArroyo-Figueroa JYu TYang ZNicholas C(1995)An extensible knowledge base management system for supporting rule-based interoperability among heterogeneous systemsProceedings of the fourth international conference on Information and knowledge management10.1145/221270.221280(1-10)Online publication date: 2-Dec-1995
https://dl.acm.org/doi/10.1145/221270.221280
Tarr PSutton SBasili VDeMillo RKatayama T(1993)Programming heterogeneous transactions for software development environmentsProceedings of the 15th international conference on Software Engineering10.5555/257572.257657(358-369)Online publication date: 21-May-1993
https://dl.acm.org/doi/10.5555/257572.257657
Beach BMontgomery T(1992)Connecting software components with declarative glueProceedings of the 14th international conference on Software engineering10.1145/143062.143104(120-137)Online publication date: 1-Jun-1992
https://dl.acm.org/doi/10.1145/143062.143104
Brown APenedo M(1992)An annotated bibliography on integration in software engineering environmentsACM SIGSOFT Software Engineering Notes10.1145/140938.14094417:3(47-55)Online publication date: 1-Jul-1992
https://dl.acm.org/doi/10.1145/140938.140944
Clément D(1990)A distributed architecture for programming environmentsACM SIGSOFT Software Engineering Notes10.1145/99278.9928015:6(11-21)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.1145/99278.99280
Clément D(1990)A distributed architecture for programming environmentsProceedings of the fourth ACM SIGSOFT symposium on Software development environments10.1145/99277.99280(11-21)Online publication date: 1-Oct-1990
https://dl.acm.org/doi/10.1145/99277.99280

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Interoperability in digital electrocardiography: harmonization of ISO/IEEE x73-PHD and SCP-ECG

Specification Level Interoperability

Faithfully formalizing OSEK/VDX operating system specification