The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …

In our former work, we have showed that cloud computing still requires lots of fundamental
research. Among many other existing problems in cloud computing, we identified the lack of …

Mobility is a critical issue that must be considered during the modeling and analyzing of a
mobile system. At a high abstract level, event-based models can directly specify a mobile …

We are interested in specifications which provide a consistent high-level view of systems.
They should abstract irrelevant details and provide a precise and complete description of the …

This paper presents the idea of using the Arbitrator Pattern, a concept from the field of
robotics, and applying it to the domain of business process model interpretation, using it as a …

LNCS 7316 - Contribution to a Rigorous Analysis of Web Application Frameworks Page 1
Contribution to a Rigorous Analysis of Web Application Frameworks Egon Börger, Antonio …

Abstract In [33, Appendix] we have shown that the system which implements the Subject-
oriented approach to Business Process Modeling (S-BPM) has a precise semantical …

In our former work we have given a high-level formal model of a cloud service architecture in
terms of a novel formal method approach which combines the advantages of the …

Distributed systems that exploit software services from multiple clouds provide opportunities
for software systems that address problems associated with systems of systems. In this …

In this paper, we present a high-level definition of a formal method in terms of ambient
abstract state machine rules which makes it possible to describe formal models of mobile …