-
题名基于数据依赖的过程合理性分析
被引量：1
- 1
-
-
作者
丁婧
董广智
田勇
柳军飞
-
机构
中国科学院软件研究所
-
出处
《计算机应用与软件》
CSCD
北大核心
2008年第2期106-108,共3页
-
文摘
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法。
-
关键词
软件过程
过程合理性
数据依赖
活动-数据关系
-
Keywords
Software process
Process correctness
Data dependency
Activity-data relationship
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名不合理行政行为及其监督
被引量：2
- 2
-
-
作者
赵凯
张尤佳
-
机构
东北大学文法学院
-
出处
《东北大学学报（社会科学版）》
2005年第4期282-284,288,共4页
-
文摘
现实中存在事实上合法却不合理的行政行为,行政机关有责任将行政自由裁量权行使中的偏差降低到最小的程度。这首先需要明确合理与不合理的界定标准,使行政机关把握行为的尺度。这些标准是:立法目的标准、衡量性标准、行政过程符合理性标准。另一方面建立对不合理行政行为的监督体系也十分必要。对不合理行政行为的监督,行政体系外部的监督与行政体系内部的监督均存在相对的局限性。针对不同监督主体的不同特点,应分别采用严格有效的措施,以加强司法机关、权力机关及行政机关内部监督的权威性。
-
关键词
不合理行政行为
立法目的
衡量性
行政过程合理性
-
Keywords
unreasonable administrative action
legislation
balancing
proper administrative procedure
-
分类号
D63
[政治法律—中外政治制度]
-
