体系结构描述语言

Architecture Description Language (ADL)
   http://sunset.usc.edu/classes/cs578_2003/11-Architecture%20Description%20Languages.pdf
   http://www.openwings.org/openwings-0.9.2/tutorial/Trail05_DesignTopics/02_ADL.html
   http://www.itl.nist.gov/div897/ctg/adl/adl_info.html
   http://www.sei.cmu.edu/architecture/adl.html


Software Architecture: Architecture Description Language (ADL)
   http://www.thedacs.com/databases/url/key.hts?keycode=71:2040&islowerlevel=1


UML + ROOM As A ADL ?
   http://www4.informatik.tu-muenchen.de/papers/RRSS99.html
   http://www.computer.org/proceedings/iceccs/0434/04340043abs.htm


The Merit Of XML As An Architecture Description Language Meta-Language
   http://xml.coverpages.org/ADL-meritofxml.html


ABC/ADL
   http://162.105.203.104/belljointlab/en/yjfx/sa.htm


XADL 2.0
   http://www.isr.uci.edu/projects/xarchuci/


Towards An ADL Toolkit
   http://www-2.cs.cmu.edu/~acme/adltk/


 

The Acme Project

http://www.cs.cmu.edu/~acme/index.html


Software Architecture Recovery And Modeling
   http://homepages.cwi.nl/~arie/swarm2001/report.pdf


Software Architecture People
   http://www.cs.umd.edu/users/lorin/sa_people.html


Using C2 Style And Rapide ADL To Describe General Framework
   http://www.cs.ualberta.ca/~guang/courses/Cmput660/ADL.pdf


Towards An ADL For Designing Agent-Based Systems
   http://www-src.lip6.fr/homepages/Marie-Pierre.Gervais/AOSE2001.pdf


Adaptation And Software Architecture
   http://www.cs.wpi.edu/~cs562/s99/resources/ISAW-3/heineman.pdf


Software Architecture And The UML
   http://studwww.rug.ac.be/~wbossart/ao/booch.pdf


AML An Architecture Meta-Language
   http://ase.informatik.uni-essen.de/olbib/99Wile.pdf


ICT Architectures
   http://tmitwww.tm.tue.nl/research/architectures.html


Architecture Description Languages For Retargetable Compilation
   http://www.gigascale.org/pubs/199/wei-ADL-chapter.pdf


Is UML A Good Architecture Description Language ?
   http://wiki.cs.uiuc.edu/cs427/Is+UML+a+good+Architecture+Description+Language%3F


Expressiveness In Architecture Description Languages
   http://members.bellatlantic.net/~rfh2/writings/hilliard-rice98.pdf


Integrating ADLs With A Standard Design Method
   http://members.bellatlantic.net/~rfh2/writings/hilliard-rice98.pdf


The Wright Architecture Description Language
   http://www-2.cs.cmu.edu/~able/wright/


Axiomatic Architecture Description Language
   http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Axiomatic+Architecture+Description+Language


Architecture Description Markup Language (ADML) Version 1
   http://www.opengroup.org/publications/catalog/i901.htm
   http://www.oasis-open.org/cover/adml.html


Composing Software From An ADL (xADL) Specification And An XML Binding Schema
   http://aai.bbn.com/xADL_1/xADL_1.html


Representing Product Family Architectures In An Extensible ADL
   http://www.ics.uci.edu/~edashofy/papers/pfe2001.pdf


Avionics Architecture Description Language (AADL)
   http://www.axlog.fr/R_d/aadl/aadlseminar.pdf


Requirement Formalization And Verification: The AAD
   http://www.estec.esa.nl/conferences/02C24/8_billoir.pdf


Distributed Architecture Description Language
   http://www-db.stanford.edu/~burback/dadl/node6.html


The Brain Architecture Description Language
   http://vole.caltech.edu/hunt/paper/node2.html


p-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems
   http://www.computer.org/proceedings/ase/0710/07100245abs.htm?SMSESSION=NO


Using an Architecture Description Language for Quantitative Analysis of Real-Time Systems
   http://portal.acm.org/citation.cfm?id=584399&coll=portal&dl=ACM&ret=1#Fulltext


