{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:15:03Z","timestamp":1729610103000,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2002.1044555","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T19:45:08Z","timestamp":1056570308000},"page":"217-223","source":"Crossref","is-referenced-by-count":1,"title":["A UML profile to support the formal presentation of software architecture"],"prefix":"10.1109","author":[{"given":"A.","family":"Hudaib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Montangero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"On modeling architectural structures with UML","author":"selic","year":"0","journal-title":"ICSE 2001 Workshop on Describing Software Architecture with UML Toronto Canada 2001"},{"journal-title":"Software Architecture Perspectives on an Emerging Discipline","year":"1996","author":"shaw","key":"22"},{"key":"17","article-title":"A rigorous metamodel for UML static conceptual modelling of information systems","author":"polack","year":"0","journal-title":"CAiSE2001 13th Int Conf on Advanced Information Systems Engineering LNCS 2068 Interlaken Switzerland 2001"},{"key":"23","article-title":"Turning UML-Subsystems into architectural units","author":"storrle","year":"0","journal-title":"ICSE 2001 Workshop on Describing Software Architecture with UML Toronto Canada 2001"},{"article-title":"The unified modeling language reference manual","year":"1999","author":"rambaugh","key":"18"},{"key":"24","article-title":"Towards a base UML profile for architecture description","author":"zarras","year":"0","journal-title":"ICSE 2001 Workshop on Describing Software Architecture with UML Toronto Canada 2001"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48919-3_10"},{"journal-title":"OMG Unified Modeling Language Specification Ver 1 4","year":"2001","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243609"},{"key":"14","article-title":"A case for refinement calculi in software architecture design","author":"montangero","year":"0","journal-title":"ROSATEA Int Workshop on the Role of Software Architecture in Testing E (and) Analysis Marsala 1998"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/502269.502306"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/317665.317673"},{"key":"21","volume":"2","author":"schmidt","year":"2000","journal-title":"Pattern-Oriented Software Architecture Patterns for Concurrent and Networked Objects"},{"article-title":"Parallel program design: A foundation","year":"1988","author":"chandy","key":"3"},{"key":"20","article-title":"Patterns for software architecture","author":"shaw","year":"0","journal-title":"First Annual Conf on the Pattern Languages of Programming 1994"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/317665.317672"},{"article-title":"A system of patterns: Pattern - Oriented software architecture","year":"2000","author":"buschman","key":"1"},{"key":"10","article-title":"Formal patterns for secure software architectures in Oikos_adtl","author":"hudaib","year":"0","journal-title":"Workshop Sistemi Distribuiti Algoritmi Architetture e Linguaggi WSDAAL'01 Como Italy 2001"},{"key":"7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1014530313153","article-title":"Mark: A reasoning kit for mobility","volume":"9","author":"ferrari","year":"2002","journal-title":"Journal of Automated Software Engineering"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45263-X_15"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511550881.013"},{"key":"4","article-title":"Rigorous description of the syntax and semantics of UML collaborations","author":"cibra?n","year":"2000","journal-title":"ECOOP-Workshop on Defining Precise Semantics for UML 2000"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_9"},{"article-title":"Design patterns elements of reusable object-oriented software","year":"1994","author":"gamma","key":"8"}],"event":{"name":"26th Annual International Computer Software and Applications","acronym":"CMPSAC-02","location":"Oxford, UK"},"container-title":["Proceedings 26th Annual International Computer Software and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8094\/22390\/01044555.pdf?arnumber=1044555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:43:27Z","timestamp":1497552207000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1044555\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2002.1044555","relation":{},"subject":[]}}