Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
A Petri net-based support for object-oriented specification of
complex control systems.
In Farwer et al. (Hrsg.), Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, pages 163-174.
Kurzfassung: Object-oriented methodologies offer a set of concepts and means which allow to model complex control systems. For such systems, the designers need a methodical support like UML to handle the complex models and to coordinate the different activities that are performed along the life-cycle. For each of these activities, it is also important to have formal support in order to enhance quality. The dependability of such systems enforces the need to formally validate and verify their models. In this paper, we address a Petri net-based formal support for object-oriented specification of complex control systems. Three complementary approaches, each of them providing a formal support for a given set of activities within the life-cycle, are combined into an overall one which concentrates on control aspects.
@InProceedings{Diagne+97b, author = {Diagne, Alioune and Ili{\'e}, Jean-Michel and Moldt, Daniel}, title = {A {Petri} net-based support for object-oriented specification of complex control systems}, crossref = {Farwer+-e-97}, pages = {163--174}, year = 1997, keywords = {colored Petri nets; distributed object-oriented control; modeling; prototyping; validation; verification;}, abstract = {Object-oriented methodologies offer a set of concepts and means which allow to model complex control systems. For such systems, the designers need a methodical support like UML to handle the complex models and to coordinate the different activities that are performed along the life-cycle. For each of these activities, it is also important to have formal support in order to enhance quality. The dependability of such systems enforces the need to formally validate and verify their models. In this paper, we address a Petri net-based formal support for object-oriented specification of complex control systems. Three complementary approaches, each of them providing a formal support for a given set of activities within the life-cycle, are combined into an overall one which concentrates on control aspects.} } @Proceedings{Farwer+-e-97, editor = {Farwer, Berndt and Moldt, Daniel and Stehr, Mark-Oliver}, title = {Proceedings of the Workshop on {Petri} Nets in System Engineering ({PNSE'97}), Hamburg, September 25-26, 1997}, booktitle = {Report {FBI-HH-B-205/97}: Proceedings of the Workshop on {Petri} Nets in System Engineering ({PNSE'97}), Hamburg, September 25-26, 1997}, number = {{FBI-HH-B-205/97}}, series = FBIBericht, publisher = FBIUniHHbis2005, month = sep, year = 1997 }
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.