A Process Definition Language For Guiding Multiuser Design
A Process Definition Language For Guiding Multiuser Design
批准号:
0204321
负责人:
Leon Osterweil
金额:
$15.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-07-15 至 2004-06-30
中文摘要
有效的过程对于制造业、政府、工程和管理都是至关重要的。 在所有这些领域中,对关键过程的更好理解和控制可以提高效率。 在过去的15年里,人们也认识到过程是软件开发的基础,对过程的有效控制可以带来类似的好处,比如改进的理解、协调、效率和自动化。 人们希望这将导致软件开发成本的降低,软件产品质量的提高和软件开发时间的减少。 我们的假设是,可以通过建立科学基础来构建支持更有效软件生产的过程技术,从而加快实现这些目标的进展。该研究项目将导致对Little-JIL过程定义语言和朱丽叶解释器进行所需的改进。 这些改进将通过编程和运行多用户、迭代的软件设计过程来验证,这些过程在整合人类活动和计算机自动化方面是有效的。 这些过程本身应该具有相当大的价值。 此外,它们的开发将使Little-JIL过程语言更加清晰和有效,从而更清楚地理解有效过程定义语言的基本要求。
英文摘要
Effective processes are of fundamental importance to manufacturing,government, engineering, and management. In all of these areas greaterunderstanding and control of key processes can lead to improvedeffectiveness. For the past 15 years, it has also been recognized thatprocesses are fundamental to software development, and that effectivecontrol of processes can lead to similar benefits, such as improvedunderstanding, coordination, efficiency, and automation. It has been hopedthat this would lead to reductions in software development cost,improvements in software product quality, and reductions in softwaredevelopment time. Our hypothesis is that progress towards these goals canbe speeded by establishing a scientific basis upon which to build theprocess technologies that will support more effective software production.This research project will lead to the development of needed improvementsto the Little-JIL process definition language, and the Julietteinterpreter. These improvements will be validated by programming andrunning multiuser, iterative software design processes that are effectivein integrating the activities of humans and computer automation. Theseprocesses should be of considerable value in themselves. Theirdevelopment, moreover, will sharpen and validate the Little-JIL processlanguage, resulting in clearer understandings of the underlyingrequirements for effective process definition languages.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
-
批准号:1258588
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2012
-
负责人:Leon Osterweil
-
依托单位:
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
-
批准号:0905530
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Leon Osterweil
-
依托单位:
Workshop Proposal: A Research Agenda for Computing Technology and Dispute Resolution Focusing on the Transportation Sector
-
批准号:0840248
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Leon Osterweil
-
依托单位:
III-CXT: Process Families and Their Application to Online Dispute Resolution
-
批准号:0705772
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Leon Osterweil
-
依托单位:
Student Travel Support for ICSE 2006 Doctoral Symposium
-
批准号:0618957
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2006
-
负责人:Leon Osterweil
-
依托单位:
Process Technology for Achieving Government Online Dispute Resolution
-
批准号:0429297
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Leon Osterweil
-
依托单位:
ITR/AP: The Analytic Web
-
批准号:0205575
-
项目类别:Continuing Grant
-
资助金额:$210.0万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes
-
批准号:0223599
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
Arcadia Programming Environment
-
批准号:8996102
-
项目类别:Continuing Grant
-
资助金额:$118.47万
-
财政年份:1988
-
负责人:Leon Osterweil
-
依托单位:
The University of Colorado Contribution to the Arcadia Effort
-
批准号:8705162
-
项目类别:Continuing Grant
-
资助金额:$50.29万
-
财政年份:1987
-
负责人:Leon Osterweil
-
依托单位:
Evaluation and Continued Developments of Software Tools And Environments (Computer Research)
-
批准号:8403341
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1984
-
负责人:Leon Osterweil
-
依托单位:
Computer Research Equipment (Computer Science)
-
批准号:8305250
-
项目类别:Standard Grant
-
资助金额:$8.14万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Experimental Research on Advanced Software Production Environments
-
批准号:8302644
-
项目类别:Standard Grant
-
资助金额:$10.4万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Toolpack: University of Colorado Participation
-
批准号:8000017
-
项目类别:Continuing Grant
-
资助金额:$30.03万
-
财政年份:1980
-
负责人:Leon Osterweil
-
依托单位:
An Integrated Testing System For Computer Programs
-
批准号:7702194
-
项目类别:Continuing Grant
-
资助金额:$31.54万
-
财政年份:1977
-
负责人:Leon Osterweil
-
依托单位:
Analysis of Mathematical Software For the Purpose of Validation and Documentation
-
批准号:7509972
-
项目类别:Standard Grant
-
资助金额:$32.02万
-
财政年份:1975
-
负责人:Leon Osterweil
-
依托单位:
海外基金