[[abstract]]隨著網際網路日漸普及帶動了電子商務的蓬勃發展,企業對於內部作業流程 控管的需求愈來愈高,工作流程管理系統在最近幾年成為相當重要的支援性技術。面對日益激烈的商業競爭,企業如何利用網際網路來整合跨組織和跨企業的工作流程管理系統,以利彼此之間溝通協調商業活動的繁雜事務,提升彼此的合作效率,是工作流程管理系統的首要目標。 本篇論文旨在研究工作流程管理系統(Workflow Management System, WfMS)上進行系統之測試及驗證所需的技術及理論。我們的目標是要提出一個全自動化的測試驗證平台及環境,系統發展者只要具體指定其應用系統之規格、資源及限制,就可以自動進行測試及驗證,如果平台發現問題或錯誤也能將其發生的情形記錄下來回報給系統發展者,作為除錯的依據。 在本篇論文中我們定義一個通用的測試腳本語言(Test Script Language),使用此語言來描述工作流程管理系統與使用者間複雜的互動過程以及測試條件,並且詳述工作流程管理系統上之測試策略(Testing Strategy),另外也定義一個架構於AOP[17]上的通用機制,讓本篇論文所描述之測試架構能迅速的移植到各種不同的WfMS 實作上。
[[abstract]]因應出生人口的降低,就學人數亦隨之減少中。相對的,學校的招生人數,也勢必有著相當大的影響!學生數遞減,相對的,學校中的行政人員,也必須有所裁員的措施。而在職員、工讀生人數每年減...
Аналізуються питання дослідження точності моделей надійності при проектуванні датчиків, виходячи з а...
因應資訊化作業,大型企業組織透過企業資源規劃系統來整合組織內部與外部的資訊,以促進各種不同的商業功能間資訊的流動與交換。企業資源規劃系統中的主要模組包括商業流程管理。傳統商業流程管理著重在商業處理的自...
作業制成本和管理制度是近年來美國廣為流行的管理會計制度。作業制成本法(ABC)係以分析資源消耗的情形,及建立成本、作業和動因(產出)三者間的因果關係,而歸屬產品成本,故可改善傳統方法造成成本扭曲的情形...
Ефективним інструментом управління класифікацією умов експлуатації транспортних засобів в інформацій...
Розглянуто питання побудови операційної моделі керування інформаційними процесами у людино-машинних ...
Ефективне функціонування сучасних інформаційних технологій та комп’ютерної техніки неможливо уявити ...
ソフトウェアの信頼性に影響を及ぼす要因として,ソフトウェアプロダクトの特徴から算出されたメトリックスを用いた信頼性の分析が数多く行われている.本論文ではプロダクトそのものの特性ではなく,プロダクトを作...
[[abstract]] 多數的知識管理系統較少具備有因考慮到「知識的本質」而進行的管理動作、或針對「知識流型態」而設計出的對應功能,導致開發建置而成的知識管理系統與一般資訊管理系統並無明顯的差異,...
制造执行系统在生产管理系统与设备控制系统之间构筑一座桥梁,连接企业上层管理与控制系统之间过去一直被忽略但急需解决的信息断层。目前大多数制造执行系统的开发使用传统的软件工程方法,每次都是一切从头开始。为...
У статті проаналізовані основні недоліки, які характерні для процесу визначення метода наведення і п...
[[abstract]]近年來,由於軟體系統規模逐年成長且功能架構日益複雜,軟體開發除達成需求功能之外還須滿足軟體品質之要求,以降低軟體生命週期之成本。在目前快速變化的軟體市場中,若要保持良好的競爭力...
В роботі розглядається інформаційна система для збору, попередньої обробки та аналітичного опрацюван...
Представлены результаты совместного использования формального метода спецификации требований Event-B...
企業面對高度競爭的市場環境,必須透過企業轉型尋求成長的機會。相關文獻指出,高度競爭的市場往往會出現供過於求的現象,產品導向的商業模式難以脫穎而出。客戶導向的經營模式,以客戶需求為中心,從服務出發,容...
[[abstract]]因應出生人口的降低,就學人數亦隨之減少中。相對的,學校的招生人數,也勢必有著相當大的影響!學生數遞減,相對的,學校中的行政人員,也必須有所裁員的措施。而在職員、工讀生人數每年減...
Аналізуються питання дослідження точності моделей надійності при проектуванні датчиків, виходячи з а...
因應資訊化作業,大型企業組織透過企業資源規劃系統來整合組織內部與外部的資訊,以促進各種不同的商業功能間資訊的流動與交換。企業資源規劃系統中的主要模組包括商業流程管理。傳統商業流程管理著重在商業處理的自...
作業制成本和管理制度是近年來美國廣為流行的管理會計制度。作業制成本法(ABC)係以分析資源消耗的情形,及建立成本、作業和動因(產出)三者間的因果關係,而歸屬產品成本,故可改善傳統方法造成成本扭曲的情形...
Ефективним інструментом управління класифікацією умов експлуатації транспортних засобів в інформацій...
Розглянуто питання побудови операційної моделі керування інформаційними процесами у людино-машинних ...
Ефективне функціонування сучасних інформаційних технологій та комп’ютерної техніки неможливо уявити ...
ソフトウェアの信頼性に影響を及ぼす要因として,ソフトウェアプロダクトの特徴から算出されたメトリックスを用いた信頼性の分析が数多く行われている.本論文ではプロダクトそのものの特性ではなく,プロダクトを作...
[[abstract]] 多數的知識管理系統較少具備有因考慮到「知識的本質」而進行的管理動作、或針對「知識流型態」而設計出的對應功能,導致開發建置而成的知識管理系統與一般資訊管理系統並無明顯的差異,...
制造执行系统在生产管理系统与设备控制系统之间构筑一座桥梁,连接企业上层管理与控制系统之间过去一直被忽略但急需解决的信息断层。目前大多数制造执行系统的开发使用传统的软件工程方法,每次都是一切从头开始。为...
У статті проаналізовані основні недоліки, які характерні для процесу визначення метода наведення і п...
[[abstract]]近年來,由於軟體系統規模逐年成長且功能架構日益複雜,軟體開發除達成需求功能之外還須滿足軟體品質之要求,以降低軟體生命週期之成本。在目前快速變化的軟體市場中,若要保持良好的競爭力...
В роботі розглядається інформаційна система для збору, попередньої обробки та аналітичного опрацюван...
Представлены результаты совместного использования формального метода спецификации требований Event-B...
企業面對高度競爭的市場環境,必須透過企業轉型尋求成長的機會。相關文獻指出,高度競爭的市場往往會出現供過於求的現象,產品導向的商業模式難以脫穎而出。客戶導向的經營模式,以客戶需求為中心,從服務出發,容...
[[abstract]]因應出生人口的降低,就學人數亦隨之減少中。相對的,學校的招生人數,也勢必有著相當大的影響!學生數遞減,相對的,學校中的行政人員,也必須有所裁員的措施。而在職員、工讀生人數每年減...
Аналізуються питання дослідження точності моделей надійності при проектуванні датчиків, виходячи з а...
因應資訊化作業,大型企業組織透過企業資源規劃系統來整合組織內部與外部的資訊,以促進各種不同的商業功能間資訊的流動與交換。企業資源規劃系統中的主要模組包括商業流程管理。傳統商業流程管理著重在商業處理的自...