Agusti CANALS

Follower

Following

Public Views

Mueen Uddin

Effat University

José Vicente

Polytechnic Institute of Leiria

Pavel Hrabě

University of Economics Prague

David Barske

University of Cape Town

David Rine

George Mason University

Adam Czarnecki

Gdansk University of Technology

Magdy Serour

University of Technology Sydney

Emil Frenski

South-Western University - Blagoevgrad

Henk Polinder

Delft University of Technology

AZIZAH BINTI ABDUL RAHMAN FC

Universiti Teknologi Malaysia - UTM

Interests

Uploads

Papers by Agusti CANALS

Introduction générale

HAL (Le Centre pour la Communication Scientifique Directe), 2013

Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

Ref : TIP402WEB - "Technologies logicielles Architectures des systèmes", Aug 10, 2011

Les besoins industriels lies a l'utilisation d'un processus de developpement a base de mo... more Les besoins industriels lies a l'utilisation d'un processus de developpement a base de modeles necessitent la modelisation des proprietes des langages de programmation . L'application de ces proprietes sur des diagrammes d'activite/classes permet de generer des codes des composants logiciels. L'architecture de processus incremental a base de modeles proposee dans ce dossier est destinee aux experts d'un domaine pour la mise en place d'un atelier metier . La semantique dans les modeles est indispensable aux analystes/concepteurs qui souhaitent controler et donc mieux maitriser le passage des modeles de conception aux composants logiciels. Quid de l'approche semantique des modeles dans un milieu industriel confronte aux systemes critiques ?

UML : une notation pour spécifier et concevoir des Logiciels

Technologies logicielles Architectures des systèmes, 2016

Cet article presente les principes de base de la notation UML necessaires pour aborder une modeli... more Cet article presente les principes de base de la notation UML necessaires pour aborder une modelisation d’un logiciel sur un projet operationnel. Apres un bref historique, cet article detaille les diagrammes UML dans un ordre logique d’utilisation a travers les concepts principaux proposes par la notation.

Validation des algorithmes en UML et OCL

Technologies logicielles Architectures des systèmes, 2015

Cet article traite de proprietes formelles des langages de programmation dont le but est de verif... more Cet article traite de proprietes formelles des langages de programmation dont le but est de verifier, voire prouver, que les programmes fonctionnent correctement. Dans un contexte de processus centre sur les modeles (processus IDM), ces proprietes peuvent etre appliquees a des langages de modelisation pour garantir la qualite attendue de la part des modeles, et la coherence entre les modeles et les programmes. Mais ces techniques de preuve, basees sur la logique des predicats, peuvent-elles s'appliquer a des langages metiers tels que le langage «Structured Analysis Model» (SAM) developpe pour modeliser des applications du domaine de l'aeronautique ?

SysML : une notation pour spécifier et concevoir des systèmes

Technologies logicielles Architectures des systèmes, 2015

Cet article presente les principes de base de la notation SysML necessaires pour aborder une mode... more Cet article presente les principes de base de la notation SysML necessaires pour aborder une modelisation systeme sur un projet operationnel. Apres un bref historique, les diagrammes SysML seront detailles dans un ordre logique d'utilisation a travers les concepts principaux proposes par la notation.

SysML/UML : comment les utiliser ? Avec quelle méthode ? - Un exemple d’application avec UML-CS et SysML-CS

Technologies logicielles Architectures des systèmes, 2016

Cet article presente les principes de base d’une methode de modelisation mettant en œuvre SysML e... more Cet article presente les principes de base d’une methode de modelisation mettant en œuvre SysML et UML necessaires pour aborder une modelisation Systeme/logiciel sur un projet operationnel. Apres un bref historique, nous allons parcourir les differentes etapes de la methode dans un ordre logique d’utilisation a travers les concepts principaux proposes.

L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : IDM & Systèmes d’Information - IDM & Espace - Outils de l’IDM

MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project

Lecture Notes in Computer Science, 2000

The development of the MTS simulator for the French space agency, CNES, proved to be a very enric... more

NEPTUNE - an integrated UML toolset and methodology

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001., 2001

