Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach

Bajohr, Markus; Margaria, Tiziana; Steffen, Bernhard

doi:10.1109/isola.2006.15

Cited by 2 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It allows users who have extensive knowledge in their domain to create domain-specific workflows even with no or little IT or programming skills (Lamprecht, 2013) and has already been used to model high availability of network services (Bajohr & Margaria, 2009;Bajohr, Margaria, & Steffen, 2006). The framework supports the graphical modeling of a system's processes and can be extended by domain-specific plug-ins (Naujokat et al, n.d.).…”

Section: Jabc-plug-inmentioning

confidence: 99%

Simplifying Firewall Setups by Using Offline Validation

Windmüller

2013

Journal of Integrated Design and Process Science

View full text Add to dashboard Cite

Firewalls are crucial for the security of most networks and implemented by packet filters. Those packet filters can be considered the direct opposite of a simple-to-use system. Configured with complex commands in plain text files, only experts are able to understand or even modify such a setup. Recently, this process has been improved by using a combination of external tools, a graphical modeling environment, and a model checker, enabling more users to participate in the process and clearing the way to automatic testing. This paper revists this concept from a simplicity perspective and shows how the whole process can be simplified while simultaneously the level of abstraction is increased and new ways of verifying the result are possible.

show abstract

Section: Jabc-plug-inmentioning

confidence: 99%