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.
%0 Journal Article
%1 suraj_97_extended
%A Suraj, A.
%A Ramaswamy, S.
%A Barber, K. S.
%D 1997
%I Taylor & Francis
%J International Journal of Computer Integrated Manufacturing
%K 1997 statecharts _to_download
%N 1
%P 160--171
%R 10.1080/095119297131264
%T Extended Statecharts for and specification of manufacturing control software systems the modelling
%U http://dx.doi.org/10.1080/095119297131264
%V 10
%X 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.
@article{suraj_97_extended,
abstract = {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.},
added-at = {2009-02-11T22:20:27.000+0100},
author = {Suraj, A. and Ramaswamy, S. and Barber, K. S.},
biburl = {https://www.bibsonomy.org/bibtex/2c3e4b62db250a5d2309724b3a9da076e/leonardo},
citeulike-article-id = {2138026},
doi = {10.1080/095119297131264},
interhash = {3c6f53767b3cb459c8291efc9d84da06},
intrahash = {c3e4b62db250a5d2309724b3a9da076e},
journal = {International Journal of Computer Integrated Manufacturing},
keywords = {1997 statecharts _to_download},
number = 1,
pages = {160--171},
posted-at = {2007-12-17 19:46:58},
priority = {2},
publisher = {Taylor \& Francis},
timestamp = {2009-02-11T22:20:27.000+0100},
title = {Extended Statecharts for and specification of manufacturing control software systems the modelling},
url = {http://dx.doi.org/10.1080/095119297131264},
volume = 10,
year = 1997
}