DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cho, SM | ko |
dc.contributor.author | Kim, HH | ko |
dc.contributor.author | Cha, Sungdeok | ko |
dc.contributor.author | Bae, Doo-Hwan | ko |
dc.date.accessioned | 2010-03-04T02:33:30Z | - |
dc.date.available | 2010-03-04T02:33:30Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2002-11 | - |
dc.identifier.citation | INFORMATION PROCESSING LETTERS, v.84, no.3, pp.125 - 130 | - |
dc.identifier.issn | 0020-0190 | - |
dc.identifier.uri | http://hdl.handle.net/10203/16920 | - |
dc.description.abstract | We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving systems. This approach allows to facilitate the generic feature of sequence diagrams as well as an automatic analysis, the identification of the instances of a sequence diagram over a trace. (C) 2002 Elsevier Science B.V. All rights reserved. | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | A semantics of sequence diagrams | - |
dc.type | Article | - |
dc.identifier.wosid | 000178363700002 | - |
dc.identifier.scopusid | 2-s2.0-0037110727 | - |
dc.type.rims | ART | - |
dc.citation.volume | 84 | - |
dc.citation.issue | 3 | - |
dc.citation.beginningpage | 125 | - |
dc.citation.endingpage | 130 | - |
dc.citation.publicationname | INFORMATION PROCESSING LETTERS | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
dc.contributor.nonIdAuthor | Cho, SM | - |
dc.contributor.nonIdAuthor | Kim, HH | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | formal semantics | - |
dc.subject.keywordAuthor | specification languages | - |
dc.subject.keywordAuthor | sequence diagram | - |
dc.subject.keywordAuthor | temporal logic | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.