-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
acme.scroll
34 lines (28 loc) · 1.76 KB
/
acme.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
import ../code/conceptPage.scroll
id acme
name Acme
appeared 1994
tags pl
website http://www.cs.cmu.edu/~acme/docs/language_overview.html
conceptDescription Acme is a simple, generic software architecture description language (ADL) that can be used as a common interchange format for architecture design tools and/or as a foundation for developing new architectural design and analysis tools. This site provides an introduction to Acme along with a collection of useful Acme software and technical information.
fileType text
centralPackageRepositoryCount 0
country United States
originCommunity Carnegie Mellon University && University of Southern California
example
System simple_cs = {
Component client = { Port send-request; };
Component server = { Port receive-request; };
Connector rpc = { Roels { caller, callee}};
Attachments {
client.send-request to rpc.caller;
server.receive-request to rpc.callee;
}
}
hopl https://hopl.info/showlanguage.prx?exp=4905
isbndb 0
semanticScholar 3
year|title|doi|citations|influentialCitations|authors|paperId
2005|Modeling and implementing software architecture with Acme and ArchJava|10.1145/1028664.1028668|10|1|Jonathan Aldrich and D. Garlan and B. Schmerl and Tony Tseng|03730d8f1aa7070c99906e0e2ac49679f5b8d7e6
2021|An In-Depth Symbolic Security Analysis of the ACME Standard|10.1145/3460120.3484588|3|1|K. Bhargavan and Abhishek Bichhawat and Quoc Huy Do and Pedram Hosseyni and Ralf Küsters and G. Schmitz and Tim Würtele|b9518eff4b41475c18c317bb62482c1f44192ce2
2004|Modeling and implementing software architecture with acme and archJava|10.1145/1062455.1062604|1|0|Marwan Abi-Antoun and Jonathan Aldrich and D. Garlan and B. Schmerl and Nagi H. Nahas and Tony Tseng|86fe182c5e054c964b7b7f233bbf8cd1c2271bf2