当前位置：文档之家 › [Programming Languages] Formal Definitions and Theory—Semantics General Terms

[Programming Languages] Formal Definitions and Theory—Semantics General Terms

  • 格式：pdf
  • 大小：362.03 KB
  • 文档页数：2

CompositionalFailure-basedSemanticEquivalencesfor

ReoSpecifications

MohammadIzadi

DepartmentofComputerEngineering

sharifUniversityofTechnology

Tehran,Iranizadi@ce.sharif.eduAliMovaghar

DepartmentofComputerEngineering

sharifUniversityofTechnology

Tehran,Iranmovaghar@sharif.edu

ABSTRACT

Reoisacoordinationlanguageformodelingcomponentcon-

nectorsofcomponent-basedcomputingsystems.Weshow

thatthefailure-basedequivalencesNDFDandCFFDare

congruenceswithrespecttocompositionoperatorsofReo.

CategoriesandSubjectDescriptors

D.2.4[SoftwareEngineering]:Software/ProgramVerifi-

cation—Languages;F.4.3[MathematicalLogicandFor-

malLanguages]:FormalLanguages—Verification;D.3.1

[ProgrammingLanguages]:FormalDefinitionsandThe-

ory—Semantics

GeneralTerms

Languages,Semantics,Verification.

Keywords

ReoSpecificationLanguage,ConstraintAutomata,Failure-

basedEquivalences,Coordination,Component-basedSys-

tems,Semantics.

1.EXTENDEDABSTRACT

Theconceptofcomponentbasedsystems,especiallycom-

ponentbasedsoftware,isaphilosophyorwayofthinking

todealwiththecomplexityindesigninglargescalecom-

putingsystems.Oneofthemaingoalsofthisapproachis

tocomposereusablecomponentsbysomegluecodes.The

modelorthewayinwhichthesecomponentsarecomposed

iscalledcoordinationmodel.Sometimestherearesomefor-

malorprogramminglanguageswhichareusedforspecifica-

tionofcoordinationmodels.Suchlanguagesarecalledas

coordinationlanguages.Reo,asoneofthemostrecently

proposedcoordinationlanguages,isachannelbasedexoge-

nouscoordinationlanguageinwhichcomplexcoordinators

arecompositionallybuiltoutofsimplerones[1,2,3].By

usingReospecifications,complexcomponentconnectorscan

Permissiontomakedigitalorhardcopiesofallorpartofthisworkforpersonalorclassroomuseisgrantedwithoutfeeprovidedthatcopiesarenotmadeordistributedforprofitorcommercialadvantageandthatcopiesbearthisnoticeandthefullcitationonthefirstpage.Tocopyotherwise,torepublish,topostonserversortoredistributetolists,requirespriorspecificpermissionand/orafee.SixthInternationalWorkshoponSpecificationandVerificationofComponent-BasedSystems(SAVCBS2007),September3-4,2007,CavtatnearDubrovnik,Croatia.Copyright2007ACMISBN978-1-59593-721-6/07/0009...$5.00.beorganizedinanetworkofchannelsandbuildinacom-

positionalmanner.Reoreliesonaveryliberalandsimple

notionofchannelsandcanmodelanykindofpeer-to-peer

communication.ThechannelsusedinReonetworkscanbe

consideredassimplecommunicatingprocessesandtheonly

requirementsforthemarethatchannelsshouldhavetwo

ends(orI/Ointerfaces),declaredtobesinkorsourceends,

andauser-definedsemantics.Atsourceendsdataitems

enterthechannelbyperformingcorrespondingwriteopera-

tions.Dataitemsarereceivedfromachannelatsinkends

byperformingcorrespondingreadoperations.Reoallows

foranopenendedsetofchanneltypeswithuserdefined

semantics.

Ifwewanttobeabletoreasonaboutpropertiesofspec-

ificationsorverifytheircorrectness,Reo,aswellasany

otherprocessspecificationlanguages,shouldbegivenab-

stractsemantics.Thekeyquestioningivingasemantic

