% Generated the July 21, 2007

@techreport{Verj07b,
	address = {Annecy, France},
	author = {H. Verjus and F. Pourraz},
	date-added = {2007-06-11 12:54:24 +0200},
	date-modified = {2007-07-21 19:14:02 +0200},
	institution = {University of Savoie - LISTIC},
	month = {June},
	number = {LISTIC No 07/04},
	title = {Maintaining and Evolving Service Oriented Architectures Using a $\pi$-calculus Based Approach},
	type = {Research Report},
	year = {2007}}

@techreport{Verj07a,
	address = {Annecy, France},
	author = {H. Verjus},
	date-added = {2007-06-11 11:58:47 +0200},
	date-modified = {2007-07-21 17:36:44 +0200},
	institution = {University of Savoie - LISTIC},
	month = {June},
	number = {LISTIC No 07/03},
	title = {Nimrod: A Software Architecture-Centric Engineering Environment - Revision 2 - Nimrod Release 1.4.3},
	type = {Technical Report},
	year = {2007}}

@periodical{Pour07b,
	author = {F. Pourraz and H. Verjus},
	date-added = {2007-07-12 21:18:23 +0200},
	date-modified = {2007-07-12 21:22:00 +0200},
	journal = {ERCIM News Magazine - Special: Service-Oriented Computing},
	month = {July},
	pages = {41-43},
	title = {Diapason: An Engineering Environment for Designing, Implementing and Evolving Service Orchestrations},
	volume = {70},
	year = {2007}}

@inproceedings{Pour07a,
	address = {France},
	author = {F. Pourraz and H. Verjus},
	booktitle = {accepted for publication in the proceedings of the International Conference on Software Engineering Advances (ICSEA 2007)},
	date-added = {2007-05-24 16:51:31 +0200},
	date-modified = {2007-07-06 12:04:41 +0200},
	month = {August},
	publisher = {IEEE Computer Society},
	title = {Diapason: an Engineering Environment for Designing, Enacting and Evolving Service-Oriented Architectures},
	year = {2007}}

