32,028 Hits in 4.1 sec

Session-Based Compositional Analysis for Actor-Based Languages Using Futures [chapter]

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
2016 Lecture Notes in Computer Science  
We consider the concurrency model of the core ABS language, which supports actor-style asynchronous communication using futures and cooperative scheduling.  ...  The Session-based ABS Language (SABS) This section introduces the concept of session to core ABS [10, 15] . The extended language is called session-based ABS, SABS in short.  ...  Acknowledgments We thank Reiner Hähnle and Patrick Eugster who provided the original idea and insightful discussions for this paper. We also thank the reviewers for their constructive comments.  ... 
doi:10.1007/978-3-319-47846-3_19 fatcat:yeeer53imzebxa2qn3thlzo3oa

Formal Modeling of Service Session Management [chapter]

M. van Le, B. J. F. van Beijnum, B. L. de Goede
2002 Lecture Notes in Computer Science  
Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.  ...  The service architecture is based on the framework called ìOpen Service Componentsî which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different  ...  For overall model analysis the tool LTSA is used [16] .  ... 
doi:10.1007/3-540-45812-3_4 fatcat:vutfu5lsbjftjoowqlxpjektvm

Static Sessional Dataflow [chapter]

Dominic Duggan, Jianhua Yao
2012 Lecture Notes in Computer Science  
Sessional dataflow provides a compositional semantics for dataflow computations that can be scheduled at compile-time.  ...  This article considers an example variant of the sessional dataflow approach for dataflow applications, expressing known ideas from signal processing in a compositional fashion.  ...  An implementation of this actor specification uses a conventional programming language to define the actor behavior, in the style of Kahn's original proposal for dataflow networks: actor Actor implements  ... 
doi:10.1007/978-3-642-31057-7_22 fatcat:hhotz7lbsvdpfn5gfbdblepazu

Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)

Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers, Michael Wagner
2019 European Conference on Object-Oriented Programming  
We apply multiverse debugging to AmbientTalk, an actor-based language, resulting in Voyager, a multiverse debugger implemented on top of the AmbientTalk operational semantics.  ...  They only allow us to explore a single execution path. Therefore, some bugs may never be reproduced in the debugging session, because the right conditions are not triggered.  ...  Acknowledgements We would like to thank Thomas Dupriez (ENS Paris-Saclay -RMoD, Inria, Lille-Nord Europe) for an initial implementation of the underlying visualization and reduction code. 27:27  ... 
doi:10.4230/lipics.ecoop.2019.27 dblp:conf/ecoop/LopezSMBS19 fatcat:7b5k34sografbhtkduvu2t6twu

Formative User-Centered Evaluation of Security Modeling

Sandra Trösterer, Elke Beck, Fabiano Dalpiaz, Elda Paja, Paolo Giorgini, Manfred Tscheligi
2012 International Journal of Secure Software Engineering  
Particularly, it becomes very challenging for Security Requirements Engineering (SRE) languages where social/organizational concepts are used to represent high-level business aspects, while security aspects  ...  Developing a security modeling language is a complex activity.  ...  For instance, several experimental or metrics-based comparisons of different modeling languages and methods (e.g.  ... 
doi:10.4018/jsse.2012010101 fatcat:5oe7hu74fjduhgwkseqib6ocgq

Natural Language Requirements Analysis and Class Model Generation Using UCDA [chapter]

Dong Liu, Kalaivani Subramaniam, Armin Eberlein, Behrouz H. Far
2004 Lecture Notes in Computer Science  
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP).  ...  Use-case language schemas are proposed to reduce complexity and vagueness of natural language. Some rules are identified and used to automate class model generation from use-case specifications.  ...  is shown in Conclusion A methodology for natural language requirements analysis, use-case modeling and use-case driven analysis and design is presented.  ... 
doi:10.1007/978-3-540-24677-0_31 fatcat:l5u7qrpyzbcg5a2bgrtcg5tka4

An Erlang Implementation of Multiparty Session Actors

Simon Fowler
2016 Electronic Proceedings in Theoretical Computer Science  
By requiring co-ordination to take place using explicit message passing instead of relying on shared memory, actor-based programming languages have been shown to be effective tools for building reliable  ...  can be adapted to a purely actor-based language, and how monitor violations and termination of session participants can be reported in line with the Erlang mantra of "let it fail".  ...  Acknowledgements Thanks to Sam Lindley, Garrett Morris, and Philip Wadler for useful discussions, and to the anonymous reviewers for detailed and insightful comments.  ... 
doi:10.4204/eptcs.223.3 fatcat:32kpyan6gzhrtg74vbdrqimspy

Formal Visual Modelling of Human Agents in Service Oriented Systems

