Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “model-based specification”

Model‐based protocol specification

Yaniv Mordecai · Systems Engineering · 2019

Abstract We propose a holistic Model‐Based Protocol Specification (MBPS) framework. Standards, procedures, and protocols are important anchors for interconnected systems: they facilitate the connectivity of billions of devices around the world, commodify advanced technologies and solutions, and enable efficient services involving trillions of transactions in aviation, medicine, e‐commerce, transportation, infrastructure, and other domains. Domain protocols allow for conventional interactions within a domain among ecosystem entities and humans (eg, airline ticketing, financial transactions, etc). Protocol specifications must be formal, consistent, and verifiable. Nevertheless, most current standard protocols are text‐based, unverifiable, and often inconsistent with themselves and with other standards. Text‐based standards are difficult to manage, track, control, and adopt. MBPS includes three critical enablers: a modeling language, a modeling process, and a model‐supported standardization process. This paper employs Object‐Process Methodology (OPM), a model‐based systems engineering framework, endorsed as ISO‐19450, for modeling and simulation of the generic protocol specification process and for two examples: (a) a Kerberos authentication protocol revision based on a previous Kerberos model and on a recently discovered vulnerability and (b) a domain‐specific Publish—Subscribe protocol application for selective information distribution.

Cited by 6

Model-Based Specification Animation Using

Tim Miller, Paul Strooper, Tim Miller et al. · 2002

from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via http://svrc.it.uq.edu.au

Cited by 0

MODEL-BASED VISUAL SOFTWARE SPECIFICATION ABSTRACT

Thomas Memmel, Mathias Heilig, Harald Reiterer · 2008

Collaborative corporate requirements engineering and system specification demands modelling approaches that all stakeholders can understand and apply. Using traditional methods, an IT organization often experiences frustrating communication and competency issues. Current processes lack adequate tool support for networked and complex projects. We present a tool-chain for model-based requirements engineering and a visual specification of interactive systems. Through a substitution of text-based artefacts, stakeholders are able to model systems with high user interface usability and functional quality in less time.

Cited by 0

Model-Based Specification of Design Patterns

Lex Bijlsma, Rik van Geldrop, Louis van Gool et al. · 1998

ly. The descriptions of how a pattern works are typically operational. Although they can be understood well by the human reader, such an informal approach hampers specification and implementation of a level of tool-support for design patterns that goes beyond (trivial) diagram manipulation. In addition, it is very difficult to establish correctness of a design or implementation as a whole and the correct application of a pattern in particular. Therefore, the SOOP working group in Eindhoven has set itself the goal to develop a specification formalism that helps to formally specify patterns. The result of the attempt should be the construction of tools supporting pattern application and ultimately the establishment of a formal pattern language. Requirements for a specification formalism When one tries to develop a specification formalism that is to be used in practice, one must consider the generally accepted design approach and try to adapt the formalism to it, rather

Cited by 0

Model-based specification of timing requirements

Christian Buckl, Irina Gaponova, Michael Geisinger et al. · mediaTUM (Technical University of Munich) · 2010

In the past, model-based development focused mainly on functional and structural aspects of the system to be developed. Recently, several approaches to include timing aspects have been suggested. However, these approaches are typically applied in later development phases. Models specifying the requirements with respect to timing without focusing on a specific solution are missing. For example, few models support the specification of the allowed jitter of a system. In this paper, we identify requirements on languages for modeling the desired timing behavior of hard and soft real-time systems by analyzing different application domains. Based on these results, we evaluate existing approaches with respect to their suitability and present a suitable approach. Finally, this paper describes the application of the suggested approach in the context of an example from the automation domain.

Cited by 10Open access

Model Checking BRS based AADL Specification

Nadira Benlahrache, Faïza Belala, Taha Abdelmoutaleb Cherfia · International Journal of Computer Applications · 2012

Although the architecture description language AADL differs from other ADLs by its possibility to describe both hardware and software aspects of a system, it does not provide a formal notation for describing the deployment operation which is crucial in systems where hardware and software components are tightly coupled such as embedded systems. In this paper, we show the relevance of bigraphical reactive systems (BRS) to formalize the deployment operation of AADL architectures. The proposed approach allows, firstly a formal description of the two structures of AADL architectures, namely the platform and the application scenario, and secondly a natural modelization of the installation and the reconfiguration of AADL specification thanks to composition and transformaton operations of BRS. To validate the obtained model, we use a model checker dedicated to BRS.

