A formal approach to system design and refinement

Vijay Varadharajan

doi:10.1109/CMPEUR.1990.113675

A formal approach to system design and refinement

Vijay Varadharajan^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

1 Citation (Scopus)

Abstract

The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is made of some of the work that has been done in this area. A subclass of nets called information flow nets (IFNs) is proposed, and the notion of a well-behaved IFN is defined. A refinement procedure for IFNs is presented, and the conditions required for the refinement procedure to preserve well-behavedness are derived. The theorem of refinement of IFNs is given. The author formulates appropriate interpretations for the properties of the nets, enabling him to synthesize systems in different applications.

Original language	English
Title of host publication	COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems
Place of Publication	Piscataway, N.J.
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	544-545
Number of pages	2
ISBN (Print)	0818620412
DOIs	https://doi.org/10.1109/CMPEUR.1990.113675
Publication status	Published - May 1990
Externally published	Yes
Event	Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - COMPEURO '90 - Tel-Aviv, Isr Duration: 8 May 1990 → 10 May 1990

Other

Other	Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - COMPEURO '90
City	Tel-Aviv, Isr
Period	8/05/90 → 10/05/90

Access to Document

10.1109/CMPEUR.1990.113675

Cite this

Varadharajan, V. (1990). A formal approach to system design and refinement. In COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems (pp. 544-545). Article 113675 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CMPEUR.1990.113675

@inproceedings{79aba0fb52214e52930a5567898d8f32,

title = "A formal approach to system design and refinement",

abstract = "The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is made of some of the work that has been done in this area. A subclass of nets called information flow nets (IFNs) is proposed, and the notion of a well-behaved IFN is defined. A refinement procedure for IFNs is presented, and the conditions required for the refinement procedure to preserve well-behavedness are derived. The theorem of refinement of IFNs is given. The author formulates appropriate interpretations for the properties of the nets, enabling him to synthesize systems in different applications.",

author = "Vijay Varadharajan",

year = "1990",

month = may,

doi = "10.1109/CMPEUR.1990.113675",

language = "English",

isbn = "0818620412",

pages = "544--545",

booktitle = "COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - COMPEURO '90 ; Conference date: 08-05-1990 Through 10-05-1990",

}

Varadharajan, V 1990, A formal approach to system design and refinement. in COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems., 113675, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, N.J., pp. 544-545, Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - COMPEURO '90, Tel-Aviv, Isr, 8/05/90. https://doi.org/10.1109/CMPEUR.1990.113675

A formal approach to system design and refinement. / Varadharajan, Vijay.
COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems. Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE), 1990. p. 544-545 113675.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A formal approach to system design and refinement

AU - Varadharajan, Vijay

PY - 1990/5

Y1 - 1990/5

N2 - The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is made of some of the work that has been done in this area. A subclass of nets called information flow nets (IFNs) is proposed, and the notion of a well-behaved IFN is defined. A refinement procedure for IFNs is presented, and the conditions required for the refinement procedure to preserve well-behavedness are derived. The theorem of refinement of IFNs is given. The author formulates appropriate interpretations for the properties of the nets, enabling him to synthesize systems in different applications.

AB - The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize arbitrary size well-behaved Petri nets, using a stepwise refinement technique. This technique provides a method for constructing large systems that are well-behaved by design. The steps that are required in developing a synthesis procedure are outlined and brief mention is made of some of the work that has been done in this area. A subclass of nets called information flow nets (IFNs) is proposed, and the notion of a well-behaved IFN is defined. A refinement procedure for IFNs is presented, and the conditions required for the refinement procedure to preserve well-behavedness are derived. The theorem of refinement of IFNs is given. The author formulates appropriate interpretations for the properties of the nets, enabling him to synthesize systems in different applications.

UR - https://www.scopus.com/pages/publications/0025683425

U2 - 10.1109/CMPEUR.1990.113675

DO - 10.1109/CMPEUR.1990.113675

M3 - Conference proceeding contribution

AN - SCOPUS:0025683425

SN - 0818620412

SP - 544

EP - 545

BT - COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, N.J.

T2 - Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - COMPEURO '90

Y2 - 8 May 1990 through 10 May 1990

ER -

Varadharajan V. A formal approach to system design and refinement. In COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering - Systems Engineering Aspects of Complex Computerized Systems. Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE). 1990. p. 544-545. 113675 doi: 10.1109/CMPEUR.1990.113675

A formal approach to system design and refinement

Abstract

Other

Access to Document

Other files and links

Cite this