Survey Of Architecture Description Language
   http://www.gigascale.org/mescal/forum/111.html


Using Architectural Description Languages To Improve Software Quality And Correctness
   http://www.itl.nist.gov/div897/ctg/adl/adl_info.html


Fractal ADL
   http://www.objectweb.org/wws/arc/fractal/2002-09/msg00000.html


C2SADEL: An Architecture Description And Evolution Language
   http://sunset.usc.edu/~neno/teaching/s99/C2SADEL-summary.pdf


Simulation Architecture Description Language (SADL)
   http://www.eb.uah.edu/~wells/papers/isca2002.pdf


The Darwin Architecture Description Language
   http://www.doc.ic.ac.uk/~igeozg/Project/Darwin/


MetaH, An Architecture Description Language and Integration Toolset for Real-Time High Assurance Systems
   http://www-verimag.imag.fr/SEMINAIRES/00/lewis.html


Software Architecture Links
   http://www.cmcrossroads.com/bradapp/links/sw-arch-links.html


Specification And Refinement Of Dynamic Software Architectures
   http://nenya.ms.mff.cuni.cz/teaching/seminars/2002-01-15-Visnovsky-leda.pdf


The C2 Style UCI Software Architecture Research
   http://www.isr.uci.edu/architecture/c2.html
   http://www.isr.uci.edu/architecture/c2StyleRules.html


An Approach to Composition of EJB Components Using C2 Style
   http://www.computer.org/proceedings/euromicro/1787/17870040abs.htm?SMSESSION=NO


ArchStudio Integrated Architecture-Based Development Environment
   http://ftp.ics.uci.edu/pub/edcs/flyers/ArchStudio_flyer.pdf


xADL: Enabling Architecture-Centric Tool Integration With XML
   http://www.hicss.hawaii.edu/HICSS_34/PDFs/ST3SA03.pdf


The Stanford Rapide Project
   http://pavg.stanford.edu/rapide/


Specification And Analysis Of System Architecture Using Rapide
   http://www.computer.org/tse/ts1995/e0336abs.htm


A Model Of The AFSCN Common Core TT&C Systen Using The Rapide ADL
   http://sunset.usc.edu/gsaw/gsaw97/Simmons.pdf


Using Rapide Tools To Extract Information From Architectures
   http://www.smeldal.cmpe.sjsu.edu/missi-demo/missi.html


Architectures Behavior Analysis Based on Software Architectures
   http://www.cogs.susx.ac.uk/projects/safetynet/prognet/statements/JeffreyKramer.html


LTSA-MSC: Tool Support For Behavior Model Elaboration Using Implied Scenarios
   http://www.doc.ic.ac.uk/~rbc/writings/tacas03.pdf


Specification Of Dynamic Systems
   http://www.disi.unige.it/research/Formal_methods/DynamicSystems.html


Deriving Test Plans From Architectural Descriptions
   http://bob7_inc.tripod.com/TermPaperHuiyi.doc


Analyzing The Behavior Of Distributed Software Architectures: A Case Study
   http://ase.arc.nasa.gov/people/dimitra/publications/ftdcs97.pdf


The Role Of Architecture In Components Assembly
   http://research.microsoft.com/~cszypers/events/WCOP2002/01_Tivoli.pdf


Behavior Analysis Of Software Architectures
   http://www.newcastle.research.ec.org/c3ds/trs/papers/09.pdf


Dynamics And Reflection In Software Architecture
   http://giro.infor.uva.es/workshop4/Papers/S3_3.pdf


A Pi-Calculus Based Approach For Software Composition, Markus Lumpe 1999
   http://www.iam.unibe.ch/~scg/Archive/PhD/lumpe-phd.pdf


Software component-based federation architectures are software architectures too
   http://www-adele.imag.fr/IPTW/IPTW/Papers/bolusset_oquendo_verjus_IPTW99


Formalisms Of Dynamic Software Architectures
   http://www.cs.queensu.ca/~bradbury/pdf/jsb_depth_proposal.pdf


Distributed Software Engineering Group Research on Software Architecture Design and Analysis
   http://www-dse.doc.ic.ac.uk/Research/architecture.html


