Advanced Typing for the Kieker Instrumentation Languages

Jung, Reiner and Wulf, Christian (2016) Advanced Typing for the Kieker Instrumentation Languages [Paper] In: Symposium on Software Performance 2016 (SSP '16), November 7-9, Kiel, Germany.

sosp-jung-irl.pdf - Accepted Version

Download (231Kb) | Preview
2016-ssp-irl.pdf - Presentation

Download (357Kb) | Preview


The observation of software systems is a complicated task due to the heterogeneity of technologies and programming languages involved. In Kieker , we address this heterogeneity with two domain-specific languages (DSLs) which allow to define event types and monitoring probes independent from specific languages. The DSLs allow to extend event types individually and to adapt probes accordingly.

In monitoring, different event types are used together to observe a specific property, like call traces. In case additional attributes, like message size, must be observed, multiple types must be extended simultaneously. This is cumbersome for large sets of types and an error prone task. In case of missed types or wrongly initialized attributes, the errors may harm analysis results. We address these challenges with a new type extension mechanism and semantic constraints for attributes.

Document Type: Conference or Workshop Item (Paper)
Keywords: Model types Application Monitoring Formal Type Systems Kieker
Research affiliation: Kiel University > Software Engineering
OceanRep > The Future Ocean - Cluster of Excellence
Projects: Kieker
Date Deposited: 10 Nov 2016 12:05
Last Modified: 30 Nov 2017 10:35

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...