SPLASH Workshops最新文献

筛选
英文 中文
A domain specific language for enterprise grade cloud-mobile hybrid applications 用于企业级云移动混合应用程序的领域特定语言
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095064
Ajith Ranabahu, E. M. Maximilien, A. Sheth, K. Thirunarayan
{"title":"A domain specific language for enterprise grade cloud-mobile hybrid applications","authors":"Ajith Ranabahu, E. M. Maximilien, A. Sheth, K. Thirunarayan","doi":"10.1145/2095050.2095064","DOIUrl":"https://doi.org/10.1145/2095050.2095064","url":null,"abstract":"Cloud computing has changed the technology landscape by offering flexible and economical computing resources to the masses. However, vendor lock-in makes the migration of applications and data across clouds an expensive proposition. The lock-in is especially serious when considering the new technology trend of combining cloud with mobile devices.\u0000 In this paper, we present a domain specific language (DSL) that is purposely created for generating hybrid applications spanning across mobile devices as well as computing clouds. We propose a model-driven development process that makes use of a DSL to provide sufficient programming abstractions over both cloud and mobile features. We describe the underlying domain modeling strategy as well as the details of our language and the tools supporting our approach.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125144843","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}
引用次数: 31
AmbientTalk: modern actors for modern networks AmbientTalk:现代网络的现代演员
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095085
T. V. Cutsem
{"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":"63 1","pages":"0"},"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}
引用次数: 3
Cloudscape: language support to coordinate and control distributed applications in the cloud Cloudscape:在云中协调和控制分布式应用程序的语言支持
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095080
Andi Bejleri, Andrew D. H. Farrell, P. Goldsack
{"title":"Cloudscape: language support to coordinate and control distributed applications in the cloud","authors":"Andi Bejleri, Andrew D. H. Farrell, P. Goldsack","doi":"10.1145/2095050.2095080","DOIUrl":"https://doi.org/10.1145/2095050.2095080","url":null,"abstract":"Cloud Computing is an innovative computing proposal, which key feature is the ease and effectiveness of providing a service. There are a number of challenges that a management system for the Cloud will need to address including: scale, reliability (fault-handling and high availability), security and service heterogeneity, to achieve effectiveness.\u0000 This paper proposes an agent-oriented language, called CLOUDSCAPE, to address coordination and control of components in a distributed computation to provide reliability and scalability of service in the context of the Cloud. Agents are modeled as objects extended with transitions and dependencies to describe the lifecycle state machines of components and constraints between lifecycle states. The problem context is further extended with component failure and dynamic addition of new components. The practical utility and effectiveness of this system is illustrated through a series of real-world examples. We then define a formal model of the language and prove that the operational semantics of the language holds a linear consistent shared memory property.","PeriodicalId":143880,"journal":{"name":"SPLASH Workshops","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124071582","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}
引用次数: 1
Towards integration of policies into DSMLs 将政策整合到dsm中
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095060
Frank Hernandez, Peter J. Clarke
{"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":"24 1","pages":"0"},"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}
引用次数: 2
Integrating jason in a multi-agent platform with support for interaction protocols. 将jason集成到支持交互协议的多代理平台中。
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095084
Bexy Alfonso, Emilio Vivancos, V. Botti, A. García-Fornes
{"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":"5 1","pages":"0"},"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}
引用次数: 6
ALIA4J's [(just-in-time) compile-time] MOP for advanced dispatching ALIA4J的[(即时)编译时]MOP用于高级调度
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095101
Christoph Bockisch, Andreas Sewe, Martin Zandberg
{"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":"26 1","pages":"0"},"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}
引用次数: 4
Aoopes'11 workshop overview abstract oopes 11年研讨会综述摘要
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095090
Charles E. Matthews, Jim Kiekbusch, B. Douglass
{"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":"14 1","pages":"0"},"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}
引用次数: 0
A lock-free cache invalidation protocol for the atom system 用于原子系统的无锁缓存失效协议
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095070
Hugo Rito, João P. Cachopo
{"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":"47 1","pages":"0"},"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}
引用次数: 0
SharpLudus revisited: from ad hoc and monolithic digital game DSLs to effectively customized DSM approaches SharpLudus重新审视:从特别的和单一的数字游戏dsl到有效的定制DSM方法
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095061
A. Furtado, André L. M. Santos, Geber Ramalho
{"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":"35 1","pages":"0"},"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}
引用次数: 16
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project 设计一种基于面向代理抽象的通用编程语言:simpAL项目
SPLASH Workshops Pub Date : 2011-10-23 DOI: 10.1145/2095050.2095078
A. Ricci, Andrea Santi
{"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":"13 1","pages":"0"},"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}
引用次数: 35
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信