Cited by 3Open access

Model Based Specification of Automotive HMIs

Thomas Fleischmann · SAE technical papers on CD-ROM/SAE technical paper series · 2006

<div class="htmlview paragraph">As today's CPUs are getting more powerful and prices are falling customers expect driver information systems (DIS) with advanced multimedia capabilities no longer to be a privilege of luxury cars but also in mass market vehicles.</div> <div class="htmlview paragraph">The complexity of current DIS skyrocketed but the conventional processes and tools are still in use and are not always suitable to the changed situation. We will provide an overview of former human machine interface (HMI) development processes and their disadvantages. The goal is to have an optimized HMI development process and the required key features are identified while stepping through the process from the first design to rapid prototyping, specification, implementation, automated testing and field diagnosis. This leads us to the model based HMI specification, discussed in both the OEM- and the supplier perspective.</div>

Cited by 0

A model of specification-based test oracles

T. Owen O'Malley, Debra J. Richardson · 1996

As software grows more complex, the difficulty of ensuring its behavioral correctness becomes much more difficult. Furthermore, we are placing software systems in safety critical applications, such as power plants, airplane control systems, defense and medical devices. Deployed failures in these systems are both life threatening and potentially expensive for negligent software developers. Thus, additional effort in testing the software to provide high quality assurance is justified. One of the central problems with testing these critical systems is verifying behavioral correctness of test executions. Typically, the test results are checked manually, which is tedious and error-prone. Using a formal specification, which is a system description in a language that has well defined semantics, behavioral correctness can be verified automatically. Formal specifications also support testing early in the development lifecycle, before the design or implementation have been started. This dissertation describes the Execution-time Analysis for Specification-based Oracle Failures (EASOF) model for specification-based testing and instantiations of the generic model for an implementation language and two specification languages. The model supports features such as multi-lingual specifications, whereby a system specification is composed of multiple sub-specifications, each specifying some aspect of the system and written in the most appropriate specification language; representation mappings, which allow a non-trivial relationship between the implementation and specification; implementation instrumentation, which captures the internal state of the implementation; and test oracle engines, which verify execution behavior with respect to specifications. Two examples demonstrate the application of the model and the use of supporting tools. The most significant contribution of this model of specification-based testing and the dissertation is generic support for automated general specification-based test oracles through test oracle engines. Test oracle engines provide a procedure for comparing test execution behavior traces to a specification in any supported specification language. These oracle engines are more efficient than direct interpretation of the specification, because the model supports transformations of the specification to efficiently checkable forms.

Cited by 3

Model-Based Specification of Robotic Digital Twins

Jeshwitha Jesus Raja, Meenakshi Manjunath, Marian Daun · 2024

In future smart manufacturing scenarios, automation and semi-automation of production and assembly tasks can be reached through the use of robotic systems. This allows creating flexible production changes and automated production of small batch sizes. To allow for constant monitoring of these adaptations and to foster the optimization of smart factories, digital twins are of importance. However, the absence of systematic development approaches for robotic systems coherently considering their digital twins, limits the potential for analysis and monitoring, and thereby for runtime safety assurance. This paper proposes a model-based approach to systematically define and analyze robotic systems and their digital twins already in early stages of development. We illustrate the applicability of the approach with case examples from industry automation.

Cited by 2

Understanding and Comparing Model-Based Specification Notations

2008

Specifiers must be able to understand and compare the specification notations that they use. Traditional means for describing notations ’ semantics (e.g., operational semantics, logic, natural language) do not help users to identify the essential differences among notations. In previous work, we presented a template-based approach to defining model-based notations, in which semantics that are common among notations (e.g., the concept of an enabled transition) are captured in the template and a notation’s distinct semantics (e.g., which states can enable transitions) are specified as parameters. In this paper, we demonstrate the template’s expressivity by using it to document the semantics of Petri Nets, SDL, and SCR. We also show how the template can be used to compare notation variants. We believe template definitions of notations ease a user’s effort in understanding and comparing model-based notations. 1.

Cited by 0

E.A.: Model-based specification of timing requirements

Christian Buckl, Irina Gaponova, Technische Universität et al. · 2010

