12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) 2007
DOI: 10.1109/iceccs.2007.12
|View full text |Cite
|
Sign up to set email alerts
|

A Refinement Driven Component-Based Design

Abstract: Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of dependability requires formal methods. We report here our experience on these issues in an application of a formal calculus, rCOS, to a component-based design of the point of sale system (POS). We demonstrate the possibility in scal… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
4
0
1

Year Published

2011
2011
2023
2023

Publication Types

Select...
3
3

Relationship

2
4

Authors

Journals

citations
Cited by 7 publications
(5 citation statements)
references
References 11 publications
0
4
0
1
Order By: Relevance
“…and non-functional properties. Component-Based Design [11] and SOA are two major software engineering approaches widely used for structuring systems. SCA targets composition of services in SOA systems and thus is suitable for building enterprise and cross-enterprise applications built on already-developed components and services.…”
Section: Scamentioning
confidence: 99%
“…and non-functional properties. Component-Based Design [11] and SOA are two major software engineering approaches widely used for structuring systems. SCA targets composition of services in SOA systems and thus is suitable for building enterprise and cross-enterprise applications built on already-developed components and services.…”
Section: Scamentioning
confidence: 99%
“…La démarche dans Kmelia est plus rattachée à la catégorie des modèles à composants tels que SOFA (Bures et al 2006), rCOS (Chen, Liu, Stolz, Yang et Ravn 2007, Liu, Morisset et Stolz 2009), Fractal (Bruneton et al 2006, BIP (Gossler et Sifakis 2005, Sifakis 2005). La composition est traitée de diverses façons selon les caractéristiques de l'approche considérée.…”
Section: Travaux Connexesunclassified
“…This work takes place in the context of the refinement for Component and Object Systems (rCOS) [12,13]. The rCOS language has a formal semantics based on an extension of the Unifying Theories of Programming (UTP) [24] to include the concepts of components and objects, and an operational semantics based on graphs [26].…”
Section: Introductionmentioning
confidence: 99%