Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/100248| DC Field | Value | Language |
|---|---|---|
| dc.creator | Gurovič, Daniel;Fengler, W. | |
| dc.date | 2002-12 | |
| dc.date.accessioned | 2016-08-16T07:15:24Z | - |
| dc.date.available | 2016-08-16T07:15:24Z | - |
| dc.date.issued | 2016-08-16T07:15:24Z | - |
| dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/100248 | - |
| dc.description.abstract | The concern of this paper consists in utilizing the theoretical findings on the field of formal compositional semantics, in particular those of high level Petri nets, for the specification of communicating embeded systems. Transformation of these approaches, and their evaluation in practice occurs with the aid of one of the formal rotation of the UML namely the Message Sequence Charts, particularly the MSC`96. Communication requirements of embedded systems are graphically specified and then transformed into an executable class of high level Petri nets. | |
| dc.format.extent | 1162179 bytes | - |
| dc.format.mimetype | application/pdf | - |
| dc.relation | 資管評論, 11, 77-98 | |
| dc.relation | MIS review | |
| dc.subject | Petri nets;compositional semantics;specification;MSC | |
| dc.title | Compositional Transformation of Message Sequence Charts into High-level Petri Boxes | |
| dc.type | article | |
| item.fulltext | With Fulltext | - |
| item.grantfulltext | open | - |
| item.openairetype | article | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| Appears in Collections: | 期刊論文 | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 11-77-98.pdf | 1.13 MB | Adobe PDF2 | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.