[ { "key": "E74KEVEB", "version": 1, "library": { "type": "group", "id": 9947, "name": "Actor orientation", "links": { "alternate": { "href": "https://www.zotero.org/groups/actor_orientation", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9947/items/E74KEVEB", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/actor_orientation/items/E74KEVEB", "type": "text/html" } }, "meta": { "createdByUser": { "id": 32828, "username": "indrusiak", "name": "Leandro Soares Indrusiak", "links": { "alternate": { "href": "https://www.zotero.org/indrusiak", "type": "text/html" } } }, "creatorSummary": "Lee et al.", "parsedDate": "2003", "numChildren": 0 }, "data": { "key": "E74KEVEB", "version": 1, "itemType": "journalArticle", "title": "Actor-Oriented Design Of Embedded Hardware And Software Systems", "creators": [ { "creatorType": "author", "firstName": "Edward A", "lastName": "Lee" }, { "creatorType": "author", "firstName": "Stephen", "lastName": "Neuendorffer" }, { "creatorType": "author", "firstName": "Michael J", "lastName": "Wirthlin" } ], "abstractNote": "", "publicationTitle": "JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS", "publisher": "", "place": "", "date": "2003", "volume": "12", "issue": "", "section": "", "partNumber": "", "partTitle": "", "pages": "231--260", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.7377", "accessDate": "2010-01-13T15:33:58Z", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-02-04T15:48:20Z", "dateModified": "2010-02-04T15:48:20Z" } }, { "key": "SKNFHHSK", "version": 1, "library": { "type": "group", "id": 9947, "name": "Actor orientation", "links": { "alternate": { "href": "https://www.zotero.org/groups/actor_orientation", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9947/items/SKNFHHSK", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/actor_orientation/items/SKNFHHSK", "type": "text/html" } }, "meta": { "createdByUser": { "id": 32828, "username": "indrusiak", "name": "Leandro Soares Indrusiak", "links": { "alternate": { "href": "https://www.zotero.org/indrusiak", "type": "text/html" } } }, "creatorSummary": "Eker et al.", "parsedDate": "2003", "numChildren": 0 }, "data": { "key": "SKNFHHSK", "version": 1, "itemType": "journalArticle", "title": "Taming heterogeneity - the Ptolemy approach", "creators": [ { "creatorType": "author", "firstName": "J.", "lastName": "Eker" }, { "creatorType": "author", "firstName": "J.W.", "lastName": "Janneck" }, { "creatorType": "author", "firstName": "E.A.", "lastName": "Lee" }, { "creatorType": "author", "firstName": "", "lastName": "Jie Liu" }, { "creatorType": "author", "firstName": "", "lastName": "Xiaojun Liu" }, { "creatorType": "author", "firstName": "J.", "lastName": "Ludvig" }, { "creatorType": "author", "firstName": "S.", "lastName": "Neuendorffer" }, { "creatorType": "author", "firstName": "S.", "lastName": "Sachs" }, { "creatorType": "author", "firstName": "", "lastName": "Yuhong Xiong" } ], "abstractNote": "Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different characteristics, which communicate and interact in a variety of ways-synchronous or asynchronous, buffered or unbuffered, etc. Obviously, when designing such systems, a modeling language needs to reflect this heterogeneity. Today's modeling environments usually offer a variant of what we call amorphous heterogeneity to address this problem. This paper argues that modeling systems in this manner leads to unexpected and hard-to-analyze interactions between the communication mechanisms and proposes a more structured approach to heterogeneity, called hierarchical heterogeneity, to solve this problem. It proposes a model structure and semantic framework that support this form of heterogeneity, and discusses the issues arising from heterogeneous component interaction and the desire for component reuse. It introduces the notion of domain polymorphism as a way to address these issues.", "publicationTitle": "Proceedings of the IEEE", "publisher": "", "place": "", "date": "2003", "volume": "91", "issue": "1", "section": "", "partNumber": "", "partTitle": "", "pages": "127-144", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "Proceedings of the IEEE", "DOI": "10.1109/JPROC.2002.805829", "citationKey": "", "url": "", "accessDate": "", "PMID": "", "PMCID": "", "ISSN": "0018-9219", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "IEEE Xplore", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "Ptolemy", "type": 1 }, { "tag": "Ptolemy II", "type": 1 }, { "tag": "component reuse", "type": 1 }, { "tag": "component-based design", "type": 1 }, { "tag": "domain polymorphism", "type": 1 }, { "tag": "embedded computing systems", "type": 1 }, { "tag": "embedded systems", "type": 1 }, { "tag": "heterogeneous modeling", "type": 1 }, { "tag": "hierarchical heterogeneity", "type": 1 }, { "tag": "modeling environments", "type": 1 }, { "tag": "models of computation", "type": 1 }, { "tag": "object-oriented programming", "type": 1 }, { "tag": "programming environments", "type": 1 }, { "tag": "software architecture", "type": 1 }, { "tag": "software environment", "type": 1 }, { "tag": "software reusability", "type": 1 } ], "collections": [], "relations": {}, "dateAdded": "2010-02-04T15:48:20Z", "dateModified": "2010-02-04T15:48:20Z" } }, { "key": "5UKAXC5R", "version": 1, "library": { "type": "group", "id": 9947, "name": "Actor orientation", "links": { "alternate": { "href": "https://www.zotero.org/groups/actor_orientation", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9947/items/5UKAXC5R", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/actor_orientation/items/5UKAXC5R", "type": "text/html" } }, "meta": { "createdByUser": { "id": 32828, "username": "indrusiak", "name": "Leandro Soares Indrusiak", "links": { "alternate": { "href": "https://www.zotero.org/indrusiak", "type": "text/html" } } }, "creatorSummary": "Agha et al.", "parsedDate": "1997", "numChildren": 0 }, "data": { "key": "5UKAXC5R", "version": 1, "itemType": "journalArticle", "title": "A foundation for actor computation", "creators": [ { "creatorType": "author", "firstName": "Gul A.", "lastName": "Agha" }, { "creatorType": "author", "firstName": "Ian A.", "lastName": "Mason" }, { "creatorType": "author", "firstName": "Scott F.", "lastName": "Smith" }, { "creatorType": "author", "firstName": "Carolyn L.", "lastName": "Talcott" } ], "abstractNote": "We present an actor language which is an extension of a simple functional language, and provide an operational semantics for this extension. Actor configurations represent open distributed systems, by which we mean that the specification of an actor system explicitly takes into account the interface with external components. We study the composability of such systems. We define and study various notions of testing equivalence on actor expressions and configurations. The model we develop provides fairness. An important result is that the three forms of equivalence, namely, convex, must, and may equivalences, collapse to two in the presence of fairness. We further develop methods for proving laws of equivalence and provide example proofs to illustrate our methodology.", "publicationTitle": "J. Funct. Program.", "publisher": "", "place": "", "date": "1997", "volume": "7", "issue": "1", "section": "", "partNumber": "", "partTitle": "", "pages": "1-72", "series": "", "seriesTitle": "", "seriesText": "", "journalAbbreviation": "", "DOI": "", "citationKey": "", "url": "http://portal.acm.org/citation.cfm?id=969901", "accessDate": "2010-01-13T15:43:26Z", "PMID": "", "PMCID": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "ACM", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-02-04T15:48:20Z", "dateModified": "2010-02-04T15:48:20Z" } }, { "key": "K6XUG3FG", "version": 1, "library": { "type": "group", "id": 9947, "name": "Actor orientation", "links": { "alternate": { "href": "https://www.zotero.org/groups/actor_orientation", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9947/items/K6XUG3FG", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/actor_orientation/items/K6XUG3FG", "type": "text/html" } }, "meta": { "createdByUser": { "id": 32828, "username": "indrusiak", "name": "Leandro Soares Indrusiak", "links": { "alternate": { "href": "https://www.zotero.org/indrusiak", "type": "text/html" } } }, "creatorSummary": "Agha et al.", "parsedDate": "1992", "numChildren": 0 }, "data": { "key": "K6XUG3FG", "version": 1, "itemType": "conferencePaper", "title": "Towards a Theory of Actor Computation", "creators": [ { "creatorType": "author", "firstName": "Gul", "lastName": "Agha" }, { "creatorType": "author", "firstName": "Ian A.", "lastName": "Mason" }, { "creatorType": "author", "firstName": "Scott F.", "lastName": "Smith" }, { "creatorType": "author", "firstName": "Carolyn L.", "lastName": "Talcott" } ], "abstractNote": "", "proceedingsTitle": "Proceedings of the Third International Conference on Concurrency Theory", "conferenceName": "", "publisher": "Springer-Verlag", "place": "", "date": "1992", "eventPlace": "", "volume": "", "issue": "", "numberOfVolumes": "", "pages": "565-579", "series": "", "seriesNumber": "", "DOI": "", "ISBN": "3-540-55822-5", "citationKey": "", "url": "http://portal.acm.org/citation.cfm?id=703340", "accessDate": "2010-01-13T15:45:11Z", "ISSN": "", "archive": "ACM", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-02-04T15:48:20Z", "dateModified": "2010-02-04T15:48:20Z" } }, { "key": "FRSV3ANF", "version": 1, "library": { "type": "group", "id": 9947, "name": "Actor orientation", "links": { "alternate": { "href": "https://www.zotero.org/groups/actor_orientation", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9947/items/FRSV3ANF", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/actor_orientation/items/FRSV3ANF", "type": "text/html" } }, "meta": { "createdByUser": { "id": 32828, "username": "indrusiak", "name": "Leandro Soares Indrusiak", "links": { "alternate": { "href": "https://www.zotero.org/indrusiak", "type": "text/html" } } }, "creatorSummary": "Agha", "parsedDate": "1986", "numChildren": 0 }, "data": { "key": "FRSV3ANF", "version": 1, "itemType": "book", "title": "Actors: a model of concurrent computation in distributed systems", "creators": [ { "creatorType": "author", "firstName": "Gul", "lastName": "Agha" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "1986", "publisher": "MIT Press", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "0-262-01092-5", "DOI": "", "citationKey": "", "url": "http://portal.acm.org/citation.cfm?id=7929&dl=GUIDE&coll=GUIDE&CFID=72659249&CFTOKEN=70005212", "accessDate": "2010-01-13T15:34:52Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "Actors", "language": "", "libraryCatalog": "ACM", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-02-04T15:48:20Z", "dateModified": "2010-02-04T15:48:20Z" } } ]