An Object-Oriented Architecture Description Language, Carlos Canal 1997
   http://www.lcc.uma.es/~canal/abstract.html


Specifying And Analyzing Dynamic Software Architectures
   http://www-2.cs.cmu.edu/afs/cs/project/able/ftp/wright-fase98/wright-fase98.pdf


Piccola A Small Software Composition Language
   http://www.iam.unibe.ch/~oscar/PDF/pascl-talk.pdf


Components, Scripts And Glue
   http://mcs.open.ac.uk/SoftEngSem/OscarNierstrasz.pdf


A Highly-Extensible XML-Based Architecture Description Language, xADL 2.0
   http://www.isr.uci.edu/~edashofy/papers/wicsa2001.pdf


ADL Examples
   http://sunset.usc.edu/classes/cs578_2003/12-ADL%20Examples.pdf


A Connector Model For Object-Oriented Components Integration
   http://www.sei.cmu.edu/cbs/icse98/papers/p19.html


Abstract ADL
   http://www.newcastle.research.ec.org/c3ds/trs/papers/13.pdf


A Classification ^ Comparison Framework For Software Architecture
   http://cs.ua.edu/691SH/Previous%20Semesters/Fall%202000/Notes/Mubin%20-%20adl/adl.ppt


Software Architecture
   http://www.henrymuccini.com/SA.htm


Specification, Testing And Analysis Of (Dynamic) Software Architecture With Chemical Abstract Machine *CHAM)
   http://www.ics.uci.edu/~djr/rosatea/papers/wermelinger.pdf


Deriving Performance Models From Software Architecture Specification
   http://www.dsi.unive.it/~balsamo/saladin/bal-sim.2.01.pdf


Relating CHAM Descriptions Of Software Architectures
   http://www.computer.org/proceedings/iwssd/7361/73610066abs.htm


A Formal Approach To Software Architecture
   http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-144.pdf


Graph Grammars And Constraint Solving For Software Architecture
   http://www.cs.wpi.edu/~cs562/s99/resources/ISAW-3/hirsch.pdf


基于时序逻辑的软件体系结构描述语言XYZ/ADL
   http://www.jos.org.cn/1000-9825/14/713.htm 

软件体系结构描述语言:C2 学校教务系统中教师补课子系统有如下一些基本假设: 本系统中有三个基本对象:教师、学生和教务员。 补课基本流程如下: 教师(teacher)分别向学生(student)与教务员(dean)发出补课请求makeupClassRequest()、并提供一个教师期望的补课时间与地点的集合preferSetTeacher(time, address),提出一个教师不期望的补课时间与地点集合excludeSetTeacher(time, address)供学生选择。同时,教师向学生与教务员发出请求获取学生与教务员期望的补课时间地点集合getPerferSet(),获取不喜欢的时间地点集合getExcludeSet(),获取教师所提供的期望补课时间地点集合之外的时间地点集合addPreferSet(), 学生与教务员收到教师的补课请求以及相应的参数后,根据自身的情况以及学校课室的使用情况,结合教师所提供的preferSetTeacher(time, address)、excludeSetTeacher(time, address),①从preferSetTeacher(time, address)集合中选取出合适的元组组成学生自己所期望的补课时间与地点集合preferSet(time,address)。②增加不在excludeSetTeacher(time, address)的时间与地点集合excludeSet(time, address)。最后将preferSet(time,address)与excludeSet(time, address)发回给教师。 教师接收到学生与教务员返回的集合excludeSet(time, address)后,与excludeSet(time, address)进行“并”(or)计算。接收到preferRes(time, address)后,与原有的preferSet(time, address)进行“交”(and)计算,然后再与excludeSet(time, address)进行差(subtraction)运算。 教师最后从preferSetTeacher(time, address)集合中选择一个元组作为补课的时间与地点,并通知学生与教务处。 要求: 画出该系统基于C2风格的体系结构图 利用C2语言描述出教师构件 利用C2语言描述出学生构件 种用C2语言设计出本系结构中的连接件 描述出软件体系结构并设计出一个体系结构的实例,在这个实例中,教师是张三,有学生有a,b,c三人,教务员是李四。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值