Skip to main content

10 Result(s)

within Cyril Carrez Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Business-SoaML: Service Identification and Specification from a Business Perspective

    The identification and specification of services from a business perspective is an important baseline to drive the specification and realization of IT services. The SoaML specification supports modelling servi...

    Tiancheng Chang, Arne Jørgen Berre, Cyril Carrez… in Enterprise Interoperability V (2012)

  2. Chapter and Conference Paper

    Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes

    This paper presents the vision and ongoing results of the COIN (FP7-216256) European project for the development of collaborative and cross-organizational business process interoperability. Services for select...

    Stefan Huber, Cyril Carrez, Hannes Suttner in Enterprise Interoperability (2011)

    Download PDF (297 KB)

  3. No Access

    Chapter and Conference Paper

    A Developer-Friendly Approach for the Validation of Dynamic Compositions

    A major challenge of dynamic composition is to find ways to model components and analyze their composition in order to guarantee that the composition is free from interaction errors and deadlocks. Existing tec...

    Jacqueline Floch, Cyril Carrez in System Analysis and Modeling: About Models (2011)

  4. No Access

    Chapter

    Model-driven Service Engineering with SoaML

    This chapter presents a model-driven service engineering (MDSE) methodology that uses OMG MDA specifications such as BMM, BPMN and SoaML to identify and specify services within a service-oriented architecture....

    Brian Elvesæter, Cyril Carrez, Parastoo Mohagheghi… in Service Engineering (2011)

  5. Chapter and Conference Paper

    Towards Cross-Organizational Innovative Business Process Interoperability Services

    This paper presents the vision and initial results of the COIN (FP7-IST-216256) European project for the development of open source Collaborative Business Process Interoperability (CBPip) in cross-organisation...

    Ömer Karacan, Enrico Del Grosso, Cyril Carrez… in Enterprise Interoperability (2009)

    Download PDF (492 KB)

  6. Chapter and Conference Paper

    Describing Component Collaboration Using Goal Sequences

    Services are normally not performed by a single component, but result from the collaboration of several distributed components. Their precise specification and validation require complex models, where the intenti...

    Cyril Carrez, Jacqueline Floch… in Distributed Applications and Interoperable… (2008)

    Download PDF (230 KB)

  7. No Access

    Article

    Assembling components with behavioural contracts

    Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investigate methods and concepts for ...

    Cyril Carrez, Alessandro Fantechi, Elie Najm in Annales Des Télécommunications (2005)

  8. No Access

    Chapter and Conference Paper

    Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification

    Networked services, constituted by the structural and behavior arrangement of service components are considered. A service component is executed as a generic software component, denoted as an actor, which is able...

    Shanshan Jiang, Cyril Carrez… in Rapid Integration of Software Engineering … (2005)

  9. Chapter and Conference Paper

    Formal Modelling of an Adaptable Service System

    Adaptable service systems are service systems that adapt dynamically to changes in both time and position related to users, nodes, capabilities, status, and changed service requirements. We present a formal mo...

    Mazen Malek Shiaa, Finn Arve Aagesen, Cyril Carrez in Intelligence in Communication Systems (2005)

    Download PDF (637 KB)

  10. Chapter and Conference Paper

    Behavioural Contracts for a Sound Assembly of Components

    Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the proble...

    Cyril Carrez, Alessandro Fantechi, Elie Najm in Formal Techniques for Networked and Distri… (2003)

    Download PDF (211 KB)