Article

Free access

An environment for operational software engineering in Ada

Authors:

G. BrunoAuthors Info & Claims

TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment

Pages 126 - 146

https://doi.org/10.1145/74261.74271

Published: 03 January 1989 Publication History

Abstract

This paper presents PROTOB, an object-oriented methodology and CASE system based on an extended dataflow model defined using PROT nets. It consists of several tools supporting specification, modelling and prototyping activities within the framework of the operational software life cycle paradigm. As its major application area it addresses distributed systems, such as real-time embedded systems, communication protocols and manufacturing control systems. The system automatically generates the distributed and Object-Oriented implementation code in Ada exploiting advanced features of the language such as tasks and packages.

References

[1]

M. Baldazsari, G. Bruno. An Environment for Object- Oriented Conceptual Programming Based on PROT nets. In Advances in Petri nets, Lecture Notes in Compute~' Science n.$40, pages 1-19, Springer-Verlag, Berlin, 1988.

[2]

G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Soft. Eng., SE-12:346--357, February 1986.

Digital Library

[3]

M. Ajmone, L. Barbetta, F. Neri. A Petri net Simulation Model of HDLC. In TENCON 89, Bombay, November 1989.

[4]

M. Baldassari, G. Bruno. PROTOB, an Object- Oriented Language for Prototyping Discrete Event Dynamic Systems. Submitted.

[5]

M. Baldassari, G. Bruno. Operational Software Engineering with PROTOB. In CASE 89, London, July 1989.

[6]

M. Baldassari, G. Bruno, V. Russi, R. Zompi. PRO- TOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. In European Software Engineering Conference 1989, Coventry, September 1989.

Digital Library

[7]

P. Zave. The operational versus the conventional appxoach to software development. Comm. of the A CM, 27:104-118, February 1984.

Digital Library

[8]

G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211-221, February 1986.

Digital Library

[9]

IEEE Computer special issue on visual programming. August 1985.

[10]

R. Balser, T.E. Cheatham, and C. Green. Software technology in the 1990%: using a new paradigm. Computer, 16:39-45, November 1983.

Digital Library

[11]

T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.

Digital Library

[12]

1v. T. Ward and S. j. Mellor. St~'uctured development of real. time sitatems. Yourdon Press, 1985.

Digital Library

[13]

D. Harley and I. Pirbhai. Strategies for real-time sitstern specification. Dorset House Publishing, 1987.

Digital Library

[14]

W. Reisig. Petri nets for software engineering. In Petri Nets: Applications and relations to Other Models of Concurrency, pages 63-96, Springer-Verlag, Berlin, 1986.

[15]

P. Zave. An operational approach to requirement speciicatlon for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250-269, May 1982.

Digital Library

[16]

V. Berzins ~nd M. Gray. Analysis and design in MSG.84: formalizing functional specifications. IEEE Trans. on Soft, Eng., SE-11:657-670, August 1985.

Digital Library

[17]

IEEE Software special issue on CASE. March 1988.

[18]

K. Jensen. Coloured Petri nets and the invariantmethod. Theoretical Comput Sci., 14:317-336, 1981.

[19]

H.J. Genrlch and K. Lautenbach. System modelling with high level Petri nets. Theoretical Cornput. $ci., 13:109-136, 1981.

[20]

G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pages 435-452, Spdnser-Verlag, Berlin, 1986.

[21]

J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petal nets and coloured Petri nets using high-level concurrent languages. In Proc. Application a,d Theory of Petri Nets, pages 207-241, Oxford, June 1986.

[22]

R.A. Nelson, L.M. Haibt, and P.B. Sheridan. Casting Petri nets into programs. IEEE Trans. on 5oft. Eng., SE-9:590--602, September 1983.

Digital Library

[23]

G. Bruno and A. Balsamo. Petri net-based objectoriented modeling of distributed systems. In A CM Conf. on Object-oriented Programming, pages 284-293, Prtland Oregon, October 1986.

Digital Library

[24]

G. Bruno and A. Ella. Extending the entityrelationship approach for dinamic modeling purposes. In 5th International Conference On Entity-Relationship Approach, pages 327-339, Dijon, France, November 1986.

[25]

G. Bruno and A. Ella. Operational specification of process control systems: execution of PROT nets using OPSS. In l Oth World IFIP Congress, pages 35-40, Dublin, September 1986.

[26]

L. Brownston, 1t. FurreU, and E. Kant. Programming ezpert systems in 0P85. Addison Wesley, 1985.

Digital Library

[27]

It. Valette, M. Courvoisier, and D. Mayeux. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri nets, pages 264-277, Springer. Verlag, Berlin, 1983.

[28]

J. Martinez, P. Muro, and M. Silva. Modeling, vail dation and software implementation of production systerns using high level Petzi nets. In IEEE Int. Conf. on Robotics and Automation, pages 1180-1185, Raleigh NO, March 1987.

Cited By

Bruno GCastella A(1994)Requirements Engineering and Design Tools for Real-Time Systems: the Protob ApproachReal Time Computing10.1007/978-3-642-88049-0_22(471-486)Online publication date: 1994
https://doi.org/10.1007/978-3-642-88049-0_22
Baldassari MBruno G(1990)A methodology and environment for the object oriented analysis and design of real time systemsProceedings. EUROMICRO '90 Workshop on Real Time10.1109/EMWRT.1990.128231(72-78)Online publication date: 1990
https://doi.org/10.1109/EMWRT.1990.128231

Index Terms

An environment for operational software engineering in Ada
1. Information systems
  1. Data management systems
    1. Database management system engines
      1. Parallel and distributed DBMSs
2. Software and its engineering

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment

January 1989

670 pages

ISBN:0897913299

DOI:10.1145/74261

Chairmen:
J. T. Foreman
Software Engineering Institute
,
C. B. Engle
Florida Institute of Technology

Copyright © 1989 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

SIGAda: ACM Special Interest Group on Ada Programming Language

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 January 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
240
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)10

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bruno GCastella A(1994)Requirements Engineering and Design Tools for Real-Time Systems: the Protob ApproachReal Time Computing10.1007/978-3-642-88049-0_22(471-486)Online publication date: 1994
https://doi.org/10.1007/978-3-642-88049-0_22
Baldassari MBruno G(1990)A methodology and environment for the object oriented analysis and design of real time systemsProceedings. EUROMICRO '90 Workshop on Real Time10.1109/EMWRT.1990.128231(72-78)Online publication date: 1990
https://doi.org/10.1109/EMWRT.1990.128231

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Media

Figures

Other

Tables

View Table of Contents