Rigorous and formal approaches for modelling and designing service systems

par Khanh Dung Tran

Thèse de doctorat en Inforamtique

Sous la direction de Christine Choppy.

Soutenue en 2013

à Paris 13 .

  • Titre traduit

    Approches rigoureuses et formelles pour la modélisation et la spécification des systèmes orientés service


  • Pas de résumé disponible.


  • Résumé

    L'émergence de l'architecture orientée services (SOA) permet que les fonctionnalités d'une application soient fournies et consommées comme des ensembles de services, et qu'une organisation ou un système de systèmes travaille de manière cohérente. SOA est associée à une variété d'approches et de technologies et est une solution pour construire des systèmes de services. Nous proposons une nouvelle méthode pour la modélisation et la conception de systèmes orientés services avec UML, ainsi qu’avec les notations de spécification formelle et visuelles pratiques. Pour l’implémentation, notre premier effort consiste à définir un mécanisme pour la définition et la modélisation d'un système et de ses processus, puis nous développons une méthode formelle pour modéliser les services SOA et les systèmes de manière non seulement visuelle mais aussi formelle. Pour la conception, nous présentons une méthode qui respecte l’architecture dirigée par les modèles et aboutit à transformer les modèles pour concevoir un système de services de haute qualité. Notre méthode est basée sur le modèle de transformation, dans laquelle des modèles de transformation sont définis pour transformer un modèle d'activité en un modèle de conception d'un système de services. En conclusion, nous avons proposé: deux méthodes pour modéliser les systèmes de services (l’une est basée sur une notation non formelle (UML), l'autre sur une notation formelle (Casl4Soa)); une méthode pour modéliser d’un système et de ses processus; une méthode pour placer un système dans un modèle d'activité; un ensemble de modèles pour transformer un modèle de système en un modèle de spécification d'un système de services.


  • Résumé

    The emergence of Service Oriented Architecture (SOA) allows application functionalities to be provided and consumed as sets of services, and enables an organization or a system of systems to work together more cohesively using services without getting overly coupled. SOA has been associated with a variety of approaches and technologies and became a solution for building service systems. We focus on proposing precise methods for modelling and designing service oriented systems with the UML, as well as with formal specification notations to have both advantages of practical visual notations. For implementing SOA successfully, our first effort is to define a mechanism for defining and modelling a business and its business processes, then we have developed a formal method for modelling SOA services and service systems not only visually but also formally and precisely. In terms of designing service systems, we proposed a method which follows the Model Driven Architecture approach and results in transforming models in designing a high-quality service system for particular enterprises. Our method is based on model transformation, in which some transformation patterns are defined in order to transform a business model into a design model of a service system. In result, we have developed two precise methods for modelling service systems (one based on a standard widespread not formal notation (UML), the other based on a formal notation (Casl4Soa)), a precise method for modelling a business and its processes, a precise method for placing a system on a business model, and a set of transformation patterns to transform a business model with placement to a design model of a service system.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (229p.)
  • Annexes : Bibliogr. p. 225-229

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 13 (Villetaneuse, Seine-Saint-Denis). Bibliothèque universitaire. Section Sciences.
  • PEB soumis à condition
  • Cote : TH 2013 054
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.