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. (eds.), Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, pages 163-174.
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.
@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 }
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.