Phenomenal progress has been witnessed in the field of Geographic Information System
(GIS) in recent times. The development of webGIS is the result of the growth of the Internet …

In the last years we are observing a growing interest in verification of business process
models that, despite their lack of formal characterization, are widely adopted in industry and …

Ambient intelligence (AI) refers to a develo** technology that will increasingly make our
everyday environment sensitive and responsive to our presence. The AI vision requires …

The next generation of networked mechatronic systems will be characterized by complex
coordination and structural adaptation at run-time. Crucial safety properties have to be …

The potential impact of blood flow simulations on the diagnosis and treatment of patients
suffering from vascular disease is tremendous. Empowering models of the full arterial tree …

Web service-based systems are built orchestrating loosely coupled, standardized, and
internetworked programs. If on the one hand, Web services address the interoperability …

We report on a formal framework being developed within the SENSORIA project for
supporting service-oriented modelling at high levels of abstraction, ie independently of the …

Abstract Service-oriented architectures (SOA) provide a flexible and dynamic platform for
implementing business solutions. In this paper, we address the modeling of such …

One of the commonly used techniques to verify software and hardware systems which have
been specified through graph transformation system (GTS), especially safety critical ones, is …

The paradigm of service-oriented computing (SOC) has emerged as an approach to provide
flexibility and agility, not just in systems development but also in business process …