modeltoaspecificationlanguageis:”Whenevercanwesay

thattwospecificationsortwomodelsareequivalent?”Nu-

merousdefinitionsofdifferentequivalence-relationsfortran-

sitionsystembasedmodelshavebeenpresentedintheliter-

ature.Traceequivalence(automata-theoreticequivalence),

weakbisimilaritypresentedbyMilner[9]andfailure-based

equivalences(CSP-likeequivalences)suchastheequivalence

presentedbyHoare[7]areexamplesoftheseequivalences.

Constraintautomaton,asanextensionoffiniteorB¨uchi

automaton,isaformalismproposedtocapturetheoper-

ationalsemanticsofReo[4].Inaconstraintautomaton,

contrarytofiniteautomataandlabeledtransitionsystems,

thelabelofatransitionisnotasimplecharacteroraction

name.Atransitionlabelcontainsasetofnamesanda(con-

straint)proposition.Thesetofnamesindicatesthenames

ofportswhichareparticipantindoingthetransitionand

thepropositionexpressessomeconstraintaboutthedataof

theports.

Inthispresentation,weareinterestedtoinvestigatefailure-

basedequivalencesforconstraintautomataastheabstract

semanticsofReoandtheircongruencywithrespecttocom-

positionoperatorswhichareusefulincomposingReospec-

ifications.Theultimategoalistoprepareanenvironment

forcompositionalmodelcheckingofReospecificationsus-

ingequivalencebasedreductionmethod.Inthismethod,the

modelsofcomponentsandconnectorsofacomponent-based

systemarereducedwithrespecttoanequivalencerelation

beforebuildingthemodelofthecompletesystem[5,6].An

equivalencerelationshouldhavetwopropertiesinorderto

beusefulintheequivalencebasedcompositionalreduction

method:itshouldpreservetheclassofpropertiestobever-

99

合集下载

Chapter 1 Introduction 绪论(现代语言学).

Chapter 1 Introduction 绪论(现代语言学).

Chapter 1 Introduction 绪论

1. What is linguistics? 什么是语言学?

1.1 definition 定义

Linguistics is generally defined as the scientific study of language.

语言学是对语言进行科学研究的学科。

Languages in general 针对所有语言而言

A scientific study of language is based on the systematic investigation of data,

conducted with reference to some general theory of language structure.

语言进行科学地研究最根本的是要对语言材料进行系统的调查研究,并在语言结构的一般理论指导下进行。

The linguist has to do first is to study language facts, i.e. to see how language is

actually used; then he formulates some hypotheses about the language structure.

语言学家首先必须研究语言材料,即要观察一般情况下语言的使用方法,继而对语言的结构具体地提出一些假设。

A linguistic theory is constructed about what language is and how it works.

一套语言学理论是说明语言的本质内容以及这些语言是如何发挥作用的。

1.2 The scope of linguistics 语言学的研究范畴

The study of language as a whole is often called general linguistics. This deals with

语言学教程第八章知识点

语言学教程第八章知识点

Chapter Eight

Pragmatics

 Definition

 Pragmatics is generally the study of natural language understanding, and

specifically the study of how context influences the interpretation of

meanings. In another word it is the study of the relationship between

symbols and their interpreters.

 In 1937,the American philosopher Charles William Morris introduced the

word “Pragmatics” into literature.

 莫里斯（C.Morris）和卡耐基（R.carnap）在1938年《符号基础理论》中提出符号三分说：

 句法学（符号关系学）Syntactics 是研究符号与符号之间的关系；语义学semantics是研究符号与符号所指对象的关系；语用学pragmatics则是研究符号与符号解释者的关系。

 Teaching Focus

 1. Some basic notions

 2. Speech act theory

 3. The theory of conversational implicature

 4. Post-Gricean Developments

 1. Some basic notions

 1.1 The definition of pragmatics

 1.2 Pragmatics and semantics

 1.3 Context

 1.4 Sentence and utterance

语言学部分材料

