9167410
Computing curricula 2001 how will it work for you?
In the fall of 1998, the ACM Education Board and the Educational Activities Board of the IEEE Computer Society appointed representatives to a joint task force to prepare Computing Curricula 2001 (CC2001), the next installment in a series of reports on the undergraduate computer science curriculum that began in 1968 and was then updated in 1978 and 1991. Interim reports on the initial planning of the curriculum were presented at the SIGCSE symposium and the IEEE Frontiers in Education Conference in both 1999 and 2000. The CC2001 Task Force released its first draft report at the 2000 SIGCSE conference and plans to release its penultimate draft at SIGCSE 2001. The purpose of this session is to describe how we expect the recommendations of the report to apply in practice. The panelists represent a range of institutions and can therefore speak to the questions that audience members from similar institutions might have.
2457108
An object-oriented real-time distributed simulation of cellular phone switching system
The cellular phone network is a distributed system which is composed of three kinds of subsystems, a mobile phone unit, a base site station and a MSC (mobile switching center). A class of cellular phone switching systems, was chosen as the system to be studied. SUN workstations and the UNIX operating system with X windows have been employed as the core of the development environment. The object-oriented (OO) paradigm and C++ were chosen to develop the simulation. UICCELL was developed as an object-oriented system for cellular phone switching real-time multitasking simulation. UICCELL has been fully implemented and is currently running on an Ethernet LAN. A central monitor is created on the screen to manipulate and monitor the simulator. The graphical user interface displays the configuration of UICCELL and the status of processors, channels, etc. The current implementation contains 60 classes and about 20,000 lines of C++ code.<<ETX>>
9710130
A specification language for real-time distributed systems
The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<<ETX>>
44831800
Formal Collaborative Production Environment
45899286
Computer Supported Cooperative Work Oriented Architecture
8941164
Supporting agent-based distributed software development through modeling and simulation
In today's software engineering environment, it is becoming increasingly commonplace for team members and stakeholders to be distributed in multiple locations and time zones. Under these circumstances, the coordination of software development activities becomes increasingly more complex. One solution uses mobile agent-based tools to support collaborative software engineering tasks, such as requirements management. Despite the fact that development and validation of such tools would be facilitated by the use of modeling and simulation, very little work relating formal methods to agent-based system development has been performed. This paper therefore presents a hierarchical colored Petri Net (CPN) model as a formal framework for agent-based distributed software development, and demonstrates its usefulness by applying the framework to the development of a requirements management system.
30291393
Formalization of computer supported cooperative work applications
From its first appearance in 1984, Computer Supported Cooperative Work (CSCW) has attracted a lot of research attention in distributed systems. Over the past decade, the CSCW community has developed a number of experimental systems and commercial products to support collaboration. However, much of the reported work is highly application-specific. There generally lacks a sound infrastructure to support the development of a wide variety of CSCW applications. It is essential to formalize the collaboration concepts, model the cooperative and communicative activities, erect CSCW-oriented architectures, and construct a flexible and extendable development environment for building CSCW applications.
40684547
Supporting event based traceability through high-level recognition of change events
Although requirements traceability is crucial in both the development and maintenance of a software system, traceability links and related artifacts tend to deteriorate, as time-pressured practitioners fail to systematically update them in response to change. Event-based traceability addresses this issue by establishing links through a loosely coupled publisher/subscriber scheme. Dependent entities subscribe to requirements and receive event notifications as changes occur. This paper focuses upon the role played by the requirements specification as a publisher of events. A set of standard change events is defined and a method for monitoring a user's actions within a requirements management environment and the subsequent recognition and publication of the change events is proposed. Early results obtained from testing this approach are reported.
36174550
Service-oriented design with aspects (SODA)
In this paper, we introduce a service-oriented design method by integrating the concept of aspects, which is called service-oriented design with aspects (SODA) in order to utilize services and aspects as fundamental and abstract elements in the design phase of software lifecycle. The service model is represented in the structural and behavior views using UML with its extension mechanism and Petri net respectively. Aspects are used to capture service-specific concerns required for delivering high-quality and user-friendly services. By weaving services and aspects, we can generate various versions of a service system as well as their Petri net based service semantics that also facilitates the verification of service design results. We exemplify a service design result of SODA by applying it to a supply-chain management application.
10738488
Automating speculative queries through event-based requirements traceability
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the system, whilst the effects of change upon performance requirements are largely ignored until after implementation. This tendency can lead to costly and time-consuming mistakes. Event-based traceability provides a robust method for handling both long-term evolutionary change as well as the short-term speculative change needed to support performance related impact analysis. By establishing dynamic links, capable of propagating data values and commands between requirements and performance models, it becomes possible to automate a wide range of speculative queries and to enhance the overall ability to predict the impact of change upon the performance of the system.