Formulations and formalisms in software architecture

Shaw, Mary; Garlan, David

doi:10.1007/bfb0015251

Cited by 59 publications

(29 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Therefore it must mentioned that some current works used RODIN tool-set to formalize the different actions inside this self-recovering network [38] when others try to use Event-B models to validate the distributed systems [10,19,39]. In this context, Various studies have focused on the high-level architecture descriptions ( [40][41][42][43][44][45][46][47][48][49][50][51]). This suite of refinements must be formally described.…”

Section: Related Workmentioning

confidence: 99%

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

Hariche

Belarbi

Chouarfia

et al. 2017

Preprint

View full text Add to dashboard Cite

Abstract:The need for high performance, available and reliable embedded systems has made computing systems increasingly complex. Formal methods have the ability to produce critical systems for large industrial projects, and this by creating an original mathematical model that can be formally refined in levels until the final refinement which contains enough of details for an implementation. This work is a first step of VHDL code generation process, it represents how to elaborate formally an embedded system using Abstract data type in a form of theories (NoC, WNoC, colored graph, VHDL) and how to ensure in systematic way all the details and complexity of this system using operators of refinement (Create, Rename, Restrict, Enrich)that are recently proposed for the Event-B method. All the theories are deployed, discharged and used in Event-B models to represent and enhance the performance of this self-organization reliability solution for the wireless sensors network of NoC-based system. This paper summerize the fruit of using new proposed approach for the Event-B formal method that persist the NoC-based ditributed system instead of consuming more than 70% of realization time with any analytic method.

show abstract

Section: Related Workmentioning

confidence: 99%

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

Hariche

Belarbi

Chouarfia

et al. 2017

Preprint

View full text Add to dashboard Cite

show abstract

“…The necessity for modeling non-functional properties in architecture description has been recognized by Shaw and Garlan [16]. The classification work of Medvidovic and Taylor [8] presents a sound compilation of properties of existing ADLs.…”

Section: Related Workmentioning

confidence: 99%

Modeling and Analyzing Mobile Software Architectures

Schäfer¹

2006

Software Architecture

View full text Add to dashboard Cite

Abstract. The emerging behavior of a mobile system is determined by its software architecture (structure, dynamics, deployment), the underlying communication networks (topology, properties like bandwidth etc.) and interactions undertaken by the users of the system. In order to assess whether a mobile system fulfills its non-functional requirements like response times or availability already at design time, the emergent behavior of such a system can be simulated by using an architectural model of the system and applying an simulation approach where a network model and a user interaction model are used for providing the contextual information. In this paper we show how such an architectural model can expressed in our ADL Con Moto, how functional and non-functional properties of an architecture can be modeled and how simulation of the mobile system can be used to yield the desired properties.

show abstract

“…The necessity for modeling non-functional properties in architecture description has been recognized by Shaw and Garlan [4]. The classification work of Medvidovic and Taylor [5] present a sound compilation of properties of ADLs.…”

Section: Related Workmentioning

confidence: 99%

Architecture Description for Mobile Distributed Systems

Gruhn¹,

Schäfer²

2005

Software Architecture

View full text Add to dashboard Cite

Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-functional properties, which are essential when mobile architectures are described, are treated in a flexible manner by inserting logical formulae for expressing and checking non-functional properties into π-calculus processes. A formal example is given to illustrate the approach before the constituents of the ADL are sketched.

show abstract

Formulations and formalisms in software architecture

Cited by 59 publications

References 24 publications

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

Modeling and Analyzing Mobile Software Architectures

Architecture Description for Mobile Distributed Systems

Contact Info

Product

Resources

About