21 research outputs found
Reconciling a component and process view
In many cases we need to represent on the same abstraction level not only
system components but also processes within the system, and if for both
representation different frameworks are used, the system model becomes hard to
read and to understand. We suggest a solution how to cover this gap and to
reconcile component and process views on system representation: a formal
framework that gives the advantage of solving design problems for large-scale
component systems.Comment: Preprint, 7th International Workshop on Modeling in Software
Engineering (MiSE) at ICSE 201
An Extension to State Machine Modeling: The Concept of Coupled State Machines
Abstract A layer in a communication system has at least three main interfaces: (1)
Formalisation and Analysis of Component Dependencies
This set of theories presents a formalisation in Isabelle/HOL+Isar of data
dependencies between components. The approach allows to analyse system
structure oriented towards efficient checking of system: it aims at elaborating
for a concrete system, which parts of the system (or system model) are
necessary to check a given property.Comment: Preprint with an extended introduction, Archive of Formal Proofs,
2014, ISSN: 2150-914
Formal aspects of component software
This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09)