Skip to main content
padlock icon - secure page this page is secure

Extended Statecharts for and specification of manufacturing control software systems the modelling

Buy Article:

$61.00 + tax (Refund Policy)

Building software systems that are easier to use implies addressing the issue of increasing complexities in managing processes and communication between processes. In order to manage complexity, it is very important to have tools, notation, and methodologies which support the designer's work during design resolution. This paper introduces Extended Statecharts as a comprehensive modelling mechanism for high-level systems design. Extended Statecharts allow for the implicit representation of declarable, problem-specific system soft failures, thereby allowing for failure related information to be incorporated into the highlevel system design. Temporal logic is used for verification of important design properties. An example of an assembly process is used to illustrate the capabilities of Extended Statecharts.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Publication date: January 1, 1997

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more