Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
Various efforts recently aimed at the development of quality metrics for process models. In this paper, we propose a new notion of coupling, which has been used successfully in so...
Irene T. P. Vanderfeesten, Jorge Cardoso, Hajo A. ...
Service Oriented Architecture (SOA) has been developed to enhance the integration of various systems to allow organizations to be more flexible in case of business changes. This pa...
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...