simpA: An agent-oriented approach for programming concurrent applications on top of Java
More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream...
Uloženo v:
| Vydáno v: | Science of computer programming Ročník 76; číslo 1; s. 37 - 62 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier B.V
2011
|
| Témata: | |
| ISSN: | 0167-6423, 1872-7964 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream object-oriented programming languages and platforms–Java is a main example–with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs. Besides this
fine-grained support, a main research goal in this context is to devise higher-level,
coarse-grained abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this end, in this paper we present
simpA, a Java-based framework that provides programmers with
agent-oriented abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. We first describe the application programming interface (API) and annotation framework provided to Java programmers for building
simpA applications, and then we discuss the main features of the approach from a software engineering point of view, by showing some programming examples. Finally, we define an operational semantics formalizing the main aspects of this programming model.
► a high-level approach to concurrent programming based on agent-oriented abstractions ► a Java-based agent-oriented framework for programming concurrent and distributed applications ► agent and artifact abstractions for designing software systems |
|---|---|
| AbstractList | More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream object-oriented programming languages and platforms–Java is a main example–with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs. Besides this
fine-grained support, a main research goal in this context is to devise higher-level,
coarse-grained abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this end, in this paper we present
simpA, a Java-based framework that provides programmers with
agent-oriented abstractions on top of the basic OO layer, as a means to organize and structure concurrent applications. We first describe the application programming interface (API) and annotation framework provided to Java programmers for building
simpA applications, and then we discuss the main features of the approach from a software engineering point of view, by showing some programming examples. Finally, we define an operational semantics formalizing the main aspects of this programming model.
► a high-level approach to concurrent programming based on agent-oriented abstractions ► a Java-based agent-oriented framework for programming concurrent and distributed applications ► agent and artifact abstractions for designing software systems |
| Author | Ricci, Alessandro Piancastelli, Giulio Viroli, Mirko |
| Author_xml | – sequence: 1 givenname: Alessandro surname: Ricci fullname: Ricci, Alessandro email: a.ricci@unibo.it – sequence: 2 givenname: Mirko surname: Viroli fullname: Viroli, Mirko email: mirko.viroli@unibo.it – sequence: 3 givenname: Giulio surname: Piancastelli fullname: Piancastelli, Giulio email: giulio.piancastelli@unibo.it |
| BookMark | eNqFkM1KAzEUhYNUsFWfwE1eYMb8NTMVXJTiLwU3Cu5CJnNTUzrJkIwF395M68qFrs7lcr7LPWeGJj54QOiKkpISKq-3ZTLOhJKRvCGyJJSdoCmtK1ZUCykmaJpdVSEF42doltKWECJFRafoPbmuX97gpcd6A34oQnRZoMW672PQ5gPbEHEeN1F3nfMbbII3nzFm1-jZOaMHF3zCweMh9DhY_Kz3-gKdWr1LcPmj5-jt_u519VisXx6eVst1YTjhQ35pXgsra04EzDUFJhaCCsE1qQxlkmtWN9aYhjdtTkCgai1pKwChrWUSGn6OFse7JoaUIlhl3HD4aIja7RQlaqxIbdWhIjVWpIhUuaLM8l9sH12n49c_1O2Rghxr7yCOHvAGWhfBDKoN7k_-GwfxhKg |
| CitedBy_id | crossref_primary_10_1186_2193_1801_3_52 crossref_primary_10_1007_s10458_018_9382_3 crossref_primary_10_1016_j_scico_2012_12_003 crossref_primary_10_1016_j_scico_2010_12_008 |
| Cites_doi | 10.1006/inco.1994.1093 10.1145/2363.2433 10.1007/s00236-008-0079-y 10.1145/1152649.1152650 10.1145/162685.162705 10.1002/cpe.849 10.1145/1018203.1018205 10.1016/j.entcs.2008.03.102 10.1145/173284.155335 10.1016/j.scico.2005.03.007 10.1145/982158.982162 10.1002/cpe.956 10.1016/j.jlap.2004.03.008 10.1145/1095408.1095421 10.1145/1467247.1467263 10.1145/503502.503505 10.1145/367211.367250 10.1145/292469.292470 10.1016/S0167-6423(01)00011-9 10.1145/1294325.1294350 10.1016/j.scico.2007.01.008 10.1016/j.jlap.2006.05.006 |
| ContentType | Journal Article |
| Copyright | 2010 Elsevier B.V. |
| Copyright_xml | – notice: 2010 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.scico.2010.06.012 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7964 |
| EndPage | 62 |
| ExternalDocumentID | 10_1016_j_scico_2010_06_012 S0167642310001346 |
| GroupedDBID | --K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADMUD AEBSH AEKER AENEX AEXQZ AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c303t-64584f68304e5a1e24941443a07c1263a28bfccb3bd1670e7df0d7ee4aff26eb3 |
| ISICitedReferencesCount | 10 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000284521500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0167-6423 |
| IngestDate | Sat Nov 29 03:37:14 EST 2025 Tue Nov 18 21:41:27 EST 2025 Fri Feb 23 02:37:18 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Agent-oriented programming Core calculi Agents and artifacts Concurrent programming Multi-agent systems |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c303t-64584f68304e5a1e24941443a07c1263a28bfccb3bd1670e7df0d7ee4aff26eb3 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.scico.2010.06.012 |
| PageCount | 26 |
| ParticipantIDs | crossref_citationtrail_10_1016_j_scico_2010_06_012 crossref_primary_10_1016_j_scico_2010_06_012 elsevier_sciencedirect_doi_10_1016_j_scico_2010_06_012 |
| PublicationCentury | 2000 |
| PublicationDate | 2011 2011-01-00 |
| PublicationDateYYYYMMDD | 2011-01-01 |
| PublicationDate_xml | – year: 2011 text: 2011 |
| PublicationDecade | 2010 |
| PublicationTitle | Science of computer programming |
| PublicationYear | 2011 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Sangiorgi, Walker (br000240) 2001; vol. 2154 Briot, Guerraoui, Lohr (br000050) 1998; 30 Milicia, Sassone (br000175) 2005; 17 Agha, Callsen (br000010) 1993; 28 Caire, Gotta, Banzi (br000055) 2008 Sutter, Larus (br000250) 2005; 3 Benton, Cardelli, Fournet (br000040) 2004; 26 Jennings (br000130) 2001; 44 Gelernter (br000090) 1985; 7 Omicini, Ricci, Viroli, Castelfranchi, Tummolini (br000200) 2004 Viroli, Denti, Ricci (br000265) 2007; 66 Agha (br000005) 1986 Viroli (br000260) 2007; 70 (br000015) 1993 Ricci, Viroli, Piancastelli (br000235) July 2008; vol. 5118/2008 Damiani, Giannini, Ricci, Viroli (br000065) 2009 Lea (br000150) 1999 Denti, Natali, Omicini (br000070) 1997; vol. 1282 Omicini, Ricci, Viroli (br000195) 2009; 19 Igarashi, Viroli (br000115) 2006; 28 Damiani, Giachino, Giannini, Drossopoulou (br000060) 2008; 45 Frolund, Agha (br000085) 1995 Lavender, Schmidt (br000145) 1996 Resnick (br000210) 1994 Milner (br000180) 1999 Dufourd, Finkel, Schnoebelen (br000075) 1998; vol. 1443 Bellifemine, Caire, Greenwood (br000035) 2007 (br000045) 2005; vol. 15 Iglesias, Garrijo, Gonzalez (br000120) 1999; vol. 1555 (br000280) 1986 Meyer (br000170) 1993; 36 Fournet, Gonthier (br000080) 1996 (br000270) 2007; 14 Igarashi, Pierce, Wadler (br000110) 2001; 23 Omicini, Denti (br000190) 2001; 41 Lea (br000160) 2005; 58 Ricci, Viroli, Cimadamore (br000225) 2008; 194 Pokahr, Braubach, Lamersdorf (br000205) 2005 Velroyen, Rümmer (br000255) 2008; vol. 4966/2008 A. Ricci, M. Viroli, simpA: An agent-oriented approach for prototyping concurrent applications on top of Java, in: V. Amaral, L. Veiga, L. Marcelino, H.C. Cunningham (Eds.), 5th International Conference, Principles and Practice of Programming in Java, PPPJ 2007, Lisbon, Portugal, 5–7 September 2007, pp. 185–194. Baeten, Bergstra, Klop (br000030) 1987; vol. 259 Lea (br000155) 2000 Larson (br000140) 2009; 52 Mosses (br000185) 2004; 60–61 Haustein, Loehr (br000105) 2006; 18 Ricci, Piunti, Viroli, Omicini (br000215) 2009; vol. 2 G.S. Itzstein, D. Kearney, Join Java: an alternative concurrency semantics for Java, Technical Report ACRC-01-001, University of South Australia, 2001. Keen, Ge, Maris, Olsson (br000135) 2004; 26 Haller, Odersky (br000100) 2008 Matsuoka, Yonezawa (br000165) 1993 Sewell (br000245) 1997; vol. 1243 Arbab (br000020) 1996 Wright, Felleisen (br000275) 1994; 115 Armstrong (br000025) 2007 Ricci, Viroli, Omicini (br000230) 2007 Goetz (br000095) 2006 Omicini (10.1016/j.scico.2010.06.012_br000190) 2001; 41 Ricci (10.1016/j.scico.2010.06.012_br000230) 2007 Arbab (10.1016/j.scico.2010.06.012_br000020) 1996 Omicini (10.1016/j.scico.2010.06.012_br000195) 2009; 19 Viroli (10.1016/j.scico.2010.06.012_br000265) 2007; 66 Goetz (10.1016/j.scico.2010.06.012_br000095) 2006 Matsuoka (10.1016/j.scico.2010.06.012_br000165) 1993 Viroli (10.1016/j.scico.2010.06.012_br000260) 2007; 70 Sewell (10.1016/j.scico.2010.06.012_br000245) 1997; vol. 1243 Baeten (10.1016/j.scico.2010.06.012_br000030) 1987; vol. 259 Fournet (10.1016/j.scico.2010.06.012_br000080) 1996 Iglesias (10.1016/j.scico.2010.06.012_br000120) 1999; vol. 1555 Omicini (10.1016/j.scico.2010.06.012_br000200) 2004 Wright (10.1016/j.scico.2010.06.012_br000275) 1994; 115 Caire (10.1016/j.scico.2010.06.012_br000055) 2008 Jennings (10.1016/j.scico.2010.06.012_br000130) 2001; 44 Lea (10.1016/j.scico.2010.06.012_br000150) 1999 Lea (10.1016/j.scico.2010.06.012_br000160) 2005; 58 Sangiorgi (10.1016/j.scico.2010.06.012_br000240) 2001; vol. 2154 (10.1016/j.scico.2010.06.012_br000045) 2005; vol. 15 Ricci (10.1016/j.scico.2010.06.012_br000215) 2009; vol. 2 Damiani (10.1016/j.scico.2010.06.012_br000065) 2009 Keen (10.1016/j.scico.2010.06.012_br000135) 2004; 26 Mosses (10.1016/j.scico.2010.06.012_br000185) 2004; 60–61 (10.1016/j.scico.2010.06.012_br000015) 1993 Igarashi (10.1016/j.scico.2010.06.012_br000110) 2001; 23 Resnick (10.1016/j.scico.2010.06.012_br000210) 1994 Milner (10.1016/j.scico.2010.06.012_br000180) 1999 10.1016/j.scico.2010.06.012_br000125 Haller (10.1016/j.scico.2010.06.012_br000100) 2008 Pokahr (10.1016/j.scico.2010.06.012_br000205) 2005 Haustein (10.1016/j.scico.2010.06.012_br000105) 2006; 18 Igarashi (10.1016/j.scico.2010.06.012_br000115) 2006; 28 Denti (10.1016/j.scico.2010.06.012_br000070) 1997; vol. 1282 Meyer (10.1016/j.scico.2010.06.012_br000170) 1993; 36 Ricci (10.1016/j.scico.2010.06.012_br000225) 2008; 194 Benton (10.1016/j.scico.2010.06.012_br000040) 2004; 26 Ricci (10.1016/j.scico.2010.06.012_br000235) 2008; vol. 5118/2008 Sutter (10.1016/j.scico.2010.06.012_br000250) 2005; 3 Lavender (10.1016/j.scico.2010.06.012_br000145) 1996 Damiani (10.1016/j.scico.2010.06.012_br000060) 2008; 45 10.1016/j.scico.2010.06.012_br000220 Velroyen (10.1016/j.scico.2010.06.012_br000255) 2008; vol. 4966/2008 Agha (10.1016/j.scico.2010.06.012_br000005) 1986 Bellifemine (10.1016/j.scico.2010.06.012_br000035) 2007 Gelernter (10.1016/j.scico.2010.06.012_br000090) 1985; 7 Larson (10.1016/j.scico.2010.06.012_br000140) 2009; 52 Milicia (10.1016/j.scico.2010.06.012_br000175) 2005; 17 Briot (10.1016/j.scico.2010.06.012_br000050) 1998; 30 (10.1016/j.scico.2010.06.012_br000270) 2007; 14 Dufourd (10.1016/j.scico.2010.06.012_br000075) 1998; vol. 1443 Lea (10.1016/j.scico.2010.06.012_br000155) 2000 Armstrong (10.1016/j.scico.2010.06.012_br000025) 2007 (10.1016/j.scico.2010.06.012_br000280) 1986 Agha (10.1016/j.scico.2010.06.012_br000010) 1993; 28 Frolund (10.1016/j.scico.2010.06.012_br000085) 1995 |
| References_xml | – volume: vol. 4966/2008 start-page: 154 year: 2008 end-page: 170 ident: br000255 article-title: Non-termination checking for imperative programs publication-title: Tests and Proofs – start-page: 286 year: 2004 end-page: 293 ident: br000200 article-title: Coordination artifacts: environment-based coordination for intelligent agents publication-title: AAMAS’04, vol. 1 – volume: 58 start-page: 293 year: 2005 end-page: 309 ident: br000160 article-title: The java.util.concurrent synchronizer framework publication-title: Sci. Comput. Programming – volume: 30 start-page: 291 year: 1998 end-page: 329 ident: br000050 article-title: Concurrency and distribution in object-oriented programming publication-title: ACM Comput. Surv. – volume: vol. 2154 start-page: 292 year: 2001 end-page: 304 ident: br000240 article-title: On barbed equivalences in pi-calculus publication-title: CONCUR 2001 — Concurrency Theory, 12th International Conference – start-page: 29 year: 2008 end-page: 36 ident: br000055 article-title: WADE: a software platform to develop mission critical applications exploiting agents and workflows publication-title: AAMAS ’08: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems – start-page: 36 year: 2000 end-page: 43 ident: br000155 article-title: A Java Fork/Join framework publication-title: JAVA ’00: Proceedings of the ACM 2000 Conference on Java Grande – reference: A. Ricci, M. Viroli, simpA: An agent-oriented approach for prototyping concurrent applications on top of Java, in: V. Amaral, L. Veiga, L. Marcelino, H.C. Cunningham (Eds.), 5th International Conference, Principles and Practice of Programming in Java, PPPJ 2007, Lisbon, Portugal, 5–7 September 2007, pp. 185–194. – start-page: 372 year: 1996 end-page: 385 ident: br000080 article-title: The reflexive chemical abstract machine and the join calculus publication-title: POPL’96 – year: 2007 ident: br000025 article-title: Programming Erlang: Software for a Concurrent World – volume: vol. 259 start-page: 94 year: 1987 end-page: 111 ident: br000030 article-title: Decidability of bisimulation equivalence for processes generating context-free languages publication-title: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Languages – volume: vol. 1282 start-page: 274 year: 1997 end-page: 288 ident: br000070 article-title: Programmable coordination media publication-title: Coordination Languages and Models–Proceedings of the 2nd International Conference (COORDINATION’97) – volume: 3 start-page: 54 year: 2005 end-page: 62 ident: br000250 article-title: Software and the concurrency revolution publication-title: ACM Queue: Tomorrow’s Comput. Today – year: 1993 ident: br000165 article-title: Analysis of inheritance anomaly in object-oriented concurrent programming languages publication-title: Research Directions in Concurrent Object-Oriented Programming – start-page: 601 year: 2007 end-page: 603 ident: br000230 article-title: Give agents their artifacts: the A&A approach for engineering working environments in MAS publication-title: 6th International Joint Conference Autonomous Agents & Multi-Agent Systems, AAMAS 2007 – volume: 194 start-page: 111 year: 2008 end-page: 132 ident: br000225 article-title: Prototyping concurrent systems with agents and artifacts: framework and core calculus publication-title: 6th International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA’07 – year: 2006 ident: br000095 article-title: Java Concurrency in Practice – volume: 26 start-page: 578 year: 2004 end-page: 608 ident: br000135 article-title: JR: flexible distributed programming in an extended Java publication-title: TOPLAS – volume: 36 start-page: 56 year: 1993 end-page: 80 ident: br000170 article-title: Systematic concurrent object-oriented programming publication-title: Commun. ACM – year: 2005 ident: br000205 article-title: Jadex: a BDI reasoning engine publication-title: Multi-Agent Programming – year: 1986 ident: br000005 article-title: Actors: A Model of Concurrent Computation in Distributed Systems – year: 1994 ident: br000210 article-title: Turtles, Termites and Traffic Jams. Explorations in Massively Parallel Microworlds – volume: vol. 2 start-page: 259 year: 2009 end-page: 288 ident: br000215 article-title: Environment programming in publication-title: Multi-Agent Programming: Languages, Platforms and Applications – volume: vol. 1555 start-page: 317 year: 1999 end-page: 330 ident: br000120 article-title: A survey of agent-oriented methodologies publication-title: Proceedings of the 5th International Workshop on Intelligent Agents V: Agent Theories, Architectures, and Languages, ATAL-98 – start-page: 483 year: 1996 end-page: 499 ident: br000145 article-title: Active object: an object behavioral pattern for concurrent programming publication-title: Pattern Languages of Program Design 2 – year: 1999 ident: br000180 article-title: Communicating and Mobile Systems: The – volume: 44 start-page: 35 year: 2001 end-page: 41 ident: br000130 article-title: An agent-based approach for building complex software systems publication-title: Commun. ACM – volume: 19 year: 2009 ident: br000195 article-title: Artifacts in the A&A meta-model for multi-agent systems publication-title: Auton. Agents and Multi-Agent Syst. – year: 1993 ident: br000015 publication-title: Research Directions in Concurrent Object-oriented Programming – volume: 26 start-page: 769 year: 2004 end-page: 804 ident: br000040 article-title: Modern concurrency abstractions for C# publication-title: ACM Trans. Program. Lang. Syst. – volume: 28 start-page: 795 year: 2006 end-page: 847 ident: br000115 article-title: Variant parametric types: a flexible subtyping scheme for generics publication-title: ACM Trans. Program. Lang. Syst. – volume: 18 start-page: 519 year: 2006 end-page: 546 ident: br000105 article-title: JAC: declarative Java concurrency: research articles publication-title: Concurr. Comput.: Pract. Exper. – volume: 52 start-page: 48 year: 2009 end-page: 56 ident: br000140 article-title: Erlang for concurrent programming publication-title: Commun. ACM – volume: 115 start-page: 38 year: 1994 end-page: 94 ident: br000275 article-title: A syntactic approach to type soundness publication-title: Inform. Comput. – volume: 66 start-page: 226 year: 2007 end-page: 245 ident: br000265 article-title: Engineering a BPEL orchestration engine as a multi-agent system publication-title: Sci. Comput. Programming – volume: vol. 15 year: 2005 ident: br000045 publication-title: Multi-Agent Programming Languages, Platforms and Applications – year: 2008 ident: br000100 article-title: Scala actors: unifying thread-based and event-based programming publication-title: Theoret. Comput. Sci. – volume: 14 year: 2007 ident: br000270 publication-title: J. Auton. Agents Multi-Agent Syst. – start-page: 107 year: 1995 end-page: 124 ident: br000085 article-title: Abstracting interactions based on message sets publication-title: ECOOP ’94: Selected Papers from the ECOOP’94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems – volume: 28 start-page: 23 year: 1993 end-page: 32 ident: br000010 article-title: ActorSpace: an open distributed programming paradigm publication-title: SIGPLAN Not. – year: 1999 ident: br000150 article-title: Concurrent Programming in Java: Design Principles and Patterns – volume: vol. 1243 start-page: 391 year: 1997 end-page: 405 ident: br000245 article-title: On implementations and semantics of a concurrent programming language publication-title: CONCUR ’97: Concurrency Theory, 8th International Conference – volume: 41 start-page: 277 year: 2001 end-page: 294 ident: br000190 article-title: From tuple spaces to tuple centres publication-title: Sci. Comput. Programming – volume: 45 start-page: 479 year: 2008 end-page: 536 ident: br000060 article-title: A type safe state abstraction for coordination in Java-like languages publication-title: Acta Inf. – year: 2007 ident: br000035 article-title: Developing Multi-Agent Systems with JADE – reference: G.S. Itzstein, D. Kearney, Join Java: an alternative concurrency semantics for Java, Technical Report ACRC-01-001, University of South Australia, 2001. – volume: vol. 1443 start-page: 103 year: 1998 end-page: 115 ident: br000075 article-title: Reset nets between decidability and undecidability publication-title: Automata, Languages and Programming, 25th International Colloquium – volume: 70 start-page: 74 year: 2007 end-page: 95 ident: br000260 article-title: A core calculus for correlation in orchestration languages publication-title: J. Log. Algebr. Program. – volume: vol. 5118/2008 start-page: 261 year: July 2008 end-page: 278 ident: br000235 article-title: simpA: a simple agent-oriented Java extension for developing concurrent applications publication-title: Languages, Methodologies and Development Tools for Multi-Agent Systems – volume: 7 start-page: 80 year: 1985 end-page: 112 ident: br000090 article-title: Generative communication in Linda publication-title: ACM Trans. Program. Lang. Syst. – year: 1986 ident: br000280 publication-title: Object-oriented Concurrent Programming – start-page: 34 year: 1996 end-page: 56 ident: br000020 article-title: The IWIM model for coordination of concurrent activities publication-title: COORDINATION ’96: Proceedings of the First International Conference on Coordination Languages and Models – volume: 60–61 start-page: 195 year: 2004 end-page: 228 ident: br000185 article-title: Modular structural operational semantics publication-title: J. Log. Algebr. Program. – start-page: 218 year: 2009 end-page: 225 ident: br000065 article-title: Featherweight agent language — a core calculus for agents and artifacts publication-title: ICSOFT 2009 — Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1 – volume: 17 start-page: 539 year: 2005 end-page: 572 ident: br000175 article-title: Jeeg: temporal constraints for the synchronization of concurrent objects publication-title: Concurr. Comput.: Pract. Exper. – volume: 23 start-page: 396 year: 2001 end-page: 450 ident: br000110 article-title: Featherweight Java: a minimal core calculus for Java and GJ publication-title: ACM Trans. Program. Lang. Syst. – start-page: 483 year: 1996 ident: 10.1016/j.scico.2010.06.012_br000145 article-title: Active object: an object behavioral pattern for concurrent programming – volume: 115 start-page: 38 issue: 1 year: 1994 ident: 10.1016/j.scico.2010.06.012_br000275 article-title: A syntactic approach to type soundness publication-title: Inform. Comput. doi: 10.1006/inco.1994.1093 – volume: vol. 1555 start-page: 317 year: 1999 ident: 10.1016/j.scico.2010.06.012_br000120 article-title: A survey of agent-oriented methodologies – volume: 7 start-page: 80 issue: 1 year: 1985 ident: 10.1016/j.scico.2010.06.012_br000090 article-title: Generative communication in Linda publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/2363.2433 – start-page: 29 year: 2008 ident: 10.1016/j.scico.2010.06.012_br000055 article-title: WADE: a software platform to develop mission critical applications exploiting agents and workflows – start-page: 218 year: 2009 ident: 10.1016/j.scico.2010.06.012_br000065 article-title: Featherweight agent language — a core calculus for agents and artifacts – volume: 45 start-page: 479 issue: 7–8 year: 2008 ident: 10.1016/j.scico.2010.06.012_br000060 article-title: A type safe state abstraction for coordination in Java-like languages publication-title: Acta Inf. doi: 10.1007/s00236-008-0079-y – volume: vol. 5118/2008 start-page: 261 year: 2008 ident: 10.1016/j.scico.2010.06.012_br000235 article-title: simpA: a simple agent-oriented Java extension for developing concurrent applications – volume: vol. 259 start-page: 94 year: 1987 ident: 10.1016/j.scico.2010.06.012_br000030 article-title: Decidability of bisimulation equivalence for processes generating context-free languages – volume: vol. 1443 start-page: 103 year: 1998 ident: 10.1016/j.scico.2010.06.012_br000075 article-title: Reset nets between decidability and undecidability – year: 1993 ident: 10.1016/j.scico.2010.06.012_br000165 article-title: Analysis of inheritance anomaly in object-oriented concurrent programming languages – year: 1986 ident: 10.1016/j.scico.2010.06.012_br000280 – start-page: 107 year: 1995 ident: 10.1016/j.scico.2010.06.012_br000085 article-title: Abstracting interactions based on message sets – start-page: 372 year: 1996 ident: 10.1016/j.scico.2010.06.012_br000080 article-title: The reflexive chemical abstract machine and the join calculus – volume: 28 start-page: 795 issue: 5 year: 2006 ident: 10.1016/j.scico.2010.06.012_br000115 article-title: Variant parametric types: a flexible subtyping scheme for generics publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/1152649.1152650 – ident: 10.1016/j.scico.2010.06.012_br000125 – volume: 36 start-page: 56 issue: 9 year: 1993 ident: 10.1016/j.scico.2010.06.012_br000170 article-title: Systematic concurrent object-oriented programming publication-title: Commun. ACM doi: 10.1145/162685.162705 – year: 1999 ident: 10.1016/j.scico.2010.06.012_br000180 – year: 2005 ident: 10.1016/j.scico.2010.06.012_br000205 article-title: Jadex: a BDI reasoning engine – volume: 17 start-page: 539 issue: 5–6 year: 2005 ident: 10.1016/j.scico.2010.06.012_br000175 article-title: Jeeg: temporal constraints for the synchronization of concurrent objects publication-title: Concurr. Comput.: Pract. Exper. doi: 10.1002/cpe.849 – year: 2006 ident: 10.1016/j.scico.2010.06.012_br000095 – year: 1986 ident: 10.1016/j.scico.2010.06.012_br000005 – volume: vol. 2154 start-page: 292 year: 2001 ident: 10.1016/j.scico.2010.06.012_br000240 article-title: On barbed equivalences in pi-calculus – year: 1993 ident: 10.1016/j.scico.2010.06.012_br000015 – year: 2007 ident: 10.1016/j.scico.2010.06.012_br000035 – volume: 26 start-page: 769 issue: 5 year: 2004 ident: 10.1016/j.scico.2010.06.012_br000040 article-title: Modern concurrency abstractions for C# publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/1018203.1018205 – volume: 194 start-page: 111 issue: 4 year: 2008 ident: 10.1016/j.scico.2010.06.012_br000225 article-title: Prototyping concurrent systems with agents and artifacts: framework and core calculus publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2008.03.102 – volume: 28 start-page: 23 issue: 7 year: 1993 ident: 10.1016/j.scico.2010.06.012_br000010 article-title: ActorSpace: an open distributed programming paradigm publication-title: SIGPLAN Not. doi: 10.1145/173284.155335 – year: 1999 ident: 10.1016/j.scico.2010.06.012_br000150 – volume: 58 start-page: 293 issue: 3 year: 2005 ident: 10.1016/j.scico.2010.06.012_br000160 article-title: The java.util.concurrent synchronizer framework publication-title: Sci. Comput. Programming doi: 10.1016/j.scico.2005.03.007 – year: 2007 ident: 10.1016/j.scico.2010.06.012_br000025 – start-page: 286 year: 2004 ident: 10.1016/j.scico.2010.06.012_br000200 article-title: Coordination artifacts: environment-based coordination for intelligent agents – volume: vol. 1282 start-page: 274 year: 1997 ident: 10.1016/j.scico.2010.06.012_br000070 article-title: Programmable coordination media – volume: 26 start-page: 578 issue: 3 year: 2004 ident: 10.1016/j.scico.2010.06.012_br000135 article-title: JR: flexible distributed programming in an extended Java publication-title: TOPLAS doi: 10.1145/982158.982162 – volume: 18 start-page: 519 issue: 5 year: 2006 ident: 10.1016/j.scico.2010.06.012_br000105 article-title: JAC: declarative Java concurrency: research articles publication-title: Concurr. Comput.: Pract. Exper. doi: 10.1002/cpe.956 – volume: vol. 1243 start-page: 391 year: 1997 ident: 10.1016/j.scico.2010.06.012_br000245 article-title: On implementations and semantics of a concurrent programming language – volume: 60–61 start-page: 195 year: 2004 ident: 10.1016/j.scico.2010.06.012_br000185 article-title: Modular structural operational semantics publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2004.03.008 – year: 2008 ident: 10.1016/j.scico.2010.06.012_br000100 article-title: Scala actors: unifying thread-based and event-based programming publication-title: Theoret. Comput. Sci. – year: 1994 ident: 10.1016/j.scico.2010.06.012_br000210 – volume: 3 start-page: 54 issue: 7 year: 2005 ident: 10.1016/j.scico.2010.06.012_br000250 article-title: Software and the concurrency revolution publication-title: ACM Queue: Tomorrow’s Comput. Today doi: 10.1145/1095408.1095421 – volume: vol. 4966/2008 start-page: 154 year: 2008 ident: 10.1016/j.scico.2010.06.012_br000255 article-title: Non-termination checking for imperative programs – volume: 52 start-page: 48 issue: 3 year: 2009 ident: 10.1016/j.scico.2010.06.012_br000140 article-title: Erlang for concurrent programming publication-title: Commun. ACM doi: 10.1145/1467247.1467263 – volume: 14 issue: 1 year: 2007 ident: 10.1016/j.scico.2010.06.012_br000270 publication-title: J. Auton. Agents Multi-Agent Syst. – volume: 23 start-page: 396 year: 2001 ident: 10.1016/j.scico.2010.06.012_br000110 article-title: Featherweight Java: a minimal core calculus for Java and GJ publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/503502.503505 – start-page: 34 year: 1996 ident: 10.1016/j.scico.2010.06.012_br000020 article-title: The IWIM model for coordination of concurrent activities – volume: 44 start-page: 35 issue: 4 year: 2001 ident: 10.1016/j.scico.2010.06.012_br000130 article-title: An agent-based approach for building complex software systems publication-title: Commun. ACM doi: 10.1145/367211.367250 – volume: 19 year: 2009 ident: 10.1016/j.scico.2010.06.012_br000195 article-title: Artifacts in the A&A meta-model for multi-agent systems publication-title: Auton. Agents and Multi-Agent Syst. – volume: 30 start-page: 291 issue: 3 year: 1998 ident: 10.1016/j.scico.2010.06.012_br000050 article-title: Concurrency and distribution in object-oriented programming publication-title: ACM Comput. Surv. doi: 10.1145/292469.292470 – volume: vol. 15 year: 2005 ident: 10.1016/j.scico.2010.06.012_br000045 – volume: 41 start-page: 277 issue: 3 year: 2001 ident: 10.1016/j.scico.2010.06.012_br000190 article-title: From tuple spaces to tuple centres publication-title: Sci. Comput. Programming doi: 10.1016/S0167-6423(01)00011-9 – ident: 10.1016/j.scico.2010.06.012_br000220 doi: 10.1145/1294325.1294350 – start-page: 36 year: 2000 ident: 10.1016/j.scico.2010.06.012_br000155 article-title: A Java Fork/Join framework – volume: 66 start-page: 226 issue: 3 year: 2007 ident: 10.1016/j.scico.2010.06.012_br000265 article-title: Engineering a BPEL orchestration engine as a multi-agent system publication-title: Sci. Comput. Programming doi: 10.1016/j.scico.2007.01.008 – volume: 70 start-page: 74 issue: 1 year: 2007 ident: 10.1016/j.scico.2010.06.012_br000260 article-title: A core calculus for correlation in orchestration languages publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2006.05.006 – volume: vol. 2 start-page: 259 year: 2009 ident: 10.1016/j.scico.2010.06.012_br000215 article-title: Environment programming in CArtAgO – start-page: 601 year: 2007 ident: 10.1016/j.scico.2010.06.012_br000230 article-title: Give agents their artifacts: the A&A approach for engineering working environments in MAS |
| SSID | ssj0006471 |
| Score | 1.993321 |
| Snippet | More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 37 |
| SubjectTerms | Agent-oriented programming Agents and artifacts Concurrent programming Core calculi Multi-agent systems |
| Title | simpA: An agent-oriented approach for programming concurrent applications on top of Java |
| URI | https://dx.doi.org/10.1016/j.scico.2010.06.012 |
| Volume | 76 |
| WOSCitedRecordID | wos000284521500004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7964 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1ba9swFBZZuoe97D7W3dDDHuciy45k7y2Mjq2MUlg38mZkWQZ3qR3iNPQv7F_vHF1ch4yyDQbBBCV2bJ0vR5-Ojr5DyNtZWsokVjpSKZdRmjMTlSaZRULktWElcAZlRVy_yNPTbLHIzyaTn2EvzHYp2za7vs5X_9XU0AbGxq2zf2Hu4aLQAO_B6HAEs8PxjwzfN5eruY_3Kdw4FXWoZYzMMgiI29xCn5l16XbdttoLNY1XtO1KQrdCQnmitmpMZINP8FnpWBhifMVhHafRuvEbafpeoTpC-Oh7gwWDXOr--sfQfGajLL0VCrVB--Zq6XLFQnAivglL7O-XceFLcMsw43EuzTiXm0ng-LnTMg8-2dWE2cGec7BOIcYP1c6P7w0CLh5xcQQcQnc-e08cMZ-uvauu_RVvCe8otmw4FXfIAZezPJuSg_nn48XJMKwLN3sfHiFIWNlkwb2f-j3NGVGX84fkvp9z0LnDyiMyMe1j8iDU86DelE_IwkLnPZ23dBc4NACHAnDoyMz0Bjh0DBzatRSAQ7uaInCekm8fj88_fIp85Y1IA6XZwPMBL61FlrDUzFRsYI6ewsw7UUzqmItE8aystS6TsoLuYEZWNaukMamqay5MmTwj07ZrzXNCqwwIj9Dwx08qrHReGqw8zzQH6ssqLg4JDx1VaC9Lj9VRlkXIP7wobO8W2LsFZmHG_JC8G05aOVWW278uggUKTywdYSwAMred-OJfT3xJ7rnFB3y9ItPN-sq8Jnf1dtP06zceWr8ASVSgzg |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=simpA%3A+An+agent-oriented+approach+for+programming+concurrent+applications+on+top+of+Java&rft.jtitle=Science+of+computer+programming&rft.au=Ricci%2C+Alessandro&rft.au=Viroli%2C+Mirko&rft.au=Piancastelli%2C+Giulio&rft.date=2011&rft.pub=Elsevier+B.V&rft.issn=0167-6423&rft.eissn=1872-7964&rft.volume=76&rft.issue=1&rft.spage=37&rft.epage=62&rft_id=info:doi/10.1016%2Fj.scico.2010.06.012&rft.externalDocID=S0167642310001346 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon |