Beyond the Classical Modal Transition Systems
نویسندگان
چکیده
منابع مشابه
Parametric Modal Transition Systems
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called pa...
متن کاملWeighted Modal Transition Systems
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it diff...
متن کاملQuantitative Modal Transition Systems
This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the quantitative setting of timed as well as stochastic systems. Some applications will also be briefly mentioned. 1 Modal Transition Systems: The Origines Modal transition systems [46] provids a behavioural compositional specification formalism for r...
متن کاملDistribution of Modal Transition Systems
In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models from a single monolithic model to a component-wise model. Specifically, given a Modal Transition S...
متن کاملExtending modal transition systems with structured labels
S E B A S T I A N S. B A U E R1‡, L I N E J U H L, K I M G. L A R S E N, A X E L L E G A Y3§ and J I Ř Í S R B A2¶ 1 Institut für Informatik, Ludwig-Maximilians-Universität München, Germany Email: [email protected] 2 Department of Computer Science, Aalborg University, Selma Lagerlöfs Vej 300, DK-9220 Aalborg Ø, Denmark Email: {linej;kgl;srba}@cs.aau.dk 3 INRIA/IRISA, Rennes, France Email: ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.87.1