Changes for page Products

Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -2,10 +2,10 @@
2	2	>Academic activities often result in //products// that can be shared and freely used, consisting mainly of software //technologies// — programming languages and frameworks, software infrastructures — but also including //methodologies// for the engineering of complex computational systems.
3	3	>Below, the current list of products actively supported, ordered alphabetically.
4	4
5		-|[[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[#mok()>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']]
	5	+(% style='text-align:center' %)((([[#alchemist()>>||anchor='alchemist']] | [[{{arg2p/}}>>||anchor='arg2p']] | [[ALOO>>||anchor='aloo']] | [[#cartago()>>||anchor='cartago']] | [[#hm()>>||anchor='homemanager']] | [[#mok()>>||anchor='mok']] | [[MS-BioNET>>||anchor='msbionet']] | [[P@J>>||anchor='p@j']] | [[{{respect/}}>>||anchor='respect']] | [[simpA>>||anchor='simpa']] | [[simpAL>>||anchor='simpal']] | [[{{soda/}}>>||anchor='soda']] | [[{{tucson/}}>>||anchor='tucson']] | [[{{tuprolog/}}>>||anchor='tuprolog']])))
6	6
7		-== #alchemist() ==
8	8	{{id name='alchemist'/}}
	8	+== #alchemist() ==
9	9	|[[image:Alchemist.WebHome@logo.svg||width='100']]|(((
10	10	#alchemist() is a simulation framework offering both high performance and flexibility. Alchemist tries to get the best from ABMs and stochastic simulators and build an hybrid
11	11	)))(((
...	...	@@ -13,8 +13,8 @@
13	13	**Contact**: [[Danilo Pianini>>DaniloPianini.WebHome]]
14	14	)))
15	15
16		-== {{arg2p/}} ==
17	17	{{id name='arg2p'/}}
	17	+== {{arg2p/}} ==
18	18	|[[image:Arg2p.WebHome@Arg2P-logo.png||width='100']]|(((
19	19	{{arg2p/}} (short for {{argtuprolog/}}) is a logic-based agreement framework enabling defeasible reasoning in intelligent systems
20	20	)))(((
...	...	@@ -22,8 +22,8 @@
22	22	**Contact**: [[Giuseppe Pisano>>GiuseppePisano.WebHome]]
23	23	)))
24	24
25		-== ALOO ==
26	26	{{id name='aloo'/}}
	26	+== ALOO ==
27	27	|[[image:aloo256x256.jpg||width='400']]|(((
28	28	ALOO is a general-purpose concurrent programming language based on objects and agents as first-class abstractions. It is a Concurrent OOP language where concurrency aspects (parallelisms, asynchronous programming, etc) are modeled in terms of agent-oriented abstractions. Or, it can be conceived as an Agent-Oriented Programming language not based on logic programming - like state-of-the-art AOP languages - but on OOP. The language comes with a platform (compiler, runtime) and an Eclipse-based IDE.
29	29	ALOO is the most recent evolution of the simpAL project.
...	...	@@ -32,8 +32,8 @@
32	32	**Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
33	33	)))
34	34
35		-== #cartago() ==
36	36	{{id name='cartago'/}}
	36	+== #cartago() ==
37	37	(((
38	38	#cartago() is an infrastructure for the development and execution of artifact-based computational environments for Multi-Agent Systems.
39	39	#cartago() is based on the #aea() (Agents and Artifacts) meta-model model, which introduces the //artifact// abstraction as a first-class building block to model and engineer those objects, resources, tools, that can be dynamically constructed, shared and co-used by agents to perform their activities, both individual and social.
...	...	@@ -42,8 +42,8 @@
42	42	**Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
43	43	)))
44	44
45		-== #hm() ==
46	46	{{id name='homemanager'/}}
	46	+== #hm() ==
47	47	|[[image:Products.HomeManager@logoHM2.jpg||width='250']]|(((
48	48	#hm() is a prototype agent-based platform for the construction of Socio-Technical Smart Spaces and Smart Environments, starting from the control of an intelligent home to a wider Smart Living scenario, where home users are situated in space and time in the surrounding environment.
49	49	The house is seen as an intelligent environment made of independent devices that participate to an agent society: following the Butlers vision and architecture, Home Manager aims both to enable a rich interaction experience for the user in the interaction with the smart house, and to anticipate his/her needs based both on the user's habits and policies, while respecting the general system policies which capture the global goals and constraints.
...	...	@@ -53,8 +53,8 @@
53	53	**Contact**: [[Roberta Calegari>>RobertaCalegari.WebHome]]
54	54	)))
55	55
56		-== #moklong() ==
57	57	{{id name='mok'/}}
	57	+== #moklong() ==
58	58	|[[image:MoK.WebHome@mok-logo.png||width="200"]]|(((
59	59	#moklong() (#mok() for short) is a model for knowledge self-organisation, exploiting the biochemical metaphor for its basic abstractions, and biochemical coordination as its coordination model.
60	60	)))(((
...	...	@@ -62,8 +62,8 @@
62	62	**Contact**: [[Stefano Mariani>>StefanoMariani.WebHome]]
63	63	)))
64	64
65		-== MS-BioNET ==
66	66	{{id name='msbionet'/}}
	66	+== MS-BioNET ==
67	67	(((
68	68	MS-BioNet (MultiScale-Biochemical NETwork) is a computational framework for modelling and simulating large networks of compartments hosting a chemical solution and communicating through an enhanced model of chemical reaction addressing molecule transfer.
69	69	)))(((
...	...	@@ -71,8 +71,8 @@
71	71	**Contact**: [[Sara Montagna>>SaraMontagna.WebHome]]
72	72	)))
73	73
74		-== P@J ==
75	75	{{id name='p@j'/}}
	75	+== P@J ==
76	76	(((
77	77	P@J is a framework for enhancing interoperability between Java and Prolog, based on the #tuprolog() open-source Prolog engine for Java.
78	78	P@J achieves smoother language interoperability through two stacked layers:
...	...	@@ -83,8 +83,8 @@
83	83	**Contact**: [[Mirko Viroli>>MirkoViroli.WebHome]]
84	84	)))
85	85
86		-== #respect() ==
87	87	{{id name='respect'/}}
	87	+== #respect() ==
88	88	|[[image:ReSpecT.WebHome@r!_logo.png||width="400"]]|(((
89	89	#respect() is a logic-based coordination language both to define the behaviour of tuple centres and to coordinate software agents. #respect() assumes a tuple-based coordination model, where communication is based on logic tuples, and the behaviour of the coordination media in response to communication events is not fixed once and for all by the coordination model, but can be defined and tailored according to system's global requirements. According to this conceptual framework, #respect() has a twofold role:
90	90	* as a specification language - #respect() makes it possible to filter communication events and associate them to reactions by means of first-order logic tuples.
...	...	@@ -94,8 +94,8 @@
94	94	**Contact**: [[Stefano Mariani>>StefanoMariani.WebHome]]
95	95	)))
96	96
97		-== #simpa() ==
98	98	{{id name='simpa'/}}
	98	+== #simpa() ==
99	99	|[[image:SimpA.WebHome@simpa-logo.jpg||width="400"]]|(((
100	100	#simpa() is a framework extending the basic Java environment with an agent-oriented abstraction layer for programming complex (concurrent in particular) applications.
101	101
...	...	@@ -105,8 +105,8 @@
105	105	**Contact**: [[Alessandro Ricci>>AlessandroRicci.WebHome]]
106	106	)))
107	107
108		-== simpAL ==
109	109	{{id name='simpal'/}}
	109	+== simpAL ==
110	110	(((
111	111	simpAL is a general-purpose programming language and platform for developing concurrent and distributed applications. simpAL is based on the #aea() (Agents and Artifacts) programming model, which introduces high-level metaphors taken from human society, namely agents — analogous to humans, as executors of activities and activities — and artifacts — analogous of the objects, resources, tools that are dynamically constructed, used, manipulated by humans to support / realise their individual and social activities. Unlike #simpa(), simpAL is not a Java extension, but a fully independent language and platform.
112	112	)))(((