In the past, model-based development focused mainly on functional and structural aspects of the system to be devel-oped. Recently, several approaches to include timing aspects were suggested. However, these approaches focus predomi-nantly on later development phases. Models specifying the requirements with respect to timing without focusing on a specific solution are missing. For example, few models allow the specification of the allowed jitter of a system. In this paper, we identify requirements that are necessary to ex-press the desired timing behavior of hard and soft real-time systems by analyzing different application domains. Based on these results, we evaluate existing approaches with re-spect to their suitability to model timing requirements and present an according approach. Finally, this paper describes the application of the suggested approach in the context of an example from the automation domain.

Cited by 0

Mining Universal Specification Based on Probabilistic Model

Deng Chen, Yanduo Zhang, Rongcun Wang et al. · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2015

Class temporal specification is a kind of important program specifications, which specifies that methods of a class should be called in a particular sequence. Dynamic specification mining is a promising approach to achieve this kind of specifications automatically. However, they always infer partial specifications, that is, the mined specifications are biased to input programs or program execution traces. In this paper, we propose to mine class temporal specifications based on a probabilistic model in an online mode. Since our method can evolve mined specifications persistently, universal specifications can be achieved. To investigate our technique's feasibility and effectiveness, we implemented it in a prototype tool ISpecMiner and used the tool to perform experiments. Experimental results show that our method is promising to infer universal specifications if sufficient traces are provided for mining.

Cited by 8Open access

Model-based Specification of Virtual Interaction Environments

A. Celentano F. Pittarello, Università Ca, Foscari Venezia et al. · 2011

This paper discusses a model-based approach to the design of complex interaction environments like virtual worlds, mixed and augmented reality. The environment a user interacts with is seen as a virtual environment populated by virtual entities, created and maintained active by a program interpreted by the computer, which can be described by specifying the behavior of the population. The specification of the behavior occurs along three dimensions: 1) programming languages to specify system computations; 2) user activity languages to specify user activities; 3) perceptual languages to deal with the physical characteristics of the messages from the machine to the user. These dimensions define an interaction modeling space which constitutes the frame in which the virtual environment is specified. 1.

Cited by 0

Specification of Model Transformations Based on Meta Templates

Miguel A. de Miguel, Daniel Exertier, Serge Salicki · 2002

MDA (Model Driven Architecture) attempts to solve some common problems of current software architectures to reduce the complexity of software development: i) separation of technology dependent concepts from the independent concepts, ii) automate the software development process, and iii) separation of domain, technology and technological concerns to avoid the confusions because of the combination of different types of concepts. MDA introduces two basic solutions to solve these problems: i) description of specialized modeling languages and ii) model transformations and mappings. Currently, the first concept (description of specialized modeling language) has been widely studied and there are general solutions and standards (Profiles [5] and MOF [12]). But the second solution has not been well studied yet and practical solutions depend on specific script languages, and the standards that include some kind of mapping proposal make an informal description of the mappings. We are going to introduce some solutions to express complex transformations where the source and target modeling structures are not limited to simple modeling elements. 1.

Cited by 7

Consistent model-specification tests based on parametric bootstrap

Anne Leucht · 2010

In this paper we establish consistent tests of L2-type for the parametric functional form of the conditional mean of time series with values in R^d. A recent result on asymptotic distributions of U-statistics of weakly dependent observations is invoked to obtain the limit distributions of the test statistics. Since the asymptotic distributions depend on unknown parameters in a complicated way, we suggest to apply certain parametric bootstrap methods in order to determine critical values of the tests.

Cited by 0

A Contract-Based Specification Method for Model Transformations

Duc-Hanh Dang, Thi-Hanh Nguyen · VNU Journal of Science Computer Science and Communication Engineering · 2023

Model transformations play an essential role in model-driven engineering. However, model transformations are often complex to develop, maintain, and ensure quality. Platform-independent specification languages for transformations are required to fully and accurately express requirements of transformation systems and to offer support for realization and verification tasks. Several specification languages have been proposed, but it still lacks a strong one based on a solid formal foundation for both high expressiveness and usability. This paper introduces a language called TC4MT to precisely specify requirements of transformations. The language is designed based on a combination of a contract-based approach and the graph theory foundation of triple graph grammar. Specifically, we consider graph patterns as core elements of our language and provide a concrete syntax in the form of UML class diagrams together with OCL conditions to visually and intuitively represent such pattern-based specifications. We develop a support tool and evaluate our proposed method by comparing it with current methods in literature.

Cited by 1Open access