An environment for operational software engineering in Ada

Authors:
M. Baldassari;G. Bruno
Affiliations:
Dipartimento di Automatica e Informatica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129 Torino (Italy);Dipartimento di Automatica e Informatica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129 Torino (Italy)
Venue:
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Year:
1989

Citing 14
Cited 0

Programming expert systems in OPS5: an introduction to rule-based programming

Programming expert systems in OPS5: an introduction to rule-based programming
Analysis and Design in MSG.84: Formalizing Functional Specifications

IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Object-oriented development

IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems

IEEE Transactions on Software Engineering
Petri nets in software engineering

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Petri net-based object-oriented modelling of distributed systems

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Strategies for real-time system specification

Strategies for real-time system specification
An environment for object-oriented conceptual programming based on PROT nets

Advances in Petri Nets 1988
The operational versus the conventional approach to software development

Communications of the ACM
Structured Development for Real-Time Systems

Structured Development for Real-Time Systems
PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems

ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Control of Flexible Production Systems and Petri Nets

Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
Protocol analysis using numerical Petri nets

Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Structured Analysis and System Specification

Structured Analysis and System Specification

Quantified Score

Hi-index	0.00

Visualization

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.