Synthesizing modal transition systems from triggered scenarios

Synthesis of operational behavior models from scenario-based specifications has been extensively studied. The focus has been mainly on either existential or universal interpretations. One noteworthy exception is Live Sequence Charts (LSCs), which provides expressive constructs for conditional univer...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sibay, G.E., Braberman, V., Uchitel, S., Kramer, J.
Formato: JOUR
Materias:
MTS
partial behavior models
Scenarios
synthesis
Labeled transition systems
Modal Transition Systems
Operational behavior
Partial behavior models
Scenario-based languages
Scenario-based specifications
Flowcharting
Semantics
Specification languages
Synthesis (chemical)
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_00985589_v39_n7_p975_Sibay
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares