|
Published Articles >> Table of Contents >> Abstract
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)
pp. 183-190
From Requirements to Specifications
Cory Plock, New York University
Benjamin Goldberg, New York University
Lenore Zuck, University of Illinois at Chicago
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.41
Send link to a friend
| Abstract |
|
Live Sequence Charts (LSC) provide a formal visual framework for creating scenario-based requirements for reactive systems. An LSC imposes a partial order over a set of events, such as the sending or receiving of messages. Each event is associated with a liveness property, indicating whether it can or must occur. Time extensions can further specify when these events should occur An individual LSC tells a story about particular fragment of system behavior, whereas LCS specifications — a finite set of LSC — collectively define the total behavior. An LSC specification may require that more than one distinct scenario, or multiple instances of the same scenario, execute concurrently. It is natural to ask whether LSC specifications be synthesized into formal languages. Previous work offers translations from untimes LSCs to finite state machines, and from single (non-concurrent) LSCs to timed automata. Here, we show that LSC specifications with concurrency can also be expressed as a timed automata
|
 Additional Information
|
Citation:
Cory Plock, Benjamin Goldberg, Lenore Zuck,
"From Requirements to Specifications,"
ecbs,
pp. 183-190,
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05),
2005
|
|
