的事物
发表于 2025-3-23 10:46:06
Contextual Dependency in State-Based Modellingded from domains classified into constraints, hypotheses, and dependencies according to truthfulness in proofs. The dependency mechanism between two models makes it possible to structure the development of system models, by organizing phases identified in the analyzed process. We illustrate via two simple case studies and on a voting protocol.
轿车
发表于 2025-3-23 16:59:36
978-981-15-5056-0Springer Nature Singapore Pte Ltd. 2021
坦白
发表于 2025-3-23 18:27:23
http://reply.papertrans.cn/47/4627/462690/462690_13.png
搏斗
发表于 2025-3-24 00:38:03
http://image.papertrans.cn/i/image/462690.jpg
使成核
发表于 2025-3-24 05:01:01
https://doi.org/10.1007/978-981-15-5054-6State based methods; Logic and formal modelling; Knowledge-based engineering; Ontologies; Domain modelli
LAIR
发表于 2025-3-24 09:02:40
http://reply.papertrans.cn/47/4627/462690/462690_16.png
强化
发表于 2025-3-24 13:23:43
Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicifor software and system engineers. Software product line (SPL) techniques offer many advantages for the practical development of reliable and trustworthy e-voting systems, but the composition of system features poses significant problems that can be addressed satisfactorily only through the use of f
Hearten
发表于 2025-3-24 16:57:33
Domain-Specific Developments Using Rodin Theorieseasoning about the extended language. We consider in this chapter using Rodin theories to capture domain-specific Abstract Data Types (ADTs) and build dynamic systems using the developed structures. In particular, we propose the notion of theory instantiation to incorporate more concrete representat
menopause
发表于 2025-3-24 22:24:03
Integrating Domain Modeling Within a Formal Requirements Engineering Methodo domain properties. This paper describes a metamodel for a domain modeling language built from . and .. The language is part of the . requirements engineering method which also includes a goal modeling language. The formal semantics of SysML/KAOS models is specified, verified, and validated using t
Fibroid
发表于 2025-3-25 02:05:19
Operations over Lightweight Ontologies and Their Implementationtions help define new ontologies by reusing fragments of other ontologies, the . operation constructs the constraints that hold in two ontologies, and the . operation returns the constraints that hold in one ontology, but not in the other. Then, the chapter discusses how to implement the operations