Knowledge-Based Software Development for Real-Time Distributed Systems

Tsai, Jeffrey; Weigert, Thomas

doi:10.1142/1794

Cited by 21 publications

(8 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The central system, which runs the RTXPS expert system as the overall framework is connected to a number of (conceptual) servers that provide high-performance computing and data acquisition tasks, as well as a number of clients that can include mobile clients in the field. Another example of a real-time distributed approach is described in Tsai and Weigert (1993).…”

Section: A Framework Of Research Projectsmentioning

confidence: 99%

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

Fedra

Winkelbauer

2002

Computer aided Civil Eng

View full text Add to dashboard Cite

RTXPS, the RealTime eXPert System, integrates a forward chaining expert system and a backward chaining system into a DSS framework using simulation models and GIS for environmental and technological risk assessment and management tasks. The system operates in real-time, and uses time including estimates derived from the forecasting models, in its inference. The architecture features two linked ES strategies, which draw upon an object database of environmental and risk-relevant objects, including data acquisition from GPS locators and sensors, and a GIS, as well as a set of dynamic simulation models implemented in a distributed client-server environment. Monte Carlo methods are used for the explicit treatment of uncertainty. Application examples describe chemical emergency management cases for fixed installations and transportation accidents, environmental impact assessment and risk analysis applications, and an adaptation for technical training for emergency management.

show abstract

Section: A Framework Of Research Projectsmentioning

confidence: 99%

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

Fedra

Winkelbauer

2002

Computer aided Civil Eng

View full text Add to dashboard Cite

show abstract

“…Furthermore, to enhance the re-usability and inheritance features, an Abstract-Relation-Type that states the relationship among OBJECTs will be specified for each OBJECT. Actually, the underline structure of OOADL is developed from FRORL [9,10]. From [9,10], the keywords a.kind.of, a.part.of and an.instance.of which represent the sreneralization, aggregation and instantiation relationships among component objects respectively, are reserved to represent the Abstract-Relation-Type.…”

Section: Overviewmentioning

confidence: 99%

“…Actually, the underline structure of OOADL is developed from FRORL [9,10]. From [9,10], the keywords a.kind.of, a.part.of and an.instance.of which represent the sreneralization, aggregation and instantiation relationships among component objects respectively, are reserved to represent the Abstract-Relation-Type. And also, for the BEHAVIOR part, we retain the pre-condition (PRECOND), action (AC-TION) and alternative action (EXCEPTION) syntax from FRORL.…”

Section: Overviewmentioning

confidence: 99%

Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language

Xu¹,

Tsai²

1999

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Despite the growing importance of multimedia applications, we still know relatively little about how to specify, design, and maintain this class of complex applications in a systematic manner. The concept of software architecture has recently emerged as a way to improve our ability to effectively construct and maintain large-scale complex software systems. Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, and architecture transformation. Several architecture description languages (ADLs), such as Wright, Rapide, UniCon, ACME, etc. have been proposed to support the architecture development under this new software paradigm. Although current ADLs more or less support certain features of object-oriented design approach, few of them are purely based on object-oriented paradigm. In this paper, we present an architecture description language -OOADL (Object-Oriented Architecture Description Language) to facilitate the architecture specification of multimedia software systems. This language takes object-oriented paradigm as its backbone, and provides formal semantics for modeling architectures of software systems. It also aims at other goals such as, support for hierarchical refinement, support for reuse of architecture styles, support for analysis, and support for exception handling. We also introduce the default architecture style which brings the features of extensibility and re-usability into the language. Finally, we use OOADL to construct part of the architecture framework of a multimedia system to illustrate the usage and modeling capability of OOADL. *

show abstract

“…In the following, we use the syntax and semantics of an extension of modal mu calculus (called #7» [7,8]. [7] gives an algorithm for model-checking using this extension of mu-calculus and a labeled transition system as a representation of the system. This algorithm has a small polynomial time complexity.…”

Section: Background and Significancementioning

confidence: 99%

A Framework for the Certification and Evaluation of Real-Time Safety-Critical Intelligent Systems

Tsai¹

1999

View full text Add to dashboard Cite

Knowledge-Based Software Development for Real-Time Distributed Systems

Cited by 21 publications

References 0 publications

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

A Hybrid Expert System, GIS, and Simulation Modeling for Environmental and Technological Risk Management

Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language

A Framework for the Certification and Evaluation of Real-Time Safety-Critical Intelligent Systems

Contact Info

Product

Resources

About