@inproceedings{Poll07a,
	abstract = {To maintain and understand large applications, it is crucial to know their
		architecture. The first problem is that unlike classes and packages, architecture is
        not explicitly represented in the code. The second problem is that successful
        applications evolve over time, so their architecture inevitably drifts. Reconstructing
        the architecture and checking whether it is still valid is therefore an important aid.
        While there is a plethora of approaches and techniques supporting architecture
        reconstruction, there is no comprehensive state of the art and it is often difficult
        to compare the approaches. This article presents a state of the art on software
        architecture reconstruction approaches.},
	author = {Pollet, Damien and Ducasse, St\'ephane and Poyet, Lo\"{\i}c and Alloui, Ilham and C\^impan, Sorana and Verjus, Herv\'e},
	booktitle = {Proceedings of 11th European Conference on Software Maintenance and Reengineering (CSMR'07)},
	date-added = {2007-07-06 12:15:48 +0200},
	date-modified = {2007-07-06 12:15:48 +0200},
	editor = {Krikhaar, Ren\'e and Verhoef, Chris and Di Lucca, Giuseppe},
	location = {Amsterdam, the Netherlands},
	month = {mar},
	note = {Best Paper Award},
	publisher = {IEEE Computer Society},
	title = {Towards A Process-Oriented Software Architecture Reconstruction Taxonomy},
	url = {http://www.iam.unibe.ch/~scg/Archive/Papers/Poll07a-CSMRSARTaxonomy.pdf},
	year = {2007}}

@techreport{Mans07a,
	address = {Annecy, France},
	author = {D. Manset and H. Verjus},
	date-added = {2007-06-11 12:57:45 +0200},
	date-modified = {2007-07-21 17:37:23 +0200},
	institution = {University of Savoie - LISTIC},
	month = {April},
	number = {LISTIC No 07/02},
	title = {A Formal Model-Driven Approach for Grid Application Architectures},
	type = {Technical Report},
	year = {2007}}

@techreport{Cimp07b,
	author = {S. Cimpan and H. Verjus and I. Alloui},
	date-added = {2007-04-13 21:33:12 +0200},
	date-modified = {2007-07-21 17:37:15 +0200},
	institution = {University of Savoie - LISTIC},
	month = {January},
	number = {LISTIC No 07/01},
	title = {Gestion de l'\'evolution dans une approche d'ing\'enierie logicielle centr\'ee architecture},
	type = {Technical Report},
	year = {2007}}

@inproceedings{Cimp07a,
	address = {Madeira, Portugal},
	author = {Sorana C{\^\i}mpan and Herv{\'e} Verjus and Ilham Alloui},
	booktitle = {International Conference on Enterprise Information Systems (ICEIS'07)},
	date-added = {2007-04-13 11:34:52 +0200},
	date-modified = {2007-07-06 12:04:58 +0200},
	month = {June},
	pages = {221-229},
	title = {Dynamic architecture based evolution of enterprise information systems},
	year = {2007}}

@techreport{Verj06b,
	author = {H. Verjus},
	date-added = {2007-04-13 21:36:33 +0200},
	date-modified = {2007-07-21 17:37:08 +0200},
	institution = {University of Savoie - LISTIC},
	month = {December},
	number = {LISTIC No 06/03},
	title = {Nimrod: A Software Architecture Engineering Environment},
	type = {technical Report},
	year = {2006}}

@inproceedings{Verj06a,
	address = {Nantes},
	author = {H. Verjus and S. Cimpan and I. Alloui and F. Oquendo},
	booktitle = {1{\`e}re Conf{\'e}rence francophone sur les Architectures Logicielles (CAL 2006)},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-07-06 12:19:39 +0200},
	month = {September},
	pages = {41-57},
	title = {Gestion des architectures {\'e}volutives dans ArchWare},
	year = {2006}}

@inproceedings{Pour06b,
	address = {Nantes},
	author = {F. Pourraz and H. Verjus},
	booktitle = {1{\`e}re Conf{\'e}rence francophone sur les Architectures Logicielles (CAL 2006)},
	date-added = {2007-01-06 11:31:34 +0100},
	date-modified = {2007-07-06 12:24:14 +0200},
	month = {September},
	pages = {119-127},
	title = {$\pi$-Diapason: un langage pour la formalisation des architectures orient{\'e}es services web},
	year = {2006}}

@inproceedings{Pour06a,
	abstract = {The development of large software applications (like EAI solution)
	is oriented toward the interoperation of existing software components
	(like COTS and legacy systems). COTS-based systems are built in ad-hoc
	manner and it is not possible to reason on them no more it is possible
	to demonstrate if such systems satisfy important properties like
	Quality Of Service and Quality Attributes. On the other hand, software
	architecture domain aims at providing formal languages for the description
	of software systems allowing checking properties (formal analysis)
	and to reason about software architecture models. The paper proposes
	an approach that consists in formalizing, deploying and evolving
	EAI architectures. For that purpose, the ArchWare environment and
	engineering languages (especially the ArchWare formal ADL, based
	on the pi-calculus) and accompanied tools are used.},
	address = {Paphos, Cyprus},
	author = {F. Pourraz and H. Verjus and F. Oquendo},
	booktitle = {Eighth International Conference on Enterprise Information Systems (ICEIS 2006)},
	date-added = {2007-01-06 11:31:34 +0100},
	date-modified = {2007-01-06 11:31:34 +0100},
	month = {May},
	pages = {234-241},
	title = {An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture},
	year = {2006}}

@inproceedings{Mans06a,
	abstract = {This paper discusses the concept of model-driven software engineering
	applied to the Grid application domain. As an extension to this concept,
	the approach described here, attempts to combine both formal architecture-centric
	and model-driven paradigms. It is a commonly recognized statement
	that Grid systems have seldom been designed using formal techniques
	although from past experience such techniques have shown advantages.
	This paper advocates a formal engineering approach to Grid system
	developments in an effort to contribute to the rigorous development
	of Grids software architectures. This approach addresses quality
	of service and cross-platform developments by applying the model-driven
	paradigm to a formal architecture-centric engineering method. This
	combination benefits from a formal semantic description power in
	addition to model-based transformations. The result of such a novel
	combined concept promotes the re-use of design models and facilitates
	developments in Grid computing.},
	address = {Paphos, Cyprus},
	author = {D. Manset and H. Verjus and R. McClatchey and F. Oquendo},
	booktitle = {Eighth International Conference on Enterprise Information Systems (ICEIS 2006)},
	date-modified = {2007-01-06 11:30:35 +0100},
	month = {May},
	pages = {322-330},
	title = {A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications},
	year = {2006}}

@inproceedings{Verj05a,
	abstract = {The development of big software applications is oriented toward the
	integration or interoperation of existing software components (like
	COTS and legacy systems) . This tendency is accompanied by a certain
	number of drawbacks for which classical approaches in software composition
	cannot be applied and fail. COTS-based systems are built in ad-hoc
	manner and it is not possible to reason on them no more it is possible
	to demonstrate if such systems satisfy important properties like
	Quality Of Service and Quality Attributes. 
	
	The recent works issued in web field allow the definition and the
	use of a complex web service architecture . Languages such as WSFL
	, XLANG and BPEL4WS support these architectures called Services Oriented
	Architectures. The definition of software systems using these languages
	benefits some existing technical solutions such as SOAP , UDDI ,
	etc., that permit the distribution, the discovery and the interoperability
	of web services. 
	
	However, these languages do not have any formal foundation. One cannot
	reason on such architectures expressed using such languages: properties
	cannot be expressed and the system dynamic evolution is not supported.
	On the other hand, software architecture domain aims at providing
	formal languages for the description of software systems allowing
	to check properties (formal analyses) and to reason about software
	architecture models.
	
	The paper proposes a formalisation of COTS-based system (their structure,
	their behaviours) using architectural styles. The ADL used is pi-ADL
	(based on the pi-calculus, supporting style description). The paper
	will also present our approach consisting in refining an abstract
	architecture to an executable and services-oriented one.},
	address = {Eskisehir, Turkey},
	author = {H. Verjus and K. Mansouri and M. Khireddine},
	booktitle = {International Informatics Congress},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	month = {June},
	number = {ISBN:975-98930-6-1},
	organization = {Biltek 2005},
	pages = {129-139},
	title = {Using An Architecture-Centric Approach For Fomalizing And Deploying Services Oriented Architecture},
	year = {2005}}

@mastersthesis{Souh05a,
	address = {Annecy, France},
	author = {Y. Souhar},
	date-modified = {2007-01-06 11:32:33 +0100},
	month = {June},
	note = {Advisors: N. Belkhatir and H. Verjus},
	school = {University of Savoie - LSR/LISTIC},
	title = {La reconfiguration dynamique des logiciels {\`a} base de composants. Cas particulier de la migration},
	year = {2005}}

@inproceedings{Mans05a,
	abstract = {As a consequence to the hype of Grid computing, such systems have
	seldom been designed using formal techniques. The complexity and
	rapidly growing demand around Grid technologies has favour the use
	of classical development techniques, resulting in no guidelines or
	rules and unstructured engineering processes. This paper advocates
	a formal approach to Grid applications development in an effort to
	contribute to the rigorous development of Grids software architectures.
	This approach addresses cross-platform interoperability and quality
	of service; the model-driven paradigm is applied to a formal architecture-centric
	engineering method in order to benefit from the formal semantic description
	power in addition to model-based transformations. The result of such
	a novel combined concept promotes the re-use of design models and
	eases developments in Grid computing by providing an adapted development
	process and ensuring correctness at each design level.},
	address = {Paris, France},
	author = {D. Manset and H. Verjus and R. McClatchey and F. Oquendo},
	booktitle = {18th International Conference of Software \& System},
	date-modified = {2007-01-06 11:30:30 +0100},
	month = {November},
	pages = {135-142},
	title = {A Model-Driven Approach for Grid Services Engineering},
	volume = {1},
	year = {2005}}

@conference{Cimp05a,
	address = {Bern, Switzerland},
	author = {S. Cimpan and H. Verjus},
	booktitle = {CHASE: Challenges in Software Evolution},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	month = {April},
	pages = {1-4},
	title = {Challenges in Architecture Centred Software Evolution},
	year = {2005}}

@techreport{Verj04b,
	address = {Annecy, France},
	author = {H. Verjus and F. Pourraz},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	institution = {University of Savoie - LISTIC},
	number = {04/04},
	title = {WebWare : Langages et outils pour les architectures orient{\'e}es services Web : l'ubiquit{\'e} dans l'Internet de 3{\`e}me g{\'e}n{\'e}ration au service de l'int{\'e}gration des applications d'entreprises en r{\'e}seau},
	type = {Emergence (R{\'e}gion Rh{\^o}ne-Alpes) project report},
	year = {2004}}

@inproceedings{Verj04a,
	abstract = {The development of big software applications is oriented toward the
	integration or interoperation of existing software components (like
	COTS and legacy systems) . This tendency is accompanied by a certain
	number of drawbacks for which classical approaches in software composition
	cannot be applied and fail. COTS-based systems are built in ad-hoc
	manner and it is not possible to reason on them no more it is possible
	to demonstrate if such systems satisfy important properties like
	Quality Of Service and Quality Attributes. 
	
	The recent works issued in web field allow the definition and the
	use of a complex web service architecture . 
	
	Languages such as WSFL , XLANG and BPEL4WS support these architectures
	called Services Oriented Architectures. 
	
	The definition of software systems using these languages benefits
	some existing technical solutions such as SOAP , UDDI , etc., that
	permit the distribution, the discovery and the interoperability of
	web services. 
	
	However, these languages do not have any formal foundation. One cannot
	reason on such architectures expressed using such languages: properties
	cannot be expressed and the system dynamic evolution is not supported.
	
	On the other hand, software architecture domain aims at providing
	formal languages for the description of software systems allowing
	to check properties (formal analyses) and to reason about software
	architecture models. 
	
	The paper proposes a formalisation of COTS-based system (their structure,
	their behaviours) using architectural styles. The ADL used is pi-ADL
	(based on the pi-calculus, supporting style description). The paper
	will also present our approach consisting in refining an abstract
	architecture to an executable and services-oriented one.},
	address = {Constantine, Algeria},
	author = {H. Verjus and K. Mansouri and M. Khireddine},
	booktitle = {International Arab Conference on Information Technology (ACIT'2004)},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	month = {December},
	number = {ISSN: 1812-0857},
	organization = {ACIT 2004},
	pages = {660-661},
	title = {From Architectural Styles to Services Oriented Architecture: A First Attempt in Designing and Builging COTS-based Systems},
	volume = {2},
	year = {2004}}

@techreport{Pour03b,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {F. Pourraz and H. Verjus and S. Azaiez and F. Oquendo and Cesare Zavattari},
	date-added = {2007-01-06 11:31:34 +0100},
	date-modified = {2007-01-06 11:31:34 +0100},
	institution = {ArchWare Consortium},
	month = {October},
	number = {D2.2b-R2},
	title = {Final ArchWare Architecture Animator - Release 2},
	type = {Deliverable},
	year = {2004}}

@inproceedings{Azai04a,
	abstract = {This paper introduces an animation approach for validating software
	architectures. This approach is dedicated to architectural descriptions
	expressed using pi-calculus-based ADLs. We based our approach on
	semantics analysis in order to conserve correctness between the architectural
	description and the animation rendering. The purpose of our work
	is to focus on the capability of animation to provide a simplified
	view that facilitates the architectural validation and also the understanding
	of the ADL notation.},
	address = {Paris, France},
	author = {S. Azaiez and F. Pourraz and H. Verjus and F. Oquendo},
	booktitle = {Workshop on Systems Testing and Validation (SV04)},
	date-added = {2007-01-06 11:26:50 +0100},
	date-modified = {2007-01-06 11:26:50 +0100},
	month = {December},
	organization = {SV 2004},
	pages = {93-103},
	title = {Validation By Animation : Animating Software Architectures Based On pi-calculus},
	volume = {2},
	year = {2004}}

@techreport{Verj03c,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {H. Verjus and F. Oquendo},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	institution = {ArchWare Consortium},
	month = {June},
	number = {D1.3b},
	title = {Final XML ArchWare style-based ADL (ArchWare AXL)},
	type = {Deliverable},
	year = {2003}}

@techreport{Verj03b,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {H. Verjus and S. Cimpan and F. Pourraz and F. Oquendo and F. Wankerl and F. Theroude},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	institution = {ArchWare Consortium},
	month = {June},
	number = {D2.2a},
	title = {Preliminary ArchWare Architecture Animator},
	type = {Deliverable},
	year = {2003}}

@techreport{Verj03a,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {H. Verjus and F. Oquendo},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	institution = {ArchWare Consortium},
	month = {January},
	number = {D1.3a},
	title = {Preliminary XML ArchWare style-based ADL (ArchWare AXL)},
	type = {Deliverable},
	year = {2003}}

@mastersthesis{Pour03c,
	address = {Annecy, France},
	author = {F. Pourraz},
	date-added = {2007-01-06 11:31:34 +0100},
	date-modified = {2007-01-06 11:31:34 +0100},
	month = {June},
	school = {University of Savoie},
	title = {Approche pour l'animation d'architectures logicielles},
	year = {2003}}

@inproceedings{Pour03a,
	abstract = {This paper addresses the issue of software architecture graphical
	representation, covering both structural as well as behavioural aspects.
	In order to support both aspects the presented approach consists
	in generating graphical animations for software architectures, starting
	from their ADL based description. This implies to manage the relationship
	between two domains: on one hand architecture description, on the
	other hand graphical animations. For this purpose, a pattern-based
	approach is introduced. The use of animation patterns is a descriptive
	method since each animation is specified by a pattern. Moreover,
	once defined, a pattern is usable in all architectural descriptions
	of a same language. Because patterns are quite the same, regardless
	of the ADL, this pattern-based method is reusable to a large extent.
	Patterns represent very generic information, and thus they can be
	applied to varied domains. This paper describes an architecture-centric
	approach for which the patterns can be defined in successive layers.
	A pattern can be described through a description language, which
	incorporates the various animation actions being executed, as well
	as the execution condition of the pattern. This coding allows also
	the modification of existing animation patterns or/and the creation
	of new ones.},
	address = {Paris, France},
	author = {F. Pourraz and S. Cimpan and H. Verjus},
	booktitle = {16th International Conference on Software \& Systems Engineering and their Apllications (ICSSEA 2003)},
	date-added = {2007-01-06 11:31:34 +0100},
	date-modified = {2007-01-06 11:31:34 +0100},
	month = {December},
	pages = {1-9},
	title = {Pattern-based approach for animating software architectures},
	volume = {Late papers},
	year = {2003}}

@mastersthesis{Mans03a,
	address = {Annecy, France},
	author = {K. Mansouri},
	date-modified = {2007-01-06 11:30:42 +0100},
	month = {September},
	note = {Advisor: H. Verjus},
	school = {University of Savoie - LISTIC},
	title = {D{\'e}finition de styles architecturaux pour la description de syst{\`e}mes logiciels {\`a} base de composants de type COTS, selon une approche "services Web"},
	year = {2003}}

@techreport{Cimp03c,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {S. Cimpan and F. Leymonerie and F. Oquendo and H. Verjus},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	institution = {ArchWare Consortium},
	number = {D3.7a},
	title = {Preliminary ArchWare Architecture Analysis Tool by Model-Specific Evaluation},
	type = {Deliverable},
	year = {2003}}

@inproceedings{Cimp03b,
	abstract = {Reusing and assembling existing components (COTS or/and legacy systems)
	are questions that cope with some difficulties that are not covered
	by classical component-based programming solutions (EJB, CCM, etc.);
	because COTS source code is not available, few efforts have been
	dedicated to built COTS-based systems development environments and
	COTS are mainly plugged together in a hard-coded manner. Recent works
	on COTS-based federations have defined some concepts and a reference
	architecture for the design, the construction and the execution of
	the COTS-based federations, as well as a COTS-based federation development
	process. But this approach (as well as other COTS-based system solutions)
	does not address formal reasoning nor permits to check conformance
	between federation model and the corresponding federation execution.
	
	Software architecture domain aims at providing formal languages for
	the description of software systems allowing to check properties
	(formal analyses) and reasoning about software architecture models.
	They equally induce reuse at the design level, which is especially
	high when architectural styles are used. 
	
	In order to respond to the lack of formalization in the COTS-based
	systems, the paper focuses on the definition of a software architectural
	styles set for describing structural and behavioral properties. The
	approach is present through its use in the case of a particular COTS-based
	system : the COTS federations. For that purpose, a style aware ADL
	is used: sigma-pi-Space .},
	address = {Austin, USA},
	author = {S. Cimpan and H. Verjus and F. Oquendo},
	booktitle = {Integrated Design \& Process Technology (Special Topic Session Formal Reasoning on Software Components and Component-based Software Architectures)},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	month = {December},
	pages = {127-134},
	title = {COTS-based System Design using Software Architectural Styles},
	year = {2003}}

@techreport{Cimp03a,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {S. Cimpan and H. Verjus and F. Oquendo and F. Leymonerie},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	institution = {ArchWare Consortium},
	number = {D3.4},
	title = {Formalism for Model Specific Evaluation},
	type = {Deliverable},
	year = {2003}}

@techreport{Azai03a,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {S. Azaiez and F. Pourraz and H. Verjus and F. Oquendo},
	date-added = {2007-01-06 11:26:50 +0100},
	date-modified = {2007-01-06 11:26:50 +0100},
	institution = {ArchWare Consortium},
	month = {December},
	number = {D2.2b-R1},
	title = {Final ArchWare Architecture Animator - Release 1},
	type = {Deliverable},
	year = {2003}}

@inproceedings{Arba03a,
	abstract = {This paper tends to confront two wide and deep process fields: software
	process and enterprise manufacturing process (called for short, manufacturing
	processes). It will analyse them, present a state of the art according
	to a set of process requirements and conclude with a similarities
	and differences.},
	address = {Angers, France},
	author = {S. Arbaoui and A. Haurat and F. Oquendo and F. Theroude and H. Verjus},
	booktitle = {Fifth International Conference on Enterprise Information Systems (ICEIS'03)},
	date-added = {2007-01-06 11:26:27 +0100},
	date-modified = {2007-01-06 11:26:27 +0100},
	month = {April},
	pages = {474-482},
	title = {Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences},
	volume = {III},
	year = {2003}}

@inproceedings{Verj02a,
	abstract = {Information systems are more and more complex, need more and more
	functionality provided by several software applications that already
	exist (COTS or legacy systems). COTS-based federations are specific
	cases of COTS-based systems, restricted to the federation assumptions
	(COTS are plugged together for the needs of a software application;
	COTS are considered as autonomous and have to keep the autonomy in
	the federation context).
	
	Software architecture domain aims at providing formal languages for
	the description of software systems allowing to check properties
	(formal analyses) and to reason about software architecture models.
	The paper proposes a formalisation of COTS-based federations (their
	structure, their behaviours) using architectural styles. The ADL
	used is sigma-pi-Space (based on the pi-calculus, supporting style
	description). A specific development process has been adopted, inherited
	from the COTS-based federation development process and the software
	architecture centred process.},
	address = {Paris, France},
	author = {H. Verjus and S. Cimpan and D. Telisson},
	booktitle = {15th International Conference on Software \& Systems Engineering and their Applications (ICSSEA'02)},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	month = {December},
	number = {7-8},
	pages = {1-8},
	title = {Formalising COTS-based federations using software architectural styles},
	volume = {2},
	year = {2002}}

@mastersthesis{Teli02a,
	address = {Annecy, France},
	author = {D. Telisson},
	date-modified = {2007-01-06 11:32:39 +0100},
	month = {July},
	note = {Advisors: S. Cimpan and H. Verjus},
	school = {University of Savoie - LLP},
	title = {Formalisation de styles architecturaux pour les f{\'e}d{\'e}rations d'outils logiciels},
	year = {2002}}

@techreport{Oque02a,
	address = {ArchWare European RTD Project IST-2001-32360},
	author = {F. Oquendo and I. Alloui and S. Cimpan and H. Verjus},
	date-modified = {2007-01-06 11:30:50 +0100},
	institution = {ArchWare Consortium},
	number = {D1.1b},
	title = {The ArchWare ADL: Definition of the Abstract Syntax and Formal Semantics},
	type = {Deliverable},
	year = {2002}}

@article{Arba02a,
	abstract = {Process Centered Environments (PCEs) are the most recent generation
	of environments supporting the software engineering process. They
	aim to drive and assist developpers in the application of software
	development methods, by exploiting an explicit representation of
	the process. Several PCEs have been developped, both as resaerch
	project and commercial products. This paper makes a point of research
	works and research challenges. It identifies 8 PCEs and a list of
	general requirements selected regarding actual software process technology
	needs along with some PCEs experiments results. A set of comparison
	criterias are then established and a list of open issues, derived
	from PCEs comparaison, is presented.},
	author = {S. Arbaoui and J.-C. Derniame and F. Oquendo and H. Verjus},
	date-added = {2007-01-06 11:26:27 +0100},
	date-modified = {2007-01-06 11:26:27 +0100},
	journal = {Annals of Software Engineering (ASE)},
	number = {1-4},
	pages = {311-340},
	title = {A Comparative Review of Process-Centered Software Engineering Environments},
	volume = {14},
	year = {2002}}

@phdthesis{Verj01a,
	author = {H. Verjus},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:36:42 +0100},
	local-url = {http://www-adele.imag.fr/Les.Publications/reports/PHD2001Ver.pdf},
	month = {September},
	school = {University of Savoie},
	title = {Conception et construction de f\'ed\'erations de progiciels},
	url = {http://tel.ccsd.cnrs.fr/documents/archives0/00/01/08/77/index_fr.html},
	year = {2001}}

@inproceedings{Estu01d,
	address = {Las Vegas, USA},
	author = {J. Estublier and H. Verjus and P.-Y. Cunin},
	booktitle = {Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'01)},
	date-added = {2007-01-06 11:29:50 +0100},
	date-modified = {2007-01-06 11:29:51 +0100},
	month = {June},
	pages = {141-146},
	title = {Building Software Federations},
	volume = {I},
	year = {2001}}

@techreport{Estu01c,
	address = {PIE LTR ESPRIT Project 34840},
	author = {J. Estublier and H. Verjus},
	date-added = {2007-01-06 11:29:50 +0100},
	date-modified = {2007-01-06 11:29:50 +0100},
	institution = {PIE consortium},
	number = {D2.06},
	title = {Definition and design of PSS elements to support evolution of heterogeneous distributed and mobile processes in the PIE system},
	type = {Deliverable},
	year = {2001}}

@inproceedings{Estu01b,
	address = {Wien, Austria},
	author = {J. Estublier and H. Verjus and P.-Y. Cunin},
	booktitle = {8th European Software Engineering Conference (ESEC / SIGSOFT FSE 2001)},
	date-added = {2007-01-06 11:29:50 +0100},
	date-modified = {2007-01-06 11:29:50 +0100},
	month = {September},
	pages = {299-300},
	title = {Modelling and Managing Software Federations},
	year = {2001}}

@inproceedings{Estu01a,
	address = {Varsaw, Poland},
	author = {J. Estublier and H. Verjus and P.-Y. Cunin},
	booktitle = {1st Conference on Component Based Software Engineering (CBSE - EUROMICRO 2001)},
	date-added = {2007-01-06 11:29:50 +0100},
	date-modified = {2007-01-06 11:29:50 +0100},
	month = {September},
	pages = {121-129},
	title = {Designing and Building Software Federations},
	year = {2001}}

@article{Allo01a,
	abstract = {This paper presents a novel approach for modeling, enacting and controling
	software-intensive processes: the ALLIANCE framework (ALLIANCE stands
	for ALgebra and Logic for Interoperable AgeNts in Cooperative Environments).
	The proposed approach is based on achievements of the European PIE
	Project (Process Instance Evolution ESPRIT IV LTR). The paper addresses
	the key issue of developing a software framework that enables cooperation,
	decentralisation and change on-the-fly of software-intensive processes.
	
	
	In order to model software-intensive processes, the framework proposes
	a fuzzy logic based process description language based on the concept
	of task. To enact and control processes, the framework relies on
	a goal-oriented approach where software agents cooperate for achieving
	task goals. Software agents are autonomous (possibly decentralised)
	entities defined by goals they may achieve, knowledge on processes
	they are involved in, individual capabilities, and interaction capabilities
	for inter-operating with other software agents. 
	
	Process quantitative control is needed to measure to which extent
	user-defined goals on the supported process have been reached, and
	if not sufficiently, how much is to be done to achieve them (how
	much and which resources are needed, what are consequences on the
	overall costs, etc.). To this end, ALLIANCE provides project managers
	with advanced fuzzy logic based monitoring facilities, support for
	decision making and change control mechanisms. Quantitative control
	is considered as a step towards enterprise process improvement.},
	author = {I. Alloui and S. Cimpan and H. Verjus and F. Oquendo},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	journal = {SDPS Transactions: Journal of Integrated Design and Process Science},
	number = {4},
	pages = {39-53},
	title = {Alliance: A Software Framework for Software-Intensive Process Modeling, Enactment and Fuzzy Control},
	volume = {5},
	year = {2001}}

@techreport{Verj00a,
	address = {France},
	author = {H. Verjus and F. Oquendo and C. Chevenier},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:37:36 +0100},
	institution = {Electricit\'e de France - EDF R\&D},
	number = {L3.2},
	title = {Etat de l'art sur l'\'echange de donn\'ees informatis\'ees: concepts, m\'ecanismes, travaux et tendances sur l'interop\'erabilit\'e},
	type = {Deliverable},
	year = {2000}}

@techreport{Cugo00c,
	address = {PIE LTR ESPRIT Project 34840},
	author = {G. Cugola and P.-Y. Cunin and J. Estublier and A. Fuggetta and F. Pacull and M. Rivi\`ere and H. Verjus},
	date-added = {2007-01-06 11:29:03 +0100},
	date-modified = {2007-01-06 11:29:03 +0100},
	institution = {PIE consortium},
	number = {D2.04},
	title = {Concepts and paradigms for the design of evolving distributed and mobile processes},
	type = {Deliverable},
	year = {2000}}

@inproceedings{Cugo00b,
	address = {Kaprun, Austria},
	author = {G. Cugola and P.-Y. Cunin and S. Dami and E. Estublier and A. Fuggetta and F. Pacull and M. Rivi\`ere and H. Verjus},
	booktitle = {7th European Workshop on Software Process Technology (EWSPT'2000)},
	date-added = {2007-01-06 11:29:03 +0100},
	date-modified = {2007-07-21 18:13:30 +0200},
	month = {February},
	pages = {38-53},
	series = {Lecture Notes In Computer Science},
	title = {Support for Software Federations: The PIE Platform},
	volume = {1780},
	year = {2000}}

@inproceedings{Cugo00a,
	address = {New York, USA},
	author = {G. Cugola and P.-Y. Cunin and S. Dami and J. Estublier and A. Fuggetta and F. Pacull and M. Rivi\`ere and H. Verjus},
	booktitle = {Workshop on Reflective Middleware (RM'00)},
	date-added = {2007-01-06 11:29:03 +0100},
	date-modified = {2007-07-21 18:13:45 +0200},
	month = {April},
	title = {Customizing the Behavior of Middleware: the PIE Approach},
	year = {2000}}

@techreport{Becc00a,
	address = {PIE LTR ESPRIT Project 34840},
	author = {M. Becchi and G. Cugola and P.-Y. Cunin and J. Estublier and A. Fuggetta and F. Pacull and M. Rivi\`ere and H. Verjus},
	date-added = {2007-01-06 11:27:28 +0100},
	date-modified = {2007-01-06 11:27:28 +0100},
	institution = {PIE consortium},
	number = {D2.05},
	title = {Architecture approach and formalization},
	type = {Deliverable},
	year = {2000}}

@inproceedings{Allo00b,
	address = {Dallas, USA},
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	booktitle = {4th World Conference on Integrated Design \& Process Technology (IDPT'2000)},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	month = {June},
	pages = {1-12},
	title = {Alliance: A Software Framework for Software-intensive Process Modeling, Enactment and Fuzzy Control},
	year = {2000}}

@inbook{Allo00a,
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	chapter = {Enterprise Information Systems},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	editor = {Joaquim Filipe},
	pages = {51-62},
	publisher = {Kluwer},
	title = {Alliance: An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control},
	year = {2000}}

@techreport{Estu99a,
	address = {PIE LTR ESPRIT Project 34840},
	author = {J. Estublier and H. Verjus},
	date-added = {2007-01-06 11:29:50 +0100},
	date-modified = {2007-01-06 11:29:51 +0100},
	institution = {PIE consortium},
	number = {D2.01},
	title = {Definition of the behaviour paradigms of a heterogeneous federation of evolving process components},
	type = {Deliverable},
	year = {1999}}

@techreport{Cugo99a,
	address = {PIE LTR ESPRIT Project 34840},
	author = {G. Cugola and P.-Y. Cunin and J. Estublier and A. Fuggetta and F. Pacull and M. Rivi\`ere and H. Verjus},
	date-added = {2007-01-06 11:29:03 +0100},
	date-modified = {2007-01-06 11:29:03 +0100},
	institution = {PIE consortium},
	number = {D2.03},
	title = {Concepts and paradigms for the design of evolving, distributed and mobile processes},
	type = {Deliverable},
	year = {1999}}

@inproceedings{Bolu99a,
	address = {Villard de Lans, France},
	author = {T. Bolusset and F. Oquendo and H. Verjus},
	booktitle = {Int. Process Technology Workshop (IPTW'99)},
	date-modified = {2007-01-06 11:27:49 +0100},
	month = {September},
	pages = {50-55},
	title = {Software Component-based Federation Architectures Are Software Architectures Too},
	year = {1999}}

@inproceedings{Allo99d,
	address = {Santiago de Compostela, Spain},
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	booktitle = {AMSE Int. Conf. on Modelling and Simulation (MS'99)},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	month = {June},
	pages = {11-21},
	title = {A Fuzzy Sets Based Mechanism Allowing the Tuning of Software Intensive Processes Control Systems via Multiple Simulations},
	volume = {1},
	year = {1999}}

@inproceedings{Allo99c,
	address = {Tunis, Tunisia},
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	booktitle = {Many Facets of Process Engineering (MFPE'99)},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	month = {May},
	pages = {1-12},
	title = {Software Agents for Bringing Cooperating Software-Intensive Processes under Quantitative Control using Fuzzy Sets},
	year = {1999}}

@inproceedings{Allo99b,
	address = {Philadelphia, USA},
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	booktitle = {IASTED Int. Conf. on Modelling and Simulation (ICMS'99)},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	month = {May},
	pages = {484-490},
	title = {Tuning a Fuzzy Control System for Software Intensive Processes via Simulations},
	year = {1999}}

@inproceedings{Allo99a,
	address = {Setubal, Portugal},
	author = {I. Alloui and S. Cimpan and F. Oquendo and H. Verjus},
	booktitle = {1st International Conference on Enterprise Information Systems (ICEIS'99)},
	date-added = {2007-01-06 11:25:01 +0100},
	date-modified = {2007-01-06 11:25:01 +0100},
	month = {March},
	pages = {371-382},
	title = {Alliance: An Agent-Based CASE Environment for Enterprise Process Modelling, Enactment and Quantitative Control},
	year = {1999}}

@techreport{Verj98d,
	address = {PIE ESPRIT LTR IV Project No. 24840},
	author = {H. Verjus and S. Cimpan},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	institution = {PIE consortium},
	number = {MS-DPRO \& DS-DPRO},
	title = {Technical Description of the Monitoring and Decision Support PIE Component Prototypes},
	type = {Technical Report},
	year = {1998}}

@techreport{Verj98c,
	address = {France},
	author = {H. Verjus},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:35:11 +0100},
	institution = {University of Savoie - LLP},
	number = {0000601},
	title = {Interop\'erabilit\'e: \'etat de l'art, m\'ecanismes, travaux et orientations},
	type = {Internal report},
	year = {1998}}

@inproceedings{Verj98b,
	address = {Paris, France},
	author = {H. Verjus and F. Oquendo},
	booktitle = {11th International Conference on Software Engineering and its Applications (ICSEA'98)},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:35:43 +0100},
	month = {December},
	pages = {99-110},
	title = {F\'ed\'erations d'environnements centr\'es processus logiciels: une approche bas\'ee composants},
	volume = {3},
	year = {1998}}

@conference{Verj98a,
	address = {Archamps, France},
	author = {H. Verjus},
	booktitle = {Troisi\`eme Journ\'ees Jeunes Doctorants en Syst\`emes d'Information},
	date-added = {2007-01-06 11:33:06 +0100},
	date-modified = {2007-01-06 11:33:06 +0100},
	month = {March},
	organization = {MATIS},
	pages = {45-61},
	title = {Vers une F\'ed\'eration d'Environnements Centr\'es Processus},
	year = {1998}}

@techreport{Cimp98b,
	address = {PIE ESPRIT LTR IV Project No. 24840},
	author = {S. Cimpan and H. Verjus},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	institution = {PIE consortium},
	number = {DS-DDOC},
	title = {Requirements and approach for decision support and interfaces definitions},
	type = {Technical Report},
	year = {1998}}

@techreport{Cimp98a,
	address = {PIE ESPRIT LTR IV Project No. 24840},
	author = {S. Cimpan and H. Verjus},
	date-added = {2007-01-06 11:28:34 +0100},
	date-modified = {2007-01-06 11:28:34 +0100},
	institution = {PIE consortium},
	number = {MS-DDOC},
	title = {Requirements and approach for monitoring support and interfaces definitions},
	type = {Technical Report},
	year = {1998}}