|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 13 van 26 gevonden artikelen
| Titel: |
Extended Statecharts for and specification of manufacturing control software systems the modelling |
| Auteur: |
Suraj, A. Ramaswamy, S. Barber, K. S. |
| Verschenen in: |
International journal of computer integrated manufacturing |
| Paginering: | Jaargang 10 (1997) nr. 1-4 pagina's 160-171 |
| Jaar: |
1997-01-01 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 13 van 26 gevonden artikelen
| << vorige | volgende >> |