A formal approach for the specification and verification of a trustworthy human resource discovery mechanism in the expert cloud
NJ Navimipour - Expert Systems with Applications, 2015 - Elsevier
Expert Cloud as a new class of Cloud computing systems enables its users to request the
skill, knowledge and expertise of people without any information of their location by …
skill, knowledge and expertise of people without any information of their location by …
Behavioral modeling and automated verification of a Cloud-based framework to share the knowledge and skills of human resources
NJ Navimipour, AH Navin, AM Rahmani… - Computers in …, 2015 - Elsevier
Expert Cloud as a new class of Cloud computing systems by employing the Internet
infrastructures and Cloud computing concepts enables its users to request the skill …
infrastructures and Cloud computing concepts enables its users to request the skill …
A uniform framework for modeling and verifying components and connectors
The purpose of this paper is to present a framework to model component interfaces and the
component connectors that provide the glue code for the components. Our modeling …
component connectors that provide the glue code for the components. Our modeling …
Rebeca: Theory, applications, and tools
M Sirjani - International Symposium on Formal Methods for …, 2006 - Springer
Rebeca is an actor-based language with a formal foundation for modeling concurrent and
distributed systems which is designed in an effort to bridge the gap between formal …
distributed systems which is designed in an effort to bridge the gap between formal …
[HTML][HTML] Constraint automata with memory cells and their composition
Over the past decades, coordination languages emerged for modeling and implementing
concurrency protocols among components in component-based systems. Coordination …
concurrency protocols among components in component-based systems. Coordination …
Partially distributed coordination with Reo and constraint automata
Coordination languages, such as Reo, have emerged for the specification and
implementation of interaction protocols among concurrent entities, manifested as …
implementation of interaction protocols among concurrent entities, manifested as …
[HTML][HTML] Global consensus through local synchronization: a formal basis for partially-distributed coordination
SSTQ Jongmans, F Arbab - Science of Computer Programming, 2016 - Elsevier
A promising new application domain for coordination languages is expressing interaction
protocols among threads/processes in multicore programs: coordination languages typically …
protocols among threads/processes in multicore programs: coordination languages typically …
Automata-based optimization of interaction protocols for scalable multicore platforms
Multicore platforms offer the opportunity for utilizing massively parallel resources. However,
programming them is challenging. We need good compilers that optimize commonly …
programming them is challenging. We need good compilers that optimize commonly …
Can high throughput atone for high latency in compiler-generated protocol code?
SSTQ Jongmans, F Arbab - … Conference, FSEN 2015, Tehran, Iran, April …, 2015 - Springer
High-level concurrency constructs and abstractions have several well-known software
engineering advantages when it comes to programming concurrency protocols among …
engineering advantages when it comes to programming concurrency protocols among …
Symbolic execution of Reo circuits using constraint automata
Reo is a coordination language that can be used to model different systems. We propose a
technique for symbolic execution of Reo circuits using the symbolic representation of data …
technique for symbolic execution of Reo circuits using the symbolic representation of data …