(For USM Staff/Student Only)

EngLib USM > @i* Standard > British Standard >

PD 6602:1996 - Recommendations on necessary concepts to model behavioural semantics

Printed version of this is available at library. To request, please e-mail to referencepk@usm.my and include a copy of this record in your e-mail.
However, if PD 6602:1996 pertains to recommendations on necessary concepts to model behavioral semantics, it likely provides guidance on modeling the behavior of systems or processes. Behavioral semantics in the context of modeling often involves describing how a system or component behaves under different conditions. Here are some general recommendations on necessary concepts for modeling behavioral semantics: State Machines: Use state machines to represent the various states that a system or component can be in. Define transitions between states based on events or conditions. Events and Triggers: Clearly define the events or triggers that can cause a transition from one state to another. Events could be external inputs, changes in conditions, or other stimuli. Actions and Operations: Specify the actions or operations associated with each state or transition. This includes the tasks or behaviors that are executed when a certain event occurs. Conditions and Guards: Incorporate conditions or guards that determine when a transition is allowed or when certain actions should be performed. Conditions are often based on the current state or external factors. Temporal Logic: Consider incorporating temporal logic to express the timing aspects of system behavior. This could include specifying time delays, timeouts, or sequencing of events. Concurrency: If the system involves concurrent processes or activities, model concurrency to represent how different parts of the system can operate simultaneously. Hierarchy: Use hierarchical modeling to represent different levels of abstraction in the system. Break down complex behaviors into manageable components or subsystems. Use Case Scenarios: Develop use case scenarios to illustrate how the system behaves in specific situations. This can help in validating the model against real-world scenarios. Documentation: Document the model thoroughly, including the rationale behind design decisions, assumptions, and any constraints that might impact the behavior.
Contributor(s):
NAAR - Data Entry Person
Primary Item Type:
British Standard
Identifiers:
ISBN 0580263150
ICS 35.020 Information technology (IT) in general
Language:
English
Subject Keywords:
Syntax; Computer software; EXPRESS; Semantics; Computer-aided design; Mathematical models; Data representation; Languages; Time; Programming languages
First presented to the public:
1/30/2024
Original Publication Date:
9/15/1996
Previously Published By:
British Standards Institution
Place Of Publication:
London, United Kingdom
Citation:
Extents:
Number of Pages - 52
License Grantor / Date Granted:
  / ( View License )
Date Deposited
2024-01-30 10:33:20.223
Submitter:
Nurul Aini Abdul Rahman

All Versions

Thumbnail Name Version Created Date
PD 6602:1996 - Recommendations on necessary concepts to model behavioural semantics1 2024-01-30 10:33:20.223