Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Goulão, Miguel & Brito e Abreu, F. (2003). Bridging the gap between Acme and UML for CBD. In Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens (Ed.), Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2003), co-located with ESEC/FSE'2003. (pp. 75-79). Helsinki, Finland: Iowa State University.
Exportar Referência (IEEE) 
M. C. Goulão and F. M. Abreu,  "Bridging the gap between Acme and UML for CBD", in Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2003), co-located with ESEC/FSE'2003, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens, Ed., Helsinki, Finland, Iowa State University, 2003, pp. 75-79
Exportar BibTeX 
@inproceedings{goulão2003_1714983976964,
	author = "Goulão, Miguel and Brito e Abreu, F.",
	title = "Bridging the gap between Acme and UML for CBD",
	booktitle = "Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2003), co-located with ESEC/FSE'2003",
	year = "2003",
	editor = "Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens",
	volume = "",
	number = "",
	series = "",
	doi = "10.5281/zenodo.6462093",
	pages = "75-79",
	publisher = "Iowa State University",
	address = "Helsinki, Finland",
	organization = "ESEC/FSE 2003",
	url = "http://www.eecs.ucf.edu/~leavens/SAVCBS/2003/papers/SAVCBS03.pdf"
}
Exportar RIS 
TY  - CPAPER
TI  - Bridging the gap between Acme and UML for CBD
T2  - Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2003), co-located with ESEC/FSE'2003
AU  - Goulão, Miguel
AU  - Brito e Abreu, F.
PY  - 2003
SP  - 75-79
DO  - 10.5281/zenodo.6462093
CY  - Helsinki, Finland
UR  - http://www.eecs.ucf.edu/~leavens/SAVCBS/2003/papers/SAVCBS03.pdf
AB  - Architecture Description Languages (ADLs) such as Acme (a mainstream second generation ADL which contains the most common ADL constructs) provide formality in the description of software architectures, but are not easily reconciled with day-to-day development concerns, thus hampering their adoption by a larger community. UML, on the other hand, has become the de facto standard notation for design modeling, both in industry and in academia. In this paper we map Acme modeling abstractions into UML 2.0, using its new component modeling constructs, its lightweight extension mechanisms and OCL wellformedness rules. The feasibility of this mapping is demonstrated through several examples. This mapping bridges the gap between architectural specification with Acme and UML, namely allowing the transition from architecture to implementation, using UML design models as a middle tier abstraction.
ER  -