Using mathematical behaviour models to determine system performance is crucial to the design of complex systems. Nevertheless, during the early stages of design, it is often difficult to create behavioural models as component solutions have not been fully identified. What is known is information about the desired functionality of the system is known. Particularly for complex system design, func...

Due to the increase of their complexity, currently engineered systems cannot be developed by one individual, but are a product of a collaboration between multiple stakeholders who develop the system from different domain-specific views. Inconsistencies between views, however, hinder collaboration and therefore, must be managed. Since the encountered inconsistencies may potentially disappear as ...

????????????TKS?????????????????????????????????????????????????????????????SAD???????????????????????????????????????????????TKS?SAD?????????????????????????????????????????????BIS/BAS ?behavioral inhibition/activation system???????????????????????????????????????????????274???????????????????????????????BIS/BAS,???????????????????????????BIS/BAS?SAD????????????????????????TKS?????????????????...

Human and machine behavioral modeling and analysis are active areas of study in a variety of domains of current interest. Notions of what behavior means as well how behaviors can be represented, compared, shared, integrated and analyzed are not well established and vary from domain to domain, even from researcher to researcher. Our current research suggests that a common framework for the syste...