A Software Cybernetics Approach to Deploying and Scheduling

Service-based systems (SBS) are being adopted by many distributed systems. Applications in SBS can often be viewed as the composition of various computing services following specific workflows. These workflows often need to satisfy various timing and resource constraints. In this paper, a software cybernetics approach to deploying and scheduling workflows with timing and resource constraints in SBS is presented. In our approach, a logic-based technique for modeling and solving timing and resource constraints for workflows in SBS is developed to generate the initial resource assignments, schedules and deployment plans of agents for workflows. The principles and concepts in software cybernetics are applied to guide the synthesis of software controllers for monitoring and adapting system behavior

[1]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[2]  G ShinKang,et al.  QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control , 2000 .

[3]  Ismail Hakki Toroslu,et al.  A Logical Framework for Scheduling Workflows under Resource Allocation Constraints , 2002, VLDB.

[4]  Shankar Ponnekanti,et al.  SWORD: A Developer Toolkit for Web Service Composition , 2008 .

[5]  Stephen S. Yau,et al.  Situation-awareness for adaptive coordination in service-based systems , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[6]  Gul Agha,et al.  Dynamic Agent Allocation for Large-Scale Multi-Agent Applications , 2005 .

[7]  Lui Sha,et al.  Capacity sharing for overrun control , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[8]  G. Manimaran,et al.  Feedback control for real-time scheduling , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[9]  Krithi Ramamritham,et al.  Preemptive Scheduling Under Time and Resource Constraints , 1987, IEEE Transactions on Computers.

[10]  Israel Ben-Shaul,et al.  Dynamic Adaptation and Deployment of Distributed Components In Hadas , 2001, IEEE Trans. Software Eng..

[11]  Stephen S. Yau,et al.  Automated Agent Synthesis for Situation Awareness in Service-Based Systems , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

[12]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms* , 2001, Real-Time Systems.

[13]  Rajkumar Buyya,et al.  A novel architecture for realizing grid workflow using tuple spaces , 2004, Fifth IEEE/ACM International Workshop on Grid Computing.

[14]  Mihhail Matskin,et al.  Application of Linear Logic to Web Service Composition , 2003, ICWS.

[15]  Lingyun Yang,et al.  Conservative Scheduling: Using Predicted Variance to Improve Scheduling Decisions in Dynamic Environments , 2003, ACM/IEEE SC 2003 Conference (SC'03).

[16]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[17]  Nikitas J. Dimopoulos,et al.  Resource management and knapsack formulations on the grid , 2004, Fifth IEEE/ACM International Workshop on Grid Computing.

[18]  Tom Schrijvers,et al.  Constraint Handling Rules and Tabled Execution , 2004, ICLP.

[19]  Bjarne Stroustrup,et al.  for Hard Real-Time Systems , 2008 .

[20]  Kai-Yuan Cai,et al.  An Overview of Software Cybernetics , 2003, STEP.

[21]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[22]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[23]  Kai-Yuan Cai,et al.  Towards research on software cybernetics , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[24]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

[25]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[26]  Krithi Ramamritham,et al.  Hard Real-Time Systems , 1988 .

[27]  Mauricio G. C. Resende,et al.  Greedy Randomized Adaptive Search Procedures , 1995, J. Glob. Optim..

[28]  George Pavlou,et al.  Exploiting agent mobility for large-scale network monitoring , 2002, IEEE Netw..

[29]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[30]  Ian T. Foster,et al.  From sandbox to playground: dynamic virtual environments in the grid , 2004, Fifth IEEE/ACM International Workshop on Grid Computing.

[31]  Chenyang Lu,et al.  Feedback control real-time scheduling , 2001 .