Formalisation of the component specification
This paper deals with the component specification and formalisation problems. It defines the notion of component model, gives the formalised concept of a component, compound component, and proposes to use hierarchical finite state machines as the formalism to specify component's life cycle.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2004-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/31660 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593196053430272 |
|---|---|
| author | Vaidas Giedrimas Audronė Lupeikienė |
| author_facet | Vaidas Giedrimas Audronė Lupeikienė |
| author_sort | Vaidas Giedrimas |
| collection | DOAJ |
| description |
This paper deals with the component specification and formalisation problems. It defines the notion of component model, gives the formalised concept of a component, compound component, and proposes to use hierarchical finite state machines as the formalism to specify component's life cycle.
|
| format | Article |
| id | doaj-art-69dd04a4b96a4da2a6e030d3c5887cda |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2004-12-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-69dd04a4b96a4da2a6e030d3c5887cda2025-01-20T18:17:09ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2004-12-0144spec.10.15388/LMR.2004.31660Formalisation of the component specificationVaidas Giedrimas0Audronė Lupeikienė1Institute of Mathematics and InformaticsInstitute of Mathematics and Informatics This paper deals with the component specification and formalisation problems. It defines the notion of component model, gives the formalised concept of a component, compound component, and proposes to use hierarchical finite state machines as the formalism to specify component's life cycle. https://www.journals.vu.lt/LMR/article/view/31660componentcomponent modelcomponent specificationspecification formalisation |
| spellingShingle | Vaidas Giedrimas Audronė Lupeikienė Formalisation of the component specification Lietuvos Matematikos Rinkinys component component model component specification specification formalisation |
| title | Formalisation of the component specification |
| title_full | Formalisation of the component specification |
| title_fullStr | Formalisation of the component specification |
| title_full_unstemmed | Formalisation of the component specification |
| title_short | Formalisation of the component specification |
| title_sort | formalisation of the component specification |
| topic | component component model component specification specification formalisation |
| url | https://www.journals.vu.lt/LMR/article/view/31660 |
| work_keys_str_mv | AT vaidasgiedrimas formalisationofthecomponentspecification AT audronelupeikiene formalisationofthecomponentspecification |