Adwoa Donyina, Reiko Heckel
2009 2009 Fourth South-East European Workshop on Formal Methods  
of roles played by human actors.  ...  We believe that modelling techniques developed for software agents are a valid starting point for specifying human agents in service-oriented systems (HASOS).  ...  ACKNOWLEDGMENT The authors would like to thank Georgina Donyina Pharmacist/Owner of store #729 Shoppers Drug Mart, Canada, for taking us through the pharmacy business process.  ... 
doi:10.1109/seefm.2009.17 fatcat:cflcuvd7tvb5xe3q3owpe5r4xe

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 16201 "Synergies among Testing, Verification, and Repair for Concurrent Programs".  ...  We provide inference rules for guaranteeing these properties about future execution states without introducing explicit traces or temporal logics.  ...  We present actor services [1] : a novel program logic for defining and verifying response and functional properties of programs which communicate via asynchronous messaging.  ... 
doi:10.4230/dagrep.6.5.56 dblp:journals/dagstuhl-reports/DolbyGMT16 fatcat:3ou6mdvytrfnfhjf542sbpn6lm

GoBIS: An integrated framework to analyse the goal and business process perspectives in information systems

Marcela Ruiz, Dolors Costal, Sergio España, Xavier Franch, Óscar Pastor
2015 Information Systems  
From a researcher perspective, the validation has produced useful feedback for future research.  ...  Results: We provide guidelines for using the two modelling methods in a top-down analysis scenario.  ...  Conclusions and future lines of work Given the existence of complementary perspectives in information system analysis, this work confronts the challenge of integrating a goal-based and a business process-based  ... 
doi:10.1016/ fatcat:24ipw5ejarbshik4wxbuujgwb4

Comparing Value-Driven Methods: an Experiment Design

Eric Souza, Silvia Abrahão, Ana Moreira, João Araújo, Emilio Insfrán
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Section 3 presents the design of a controlled experiment aimed at comparing the effectiveness, efficiency, perceived ease of use, perceived usefulness, and intention to use of several groups of users employing  ...  both methods for creating a value model.  ...  Concepts mapping. # e 3 value concepts DVD Concepts 1 1 Elementary actor Main actor or actor 2 Composite actor Main actor or actor 3 Market segment Main actor or actor 4 Value interface Aggregate in value  ... 
dblp:conf/models/SouzaAM0I16 fatcat:recowhq6v5hm7h4hrdavccb4bu

Heterogeneous Workflows in Scientific Workflow Systems [chapter]

Vasa Curcin, Moustafa Ghanem, Patrick Wendel, Yike Guo
2007 Lecture Notes in Computer Science  
Workflow systems are used to model a range of scientific and business applications, each requiring a different set of capabilities.  ...  Nabeel Azam for the helpful discussions on the embedding implementation.  ...  The Discovery Net system [1] was designed primarily to support the analysis of scientific data based on a distributed Web Service/Grid Service composition methodology.  ... 
doi:10.1007/978-3-540-72588-6_36 fatcat:37gks5ipc5c2ha3swrehuu32me

Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)

Carla Ferreira, Philipp Haller, Guido Salvaneschi, Michael Wagner
2020 Dagstuhl Reports  
Over the last years, language abstractions have been a key for achieving the properties above in many industrially successful distributed systems.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 19442 "Programming Languages for Distributed Systems and Distributed Data Management."  ...  Rebeca is designed as an imperative actor-based language with the goal of providing an easy to use language for modeling concurrent and distributed systems, with formal verification support.  ... 
doi:10.4230/dagrep.9.10.117 dblp:journals/dagstuhl-reports/FerreiraHS19 fatcat:hqdhtl3nkrf5nnul2gkv3cjbtm

Survey of computer-supported collaboration in support of business processes

Carl K. Chang, Jia Zhang, Kai H. Chang
2006 International Journal of Business Process Integration and Management  
Each category is analysed based on past approaches and present achievements; trends for future research and development are then predicted.  ...  The purpose of this paper is to provide a survey of CSCW research to examine the current IT-based collaboration techniques capable of supporting business processes.  ...  System composition interface System composition interface is normally defined using Interface Definition Language (IDL).  ... 
doi:10.1504/ijbpim.2006.010023 fatcat:2rwinzqcsrai7lrzhetuup76qy

Session-Based Role Programming for the Design of Advanced Telephony Applications [chapter]

Gilles Vanwormhoudt, Areski Flissi
2011 Lecture Notes in Computer Science  
This paper proposes an approach to support the development of SIP-based telephony applications based on general programming language. Our approach combines the concepts of Actor, Session and Role.  ...  By using these concepts, we are able to break the complexity of SIP entities programming and provide flexibility for defining new ones.  ...  In future works, we plan to enhance the programming model with inheritance for sessions and actor types and event-based mechanisms to support coordination between roles and between session parts.  ... 
doi:10.1007/978-3-642-21387-8_7 fatcat:t2tx7mw42bebthdmcunfgoo2ki
« Previous Showing results 1 — 15 out of 32,028 results