The purpose of this demo is to showcase the AmbientTalk programming language. AmbientTalk is intended to be a "scripting language for mobile phones". It's a dynamic, object-oriented, distributed programming language with a focus on deployment in so-called mobile ad hoc networks - networks composed of mobile devices that communicate peer-to-peer using wireless communication technology. We discuss AmbientTalk's roots and devote special attention to its concurrent and distributed language features, which are founded on the actor model.
{"title":"AmbientTalk: modern actors for modern networks","authors":"T. V. Cutsem","doi":"10.1145/2095050.2095085","DOIUrl":"https://doi.org/10.1145/2095050.2095085","url":null,"abstract":"The purpose of this demo is to showcase the AmbientTalk programming language. AmbientTalk is intended to be a \"scripting language for mobile phones\". It's a dynamic, object-oriented, distributed programming language with a focus on deployment in so-called mobile ad hoc networks - networks composed of mobile devices that communicate peer-to-peer using wireless communication technology. We discuss AmbientTalk's roots and devote special attention to its concurrent and distributed language features, which are founded on the actor model.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121519637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Multicore programming is both prevalent and difficult. Industry programmers deal with large amounts of legacy code and are increasingly relying on multithreading to provide scalability. The Transitioning to MultiCore (TMC) workshop is focused on tools and systems for parallel programming that are interoperable with legacy code, that minimize the annotation burden for developers, and match well with current industry practice. TMC 2011 was comprised of 7 paper presentations, a panel session, and a group discussion. The workshop structure and discussion results are summarized in this document.
{"title":"Workshop on transitioning to multicore (TMC 2011): overview abstract","authors":"Caitlin Sadowski, Jaeheon Yi","doi":"10.1145/2095050.2095067","DOIUrl":"https://doi.org/10.1145/2095050.2095067","url":null,"abstract":"Multicore programming is both prevalent and difficult. Industry programmers deal with large amounts of legacy code and are increasingly relying on multithreading to provide scalability. The Transitioning to MultiCore (TMC) workshop is focused on tools and systems for parallel programming that are interoperable with legacy code, that minimize the annotation burden for developers, and match well with current industry practice. TMC 2011 was comprised of 7 paper presentations, a panel session, and a group discussion. The workshop structure and discussion results are summarized in this document.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131509507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Lattes CV system, a curricular information system maintained by CNPq, is the core of the Lattes Platform. This system is undoubtedly the major source of information on Brazilian researchers. This paper describes "LattesMiner", a multilingual domain-specific language for automatic information extraction from Lattes curricula. It is composed by a set of classes written in Java that allows developers to implement their own applications with a high-level abstraction and expression power. LattesMiner can extract data belonging to the Lattes Platform from any individual researcher or group of researchers by its name or given (ID) number. The data extracted can be analyzed and used, for instance, to identify academic social networks, regional competences, profile of groups in diferent areas of research etc. We illustrate its use with a case study.
{"title":"LattesMiner: a multilingual DSL for information extraction from lattes platform","authors":"A. D. Alves, H. Yanasse, N. Y. Soma","doi":"10.1145/2095050.2095065","DOIUrl":"https://doi.org/10.1145/2095050.2095065","url":null,"abstract":"The Lattes CV system, a curricular information system maintained by CNPq, is the core of the Lattes Platform. This system is undoubtedly the major source of information on Brazilian researchers. This paper describes \"LattesMiner\", a multilingual domain-specific language for automatic information extraction from Lattes curricula. It is composed by a set of classes written in Java that allows developers to implement their own applications with a high-level abstraction and expression power. LattesMiner can extract data belonging to the Lattes Platform from any individual researcher or group of researchers by its name or given (ID) number. The data extracted can be analyzed and used, for instance, to identify academic social networks, regional competences, profile of groups in diferent areas of research etc. We illustrate its use with a case study.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131560257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
As domain-specific modeling languages (DSMLs) become more widely used, it is important to develop approaches for creating DSMLs that allows different aspects of the language to be incrementally added. It is important, where possible, that the new aspects (or features) of the DSML be added using an automated or semi-automated approach. By creating such an approach the developers of a DSML can start with the constructs to describe the main functionality in the domain, then add those features to the DSML necessary to specify the non-functional constraints in the domain. In this paper we present a semi-automatic approach to integrate a policy language into an existing DSML. As proof of concept we apply the approach to a simple DSML from the bookstore domain.
{"title":"Towards integration of policies into DSMLs","authors":"Frank Hernandez, Peter J. Clarke","doi":"10.1145/2095050.2095060","DOIUrl":"https://doi.org/10.1145/2095050.2095060","url":null,"abstract":"As domain-specific modeling languages (DSMLs) become more widely used, it is important to develop approaches for creating DSMLs that allows different aspects of the language to be incrementally added. It is important, where possible, that the new aspects (or features) of the DSML be added using an automated or semi-automated approach. By creating such an approach the developers of a DSML can start with the constructs to describe the main functionality in the domain, then add those features to the DSML necessary to specify the non-functional constraints in the domain. In this paper we present a semi-automatic approach to integrate a policy language into an existing DSML. As proof of concept we apply the approach to a simple DSML from the bookstore domain.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132483282","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Bexy Alfonso, Emilio Vivancos, V. Botti, A. García-Fornes
Agent communication is a core issue when studying all possible ways for agents to organize and collaborate to achieve their goals. We can count on communication standards, as the FIPA Interaction Protocols. On the other hand we can count on high level agent programming languages, like AgentSpeak, which allow us to model and represent the agent and its knowledge and behavior. In this paper we present a proposal to add to Jason (an interpreter of an extended version of AgentSpeak) a new level of abstraction in the task of programming conversations between agents. The agent communication follows the FIPA interaction protocols. A new entity called Communicator Manager acts as an interface between the agent programming language (Jason) and the platform communication facilities (Magentix 2). This approach allows the programmer to focus on programming the agent knowledge and reasoning parts instead of the interaction protocols. An agent can call the communication manager to start a conversation. The communication manager will control the different steps of the conversation and will modify the agent belief base to represent the results of the different steps of the conversation protocol. Therefore, the agents can use this knowledge in its reasoning process. This approach can be easily transfered to others agent programming languages and platforms.
{"title":"Integrating jason in a multi-agent platform with support for interaction protocols.","authors":"Bexy Alfonso, Emilio Vivancos, V. Botti, A. García-Fornes","doi":"10.1145/2095050.2095084","DOIUrl":"https://doi.org/10.1145/2095050.2095084","url":null,"abstract":"Agent communication is a core issue when studying all possible ways for agents to organize and collaborate to achieve their goals. We can count on communication standards, as the FIPA Interaction Protocols. On the other hand we can count on high level agent programming languages, like AgentSpeak, which allow us to model and represent the agent and its knowledge and behavior. In this paper we present a proposal to add to Jason (an interpreter of an extended version of AgentSpeak) a new level of abstraction in the task of programming conversations between agents. The agent communication follows the FIPA interaction protocols. A new entity called Communicator Manager acts as an interface between the agent programming language (Jason) and the platform communication facilities (Magentix 2). This approach allows the programmer to focus on programming the agent knowledge and reasoning parts instead of the interaction protocols. An agent can call the communication manager to start a conversation. The communication manager will control the different steps of the conversation and will modify the agent belief base to represent the results of the different steps of the conversation protocol. Therefore, the agents can use this knowledge in its reasoning process. This approach can be easily transfered to others agent programming languages and platforms.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129049818","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The ALIA4J approach provides a framework for implementing execution environments with support for advanced dispatching as found, e.g., in aspect-oriented or predicate-dispatching languages. It also defines an extensible meta-model acting as intermediate representation for dispatching declarations, e.g., pointcut-advice or predicate methods. From the intermediate representation of all dispatch declarations in the program the framework derives an execution model for which ALIA4J specifies a generic execution strategy. The meta-object protocol (MOP) formed by the meta-model and framework is defined such that new programming language concepts can be implemented modularly: The semantics can be implemented in an interpretative style (e.g., using reflection) or by describing how to generate corresponding Java bytecode or even machine code. In the latter two cases, the implementation can reason about the current code generation context; this enables sophisticated optimizations. We discuss these optimization facilities by means of two case studies.
{"title":"ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching","authors":"Christoph Bockisch, Andreas Sewe, Martin Zandberg","doi":"10.1145/2095050.2095101","DOIUrl":"https://doi.org/10.1145/2095050.2095101","url":null,"abstract":"The ALIA4J approach provides a framework for implementing execution environments with support for advanced dispatching as found, e.g., in aspect-oriented or predicate-dispatching languages. It also defines an extensible meta-model acting as intermediate representation for dispatching declarations, e.g., pointcut-advice or predicate methods. From the intermediate representation of all dispatch declarations in the program the framework derives an execution model for which ALIA4J specifies a generic execution strategy. The meta-object protocol (MOP) formed by the meta-model and framework is defined such that new programming language concepts can be implemented modularly: The semantics can be implemented in an interpretative style (e.g., using reflection) or by describing how to generate corresponding Java bytecode or even machine code. In the latter two cases, the implementation can reason about the current code generation context; this enables sophisticated optimizations. We discuss these optimization facilities by means of two case studies.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126540679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The objective for this workshop was to review the principles of Agile and object oriented (OO) practices as they affect the design of embedded systems. The workshop had ten attendees, and we had a wide-ranging discussion that explored, among other things: the differences and similarities between embedded systems and traditional software systems, Agile methods that are regarded as successful versus those that are not, the cultural differences between hardware and software engineers, the differences between team organizations, the influence of hardware development styles on software development for embedded systems, and the influence of systems engineering in the embedded systems world The workshop agenda started with a free-form, general discussion of the embedded systems domain. From this discussion, we identified ten topics that we felt were important influences on how Agile methodologies are practiced in the embedded world. We selected four of those topics to explore in more depth.
{"title":"Aoopes'11 workshop overview abstract","authors":"Charles E. Matthews, Jim Kiekbusch, B. Douglass","doi":"10.1145/2095050.2095090","DOIUrl":"https://doi.org/10.1145/2095050.2095090","url":null,"abstract":"The objective for this workshop was to review the principles of Agile and object oriented (OO) practices as they affect the design of embedded systems. The workshop had ten attendees, and we had a wide-ranging discussion that explored, among other things: the differences and similarities between embedded systems and traditional software systems, Agile methods that are regarded as successful versus those that are not, the cultural differences between hardware and software engineers, the differences between team organizations, the influence of hardware development styles on software development for embedded systems, and the influence of systems engineering in the embedded systems world\u0000 The workshop agenda started with a free-form, general discussion of the embedded systems domain. From this discussion, we identified ten topics that we felt were important influences on how Agile methodologies are practiced in the embedded world. We selected four of those topics to explore in more depth.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123629083","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Automatic Transaction-Oriented Memoization (ATOM) system is a thread-safe memoization tool specifically designed for multi-threaded object-oriented programs. Currently, searching the ATOM's memo cache for a hit is still an expensive operation with linear time complexity. We present a new lock-free cache invalidation protocol for the ATOM that allows multiple threads to concurrently search and invalidate cache entries, resorting to helping from threads to decrease the time spent with cache operations. Results with the STMBench7 benchmark show that for a read-only workload the new algorithm increases the throughput of the benchmark up to 14-fold and that it scales well up to 48 cores, the maximum number of physical cores available on the machine used for the tests.
{"title":"A lock-free cache invalidation protocol for the atom system","authors":"Hugo Rito, João P. Cachopo","doi":"10.1145/2095050.2095070","DOIUrl":"https://doi.org/10.1145/2095050.2095070","url":null,"abstract":"The Automatic Transaction-Oriented Memoization (ATOM) system is a thread-safe memoization tool specifically designed for multi-threaded object-oriented programs.\u0000 Currently, searching the ATOM's memo cache for a hit is still an expensive operation with linear time complexity.\u0000 We present a new lock-free cache invalidation protocol for the ATOM that allows multiple threads to concurrently search and invalidate cache entries, resorting to helping from threads to decrease the time spent with cache operations.\u0000 Results with the STMBench7 benchmark show that for a read-only workload the new algorithm increases the throughput of the benchmark up to 14-fold and that it scales well up to 48 cores, the maximum number of physical cores available on the machine used for the tests.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116596395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper describes our experience in improving an ad hoc approach for creating domain-specific languages targeted at digital games, replacing it by a customization of more structured approaches in the domain-specific modeling literature. We give special focus on the benefits of partitioning the target game domain into prioritized sub-domains, as well as on promoting game engines to domain frameworks that can be more seamlessly consumed by generated code. A case study for the arcade games domain is also presented for illustration and evaluation purposes.
{"title":"SharpLudus revisited: from ad hoc and monolithic digital game DSLs to effectively customized DSM approaches","authors":"A. Furtado, André L. M. Santos, Geber Ramalho","doi":"10.1145/2095050.2095061","DOIUrl":"https://doi.org/10.1145/2095050.2095061","url":null,"abstract":"This paper describes our experience in improving an ad hoc approach for creating domain-specific languages targeted at digital games, replacing it by a customization of more structured approaches in the domain-specific modeling literature. We give special focus on the benefits of partitioning the target game domain into prioritized sub-domains, as well as on promoting game engines to domain frameworks that can be more seamlessly consumed by generated code. A case study for the arcade games domain is also presented for illustration and evaluation purposes.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114481267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The fundamental turn of software toward concurrency, decentralization, distribution, interaction calls for conceptually extending or evolving mainstream programming paradigms with proper high-level features to tackle these aspects. To this purpose, in this paper we discuss the value of agent-oriented programming as a general-purpose programming paradigm to tackle this challenge, and, in particular, we present an agent-oriented programming language called simpAL, which is based on agent-oriented abstractions that are meant to simplify the programming of modern applications.
{"title":"Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project","authors":"A. Ricci, Andrea Santi","doi":"10.1145/2095050.2095078","DOIUrl":"https://doi.org/10.1145/2095050.2095078","url":null,"abstract":"The fundamental turn of software toward concurrency, decentralization, distribution, interaction calls for conceptually extending or evolving mainstream programming paradigms with proper high-level features to tackle these aspects. To this purpose, in this paper we discuss the value of agent-oriented programming as a general-purpose programming paradigm to tackle this challenge, and, in particular, we present an agent-oriented programming language called simpAL, which is based on agent-oriented abstractions that are meant to simplify the programming of modern applications.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114511808","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：