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

A Lightweight Formal Framework for Service-Oriented Applications Design

n/

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)