语言学部分材料

TEM-8考生必背的语言学知识点

1 英语学院TEM-8培训班人文知识材料

人文知识部分的考察一共有10道题目，包括四道文化题目、三道文学题目、三道语言学题目。纵观历年真题，英语语言学部分主要考察语言学的概念，并根据概念进行实例分析。

Part One: General Ideas and Conecpts about Linguistics

1. 语言的基本特征：任意性、二重性、创造性、移位性和文化传递性。

2. 语言学的基本概念：口语与书面语、共时与历时、语言与言语、语言能力与语言运用、语言潜势与语言行为。

3. 语音学：发音器官的英文名称、英语辅音的发音部位和发音方法、语音学的定义，发音语音学、听觉语音学、声学语音学、元音及辅音的分类、严式与宽式音标。

4. 音位学：音位理论、最小对立体，自由变异、互补分布、语音的相似性、区别性特征、超音段音位学、音节、重音等。

5. 词法学：词法的定义、曲折词与派生词、构词法、词素的定义、词素变体、自由词素、粘着词素等。

6. 句法：句法的定义、范畴、短语规则、句子规则，表层结构和深层结构、转换与生成。

7. 语义学：语义的定义、语义的有关理论、意义种类、词汇意义关系、句子语义关系。

8. 语用学：语用学的定义、语义学与语用学的区别、语境与意义、言语行为理论、合作原则语言变化：

9. 语言的发展变化（词汇变化、语音书写文字、语法变化、语义变化）

10. 语言与社会：社会语言学的概念、语言变体、语域、双语现象与双言制。

11. 语言思维与文化：语言与文化的定义、萨皮尔-沃尔夫假说、语言与思维的关系、语言与文化的关系、中西文化的异同、

12. 语言习得“语言习得的基本理论、语言习得的认知因素、语言环境与关键期假设，语言习得的过程、语言习得过程中的非典型性发展。

13. 二语习得：母语习得与二语习得之间的关系、对比分析、错误分析、中介语、输入假说。个体差异等。

简明新编英语语言学教程教案

简明新编英语语言学教程教案

《英语语言学》课程大纲

课程名称：英语语言学

课程编号：

总 学 时：36

适应对象：英语本科专科

一、教学目的与任务

《英语语言学》是英语专业高年级学生开设的学科方向课。旨在使学生了解人类语言研究的成果，提高对语言的本质、功能的认识，了解语言与人类之间的关系，培养学生的语言意识，发展理性思维。该课程要求学生掌握语言学学科的基本概念；了解语言与心理、社会、文化、文学等跨学科研究的关系及其发展现状和趋势。该课程的学习有助于拓宽学生的思维与视野，培养并激发学生对语言研究的兴趣，为其在相关领域的进一步学习及研究打好基础。

二、教学基本要求

语言学是以语言为研究对象的一门科学。教学中应处理好以下方面的关系。

1、在理解的基础上进行记忆，特别是一些重要术语的翻译与定义以及几大语法学派的理论主张，有影响力的语言学家的姓名、著作以及贡献等。注意阅读课文时要认真仔细。

2、通读和理解课文的基础上进行总结，对各部分所讲的主要内容做到心中有数，重点明确。

3、在学习过程中，注意联系、对比，将所学语言学理论与英语外语学习实际相结合。

4、注意提高运用理论解决实际问题的能力。

5、培养学生学术论文写作的能力，建构写作的理论基础及理论依据。

三、教学内容及要求：

第一章 语言学导论

1.1 为什么学习语言？

1.2 什么是语言？

1.3 语言的本质特征

1.3.1 任意性 arbitrariness

1.3.2 二重性 duality

1.3.3 创造性 productivity or creativity

1.3.4 移位性 displacement

1.4 语言的起源

1.5 语言的功能

1.5.1 信息功能 informative

1.5.2 人际功能

1.5.3 施为功能

1.5.4 感情功能emotive

1.5.5 交感性谈话

1.5.6 娱乐性功能