Paper Info
Title
Flow Constraint Language for Coordination by Exogenous Connectors
Abstract
Construction of Cyber-Physical Systems (CPS) by reusing or composing existing components (sub-systems) is the emerging need in software based system development. For software development, a number of paradigms exists to deal with the reusability at different levels. Component-based development (CBD) represents a paradigm shift in software development for its emphasis on development for/with reuse. Software composition mechanisms are the essence of this paradigm. In general, a software system in CBD is comprised of two kinds of elements: computation and communication. Defining/creating these elements in a generic way and for system construction allowing these elements to be customised in specific to the system needs can increase the level of reusability. In this paper, for a development paradigm (referred to as EX-MAN in CBD) for CPS construction, we focus on software elements dealing with the communications elements (referred to as connectors) among the computational elements. We define constraints (written in our proposed fiow constraint language (FCL)) as a property for coordination by the exogenous connectors to customise the behaviour of connectors for system construction. In this paper, the semantics of FCL constraints for a sample exogenous connector is described for system construction/execution. In order to verify the operational semantics of FCL constraints of this exogenous connector, we use Coloured Petri Nets (in CPN tools) to model and simulate the connectors with constraints. Exogenous connectors are implemented in a tool exogenous composition framework (ECF) for system construction.
Year
DOI
Venue
2019
10.1109/ACCESS.2019.2943164
IEEE ACCESS
Keywords
DocType
Volume
Encapsulated components,composition,component model,exogenous connector.
Journal
7
ISSN
Citations 
PageRank 
2169-3536
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Tauseef Rana101.35
Yawar Abbas Bangash200.68
Haider Abbas339143.88