Browse Books

Extensions for Petri nets have been suggested since the 1970s. In this contribution, we look at some of them and discuss less known, but quite useful extensions.

Algebraic high-level (AHL) nets are a well-known modelling technique based on Petri nets with algebraic data types, which allows to model the communication structure and the data flow within one modelling framework. In this paper we give an overview how ...

Over the last two decades modeling has become a widespread engineering tool. Whereas object-oriented modeling dominated the discussions in software and data engineering, process-oriented modeling became prominent in business process modeling. Experience ...

When developing the architecture of a software system, inconsistent architecture representations and missing specifications or documentations are often a problem. We present a conceptual framework for software architecture that can help to avoid ...

Recently, advances in networks, processors and storages for computer architectures have affected computer organization systems leading to a metamorphose of traditional systems. The increasing demands for well adapted computer infrastructure and ...

Being able to run and manage applications in different environments (especially in clouds) is an urgent requirement in industry. Such portability requires a standard language to define both, the structure of an application as well as its management ...

A context description of a software system and its environment is essential for any given software engineering process. Requirements define statements about the environment (according to Jackson's terminology). The context description of a Service-...

Contemporary cloud technologies face insurmountable obstacles. They follow a pull-based, producer-centric trajectory to development where cloud consumers have to ‘squeeze and bolt' applications onto cloud APIs. They also introduce a monolithic SaaS/PaaS/...

We present OpenRichServices (ORS) as an Architecture Definition Language (ADL) for the compositional specification, deployment, and reconfiguration of systems of services. Key distinguishing features of ORS are its treatment of services as first-class ...

Software development in real-time and embedded systems has traditionally focused on stand-alone applications with static models for scheduling and resource allocation. Our goal is to facilitate the development of embedded applications in an open system, ...

Learning does not only take place in a conventional classroom setting but also during everyday activities such as field trips. The increasing availability of mobile devices and network access opens up new possibilities for providing location-based ...