UML (Unified Modelling Language) defines a standard notation for object-oriented systems. It is n... more UML (Unified Modelling Language) defines a standard notation for object-oriented systems. It is now the de-facto standard graphical language for specifying, constructing, visualising and documenting software-intensive systems. Some extensions to the original standard have also been proposed and implemented for business modelling. NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples) is a European Commission-funded project under the IST (Information Society Technologies) programme. A significant innovation in this project is the incorporation of the use of UML in contexts other than software engineering (viz. in business process modelling and knowledge engineering). Additionally, the validation tools that we are developing check for coherency between UML diagrams (for each working context) - something that is not available in other tools. Customised document generation is another powerful functionality.

Modélisation et analyse de systèmes embarqués

Les systemes embarques rendent un nombre de services grandissant et font partie de notre vie quot... more Les systemes embarques rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, telephonie, medecine, energie, industrie, etc. Ainsi, si l’on parle de plus en plus de systemes embarques, il s’agit avant tout d’un ensemble complet et integre (materiel + logiciel). Le point central de leur developpement est leur interaction avec leur environnement et les consequences associees en termes de securite et de fiabilite. Cet ouvrage dresse un etat de l’art du developpement des systemes embarques. Il se concentre particulierement sur leur modelisation et leur analyse. Il s’agit d’operations cruciales qui determineront la fiabilite du futur systeme. L’apparition recente des techniques basees sur l’ingenierie des modeles pourrait revolutionner le developpement de ces systemes en assurant une continuite entre le niveau conceptuel et l’implementation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisees : SysML (aspects ingenierie systeme), UML/MARTE et AADL (conception/analyse).

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Download

Case Study: Pacemaker

Kordon/Embedded Systems, 2013

Use of cisi uml development process on gedys project

How You Could Use NEPTUNE in the Modelling Process

The Journal of Object Technology, 2003

The European Community plays an active role in giving concrete expression to the new developments... more The European Community plays an active role in giving concrete expression to the new developments taking place in modelling languages and in UML (Unified Modelling Language) [1] in particular. These developments often make use of norms and specifications that are mainly carried out by the OMG (Object Management Group). The main objective of the European NEPTUNE project led by CS (Nice Environment with a Process and Tools Using Norms and Example) is to develop both a method and tools (in addition to the existing software development tools) that support the use of the UML notation. This method has emerged from considerable experience gained in the industrial environment. It will apply to a variety of application fields, including software engineering, business process, and knowledge management [4]. The newly developed tools will enable UML models to be statically checked for their coherence and consistency. They will also enable professional documentation resulting from the transformation of models [5]. The method and tools developed make the application of the UML standard easier, and they promote its use in a large number of business fields so that the UML standard might be further improved with the aim to participate effectively in the work of the OMG. This paper will present the NEPTUNE method and tools. Then, lessons learned from this project will be reported, outlining the benefits and drawbacks of this technology as experienced by the development team. A conclusion will offer suggestions for future improvements and provide an overview of the next actions related to NEPTUNE deployment. HOW YOU COULD USE NEPTUNE IN THE MODELLING PROCESS 70 J OURNAL OF OBJECT TECHNOLOGY V OL. 2, NO. 1

Download

UML-Cisi: un processus de conception pour le langage de modélisation UML

GENIE LOGICIEL-TOULOUSE THEN PARIS-, 1997

Résumé Cisi utilise depuis de nombreuses années, un ensemble de techniques objets: OMT2 pour l&#x... more

Les diagrammes d'activité de UML exemples d'utilisation à travers l'approche méthodologique utilisée par communication & systèmes: UML

Génie logiciel, 2002

Résumé/Abstract Les diagrammes d'activité proposés par la notation UML [1]. et conçus initia... more

How you could use the NEPTUNE technology in the modelling process

Data Systems in …, 2002

