Formal specification of non-functional properties of component-based software systems

Zschaler, Steffen

doi:10.1007/s10270-009-0115-6

Cited by 31 publications

(21 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Troya et al used the concept of observers in [57,58] to model non-functional properties of systems described by GTSs in a way that could be analysed by simulation. Zschaler had previously discussed modular specification of NFPs in temporal logic in [61]. In [14,58], we have combined these ideas to allow the modular encapsulation of observer definitions in a way that can be reused in different DSL specifications.…”

Section: Discussionmentioning

confidence: 99%

Amalgamation of domain specific languages with behaviour

Durán

Moreno-Delgado

Orejas

et al. 2017

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as efficient as possible. One way in which to address this challenge is by enabling the reuse of (partial) DSLs in the construction of new DSLs. Reuse of DSLs builds on two foundations: a notion of DSL composition and theoretical results ensuring the safeness of composing DSLs with respect to the semantics of the component DSLs.Given a graph-grammar formalisation of DSLs, in this paper, we build on graph transformation system morphisms to define parameterized DSLs and their instantiation by an amalgamation construction. Results on the protection of the behaviour along the induced morphisms allow us to safely reuse and combine definitions of DSLs to build more complex ones. We illustrate our proposal in e-Motions for a DSL for productionline systems and three independent DSLs for describing non-functional properties, namely response time, throughput, and failure rate.

show abstract

Section: Discussionmentioning

confidence: 99%

Amalgamation of domain specific languages with behaviour

Durán

Moreno-Delgado

Orejas

et al. 2017

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…In component specification, the non-functional requirements refer to security attributes. However, current CBSD lacks nonfunctional support (Zschaler, 2010). In component or application, the non-functional requirements are equally important as the functional ones (Zschaler, 2010).…”

Section: Motivationmentioning

confidence: 99%

“…In component or application, the non-functional requirements are equally important as the functional ones (Zschaler, 2010). Furthermore, non-functional requirements should be addressed at the early stage of the CBSD to avoid any costly failures in the future (Zschaler, 2010).…”

Section: Motivationmentioning

confidence: 99%

Awareness of Embedding Security Features Into Component-Based Software Development Model: A Survey

Kahtan

Bakar

Nordin

2014

Journal of Computer Science

View full text Add to dashboard Cite

Current applications and systems contain the software components as the basic elements and Component Based Software Development (CBSD) has been successful in building applications and systems. However, the security of CBSD for the software component is still lacking. This study highlights the results of a survey pertaining to the embedding of security features in the CBSD process. The main objective of this survey is to investigate the awareness of embedding security features in the CBSD process in the Malaysian context. For this purpose, experts from industry as well as from the academic community were interviewed. Moreover, an online survey was formulated and e-mailed to the experts and potential candidates. The results show that the embedding of security features in the software lifecycle is crucial because the incorporation of security activities in CBSD will minimize vulnerabilities in the software system, thus reducing system cost.

show abstract

“…It is possible to specify Time Constraints which allow setting lower and upper bounds for delays in these scenarios. Zschaler [11] presents QML/CS, a specification language that is used to model non-functional properties of components and component-based software systems including response time. Alfonso et.al.…”

Section: Modeling Environment For the Dslmentioning

confidence: 99%

A DSL for specifying timing requirements

Göknil¹,

Peraldi-Frati²

2012

2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE)

View full text Add to dashboard Cite

Abstract-The engineering of real-time distributed embedded systems becomes more and more complex today due to the amount of new functionalities, constraints applied on these functions and the diversity of hardware supporting software execution and communication. Modeling and analysis of time is a key issue for the correct development of these systems. From an engineering point of view, there is a need of a development process supporting modeling timing requirements at different abstraction levels. In this paper we present a Domain Specific Language (DSL) for specifying timing requirements at the analysis phase of the software development life-cycle. The DSL provides the following features: the modeling of different types of timing requirements, the modeling of symbolic timing expressions, i.e. able to deal with bounded or unset parameters in timing requirements, and the integration of complex concepts of distributed systems such as multi rate and multi clock systems.

show abstract

Formal specification of non-functional properties of component-based software systems

Cited by 31 publications

References 39 publications

Amalgamation of domain specific languages with behaviour

Amalgamation of domain specific languages with behaviour

Awareness of Embedding Security Features Into Component-Based Software Development Model: A Survey

A DSL for specifying timing requirements

Contact Info

Product

Resources

About