Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...