The European Community now plays a very active role in giving concrete expression to the new deve... more The European Community now plays a very active role in giving concrete expression to the new developments taking place in modelling languages and in UML (Unified Modelling Language) in particular. These developments often make use of norms and specifications mainly carried out by the OMG (Object Management Group). The main objective of the European NEPTUNE project led by CS (Nice

Présentation des résultats du projet OpenEmbeDD

OpenEmbeDD est une plate-forme générique, reposant sur les technologies d'Ingénierie Dirigée par ... more OpenEmbeDD est une plate-forme générique, reposant sur les technologies d'Ingénierie Dirigée par les Modèles (IDM), et intégrant des outils d'aide à la conception d'applications temps réel embarqué (TR/E). Les technologies d'IDM utilisées dans OpenEmbeDD sont basées sur l'environnement Eclipse. Elles fournissent une solution simple et efficace pour l'intégration d'outils TR/E sur la plateforme (par la réalisation d'un modeleur) et l'interopération de ses outils (par transformation de modèle). OpenEmbeDD peut être instanciée à un domaine d'application précis en sélectionnant, parmi l'ensemble des outils disponibles, ceux qui répondent à un cas d'utilisation particulier. La plate-forme OpenEmbeDD s'installe en quelques clics. Elle fournit alors une solution d'IDM complète pour mettre en oeuvre rapidement un modeleur et l'intégrer facilement à une suite d'outils. Pour cela, OpenEmbeDD repose sur le format EMF/Ecore afin de faciliter la manipulation de modèles, intègre le générateur d'éditeurs graphiques Topcased, le langage de transformation ATL, l'environnement de méta-modélisation Kermeta, l'éditeur de profils Papyrus. Sa conformité aux standards industriels les plus répandus est un avantage important. OpenEmbeDD intègre un modeleur UML complet accompagné de la mise en oeuvre de référence du profil temps-réel MARTE. OpenEmbeDD inclus également d'autres standards comme AADL, SysML ou SDL. La plate-forme OpenEmbeDD permet donc de complémenter la modélisation d'applications utilisant des profils UML standards avec toute la souplesse et la spécificité d'outils métier d'aide à la conception pour le TR/E, et ce à moindre coût de développement.

Download

The TOPCASED project: a toolkit in open source for critical aeronautic systems design

Embedded Real Time …, 2006

The TOPCASED project aims at developing an open source CASE environment for critical applications... more The TOPCASED project aims at developing an open source CASE environment for critical applications and systems development. Its main benefits should be to perpetuate the methods and tools for software development, minimize ownership costs, ensure independence of development platform, integrate, as soon as possible, methodological changes and advances made in academic world, be able to adapt tools to the process

Download

Incremental development of UML specifications using operation refinements

In an incremental specification development process, operations are used to model dynamic aspects... more In an incremental specification development process, operations are used to model dynamic aspects and can be refined gradually. We propose four kinds of operation refinement in order to control modifications when developing and refactoring UML specifications. Each refinement is described with its properties and illustrated by an example, showing which verifications can be done, using the B formal method.

Download

Introduction générale

HAL (Le Centre pour la Communication Scientifique Directe), 2013

Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

Ref : TIP402WEB - "Technologies logicielles Architectures des systèmes", Aug 10, 2011

UML : une notation pour spécifier et concevoir des Logiciels

Technologies logicielles Architectures des systèmes, 2016

Validation des algorithmes en UML et OCL

Technologies logicielles Architectures des systèmes, 2015

SysML : une notation pour spécifier et concevoir des systèmes

Technologies logicielles Architectures des systèmes, 2015

SysML/UML : comment les utiliser ? Avec quelle méthode ? - Un exemple d’application avec UML-CS et SysML-CS

Technologies logicielles Architectures des systèmes, 2016

L’INGÉNIERIE DIRIGÉE PAR LES MODÈLES : IDM & Systèmes d’Information - IDM & Espace - Outils de l’IDM

MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project

Lecture Notes in Computer Science, 2000

The development of the MTS simulator for the French space agency, CNES, proved to be a very enric... more

NEPTUNE - an integrated UML toolset and methodology

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001., 2001

Modélisation et analyse de systèmes embarqués

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Download

Case Study: Pacemaker

Kordon/Embedded Systems, 2013

Use of cisi uml development process on gedys project

How You Could Use NEPTUNE in the Modelling Process

The Journal of Object Technology, 2003

Download

UML-Cisi: un processus de conception pour le langage de modélisation UML

GENIE LOGICIEL-TOULOUSE THEN PARIS-, 1997

Résumé Cisi utilise depuis de nombreuses années, un ensemble de techniques objets: OMT2 pour l&#x... more

Les diagrammes d'activité de UML exemples d'utilisation à travers l'approche méthodologique utilisée par communication & systèmes: UML

Génie logiciel, 2002

Résumé/Abstract Les diagrammes d'activité proposés par la notation UML [1]. et conçus initia... more

How you could use the NEPTUNE technology in the modelling process

Data Systems in …, 2002

Présentation des résultats du projet OpenEmbeDD

Download

The TOPCASED project: a toolkit in open source for critical aeronautic systems design

Embedded Real Time …, 2006

Download

Incremental development of UML specifications using operation refinements

Download

Agusti CANALS

Related Authors

Uploads

Papers by Agusti CANALS

Log In